C語言中的斷言

假設要求程式輸入兩個數先後為x和y，要求 x >= y，否則即認為程式錯誤。**如下。

// assert.c
#include #include int main()
return 0;
}

執行結果如下圖

由此可見，如果 assert()中止了程式，它會顯示失敗的測試、包含測試的檔名和行號。

assert()巨集接受乙個整型表示式作為引數。如果表示式求值為假，assert()巨集就在標準錯誤流（stderr）中寫入一條錯誤資訊，並呼叫abort()函式終止程式。因此如下也能完成上述功能（abort()函式的原型在stdlib.h標頭檔案中）：

if (z < 0)

assert()巨集定義在assert.h 標頭檔案中，它是乙個用於輔助除錯程式的小型庫。

另外乙個重要特點就是無需更改**就能開啟或關閉 assert()的機制。如果認為已經排除了程式的 bug，就可以把下面的巨集定義寫在包含assert.h的位置前面：

#define ndebug

並重新編譯程式，這樣編譯器就會禁用檔案中的所有 assert()語句。如

果程式又出現問題，可以注釋掉這條#define指令，然後重新編譯程式，這樣就重新啟用了assert()語句。

assert()表示式是在執行時進行檢查。 c11新增的_static_assert宣告可以在編譯時檢查assert()表示式。因此， assert()可以導致正在執行的程式中止，而_static_assert()可以導致程式無法通過編譯。

_static_assert()接受兩個引數。第1個引數是整型常量表示式，第2個引數是乙個字串。如果第 1 個表示式求值為 0，編譯器會顯示字串，而且不編譯該程式。如下，編譯報錯。

桃花仙人種桃樹，又摘桃花換酒錢_