assert巨集的原型定義在中，其作用是如果它的條件返回錯誤，則終止程式執行，原型定義：
void assert( int expression );
assert的作用
是現計算表示式 expression ，如果其值為假（即為0），那麼它先向stderr列印一條出錯資訊，
然後通過呼叫 abort 來終止程式執行。
程式badptr.c：
#include
#include
#include
int main( void )
[root@localhost error_process]# gcc badptr.c
[root@localhost error_process]# ./a.out
a.out: badptr.c:14: main: assertion `fp' failed.
已放棄使用assert的缺點是，頻繁的呼叫會極大的影響程式的效能，增加額外的開銷。
在除錯結束後，可以通過在包含#include 的語句之前插入 #define ndebug 來禁用assert呼叫：
#include
#define ndebug
#include
用法總結與注意事項：
1)在函式開始處檢驗傳入引數的合法性，如:
int resetbuffersize(int nnewsize)
2)每個assert只檢驗乙個條件,因為同時檢驗多個條件時,如果斷言失敗,無法直觀的判斷是哪個條件失敗
不好: assert(noffset>=0 && noffset+nsize<=m_ninfomationsize);
好: assert(noffset >= 0);
assert(noffset+nsize <= m_ninfomationsize);
3)不能使用改變環境的語句,因為assert只在debug中生效,如果這麼做,會使用程式在真正執行時遇到問題
錯誤: assert(i++ < 100)
這是因為如果出錯，比如在執行之前i=100,那麼這條語句就不會執行，那麼i++這條命令就沒有執行。
正確: assert(i < 100)
i++;
4)assert和後面的語句應空一行,以形成邏輯和視覺上的一致感
5)有的地方,assert不能代替條件過濾
ref:
C語言中斷言ASSERT
我一直以為assert僅僅是個報錯函式，事實上，它居然是個巨集，並且作用並非 報錯 在經過對其進行一定了解之後，對其作用及用法有了一定的了解，assert 的用法像是一種 契約式程式設計 在我的理解中，其表達的意思就是，程式在我的假設條件下，能夠正常良好的運作，其實就相當於乙個if語句 if 假設成...
Assert各種斷言方法詳解
比較實際值與預期值是否一致。如果一致，程式繼續執行，否則丟擲異常，會列印報錯資訊。常用斷言方法，便於除錯。如果條件的真假與預期相同，程式繼續執行，否則丟擲異常，不會列印報錯資訊。判斷乙個物件是否為空，如果結果與預期相同，程式繼續執行，否則丟擲異常。判斷預期的值和實際的值是否為同乙個引數 即判斷是否為...
C 基礎 ASSERT斷言
assert是個巨集，並且作用並非 報錯 assert 的用法像是一種 契約式程式設計 在我的理解中，其表達的意思就是，程式在我的假設條件下，能夠正常良好的運作，其實就相當於乙個if語句 if 假設成立 else 但是這樣寫的話，就會有無數個if語句，甚至會出現，乙個if語句的括號從檔案頭到檔案尾，...