俊秀 no gain:assert.h快速入门-偶看新闻

简介：

头文件assert.h唯一的目的是提供宏assert的定义。如果断言非真（expression==0），则程序会在标准错误流输出提示信息，并使程序异常中止（调用abort() ）。

定义：

view sourceprint?1void assert (int expression);

用法：

view sourceprint?01//#define NDEBUG 02#include 03 04int main(int argc, char* argv[] ) 05{ 06 int a = 12; 07 int b = 24; 08 09 assert( a > b ); 10 11 printf("a is larger than b!"); 12 13 return 0; 14}

直接运行上面的程序会发现程序中止，printf并未执行，且有这样的输出：

view sourceprint?1main: Assertion `a > b' failed.

原因就是因为a其实小于b，导致断言失败，assert输出错误信息，并调用abort()中止了程序执行。
接下来，我们把程序第一行的注释取消掉看看，即定义了宏NDEBUG以后会导致程序执行结果有什么变化：

view sourceprint?1a is larger than b!

是的，程序正常执行完毕，且输出了“a is larger than b!”这句话，但这个结果在逻辑上明显是错的，因为我们期望的是a大于b才输出这句话。
由此我们可以看出assert和NDEBUG的作用：
宏NDEBUG会影响assert的行为，如果定义了NDEBUG,宏assert就什么也不干，如果没有定义，则assert会在断言失败时调用abort()中止程序执行，并输出错误信息。这种行为对我们调试程序是不可或缺的！