斷言 assert 的用法

原文：斷言(assert)的用法

這只是我個人的筆記而已。

我一直以為 assert 僅僅是個報錯函式，事實上，它居然是個巨集，並且作用並非"報錯"。

在經過對其進行一定了解之後，對其作用及用法有了一定的了解，assert() 的用法像是一種"契約式程式設計"，在我的理解中，其表達的意思就是，程式在我的假設條件下，能夠正常良好的運作，其實就相當於乙個 if 語句：

if
(假設成立)
else

但是這樣寫的話，就會有無數個 if 語句，甚至會出現，乙個 if 語句的括號從檔案頭到檔案尾，並且大多數情況下，我們要進行驗證的假設，只是屬於偶然性事件，又或者我們僅僅想測試一下，一些最壞情況是否發生，所以這裡有了 assert()。

assert 巨集的原型定義在 assert.h 中，其作用是如果它的條件返回錯誤，則終止程式執行。

#include
"assert.h"
void
assert
(int expression )
;

assert 的作用是現計算表示式 expression ，如果其值為假（即為0），那麼它先向 stderr 列印一條出錯資訊,然後通過呼叫 abort 來終止程式執行。

使用 assert 的缺點是，頻繁的呼叫會極大的影響程式的效能，增加額外的開銷。

在除錯結束後，可以通過在包含 #include 的語句之前插入 #define ndebug 來禁用 assert 呼叫，示例**如下：

#include #define ndebug #include