assert的初步认识
assert宏指令是用来诊断程序是否有误的，函数原型如下
void assert(int expression)
那为什么我们要使用assert而不用printf呢？因为assert可以帮我们监测出是哪个条件不满足了，而且可以直观地显示出是代码中的哪一行出问题了，并且，当我们不打算用assert来诊断程序的时候，可以很方便地通过宏定义#define NDEBUG 取消assert的诊断。相比于自己写一个一个printf，自己判断程序哪一行出错，显然assert更有优势。
其实assert的时候很简单，因为他的使用就跟if一样，assert（expression）；expression其实就相当于if里面的表达式。来一段代码
#include <assert.h> int main(){ int i=0; assert(i>0); //这里我们故意让assert不成立看看结果 printf("打印出i的值是：%d\n",i); //看看是否能执行到这一步 return 0; }
运行结果：
图1 运行结果
从程序里面看出，我们可以直观地看出哪一行出错了，并且是条件’i>0’不成立出错的；并且当assert诊断出错后，程序就退出了。这在调试的时候很有用，但是当实际投入使用的时候，我们就要把assert(expression)诊断函数禁用掉，毕竟稳定性很重要。我们可以很方便地在文件头加上宏定义#define NDEBUG 取消assert的诊断。
#define NDEBUG #include <assert.h>
注意：#define NDEBUG要在#include <assert.h>之前，不然禁用assert不会成功。运行结果如图2.
图2 禁用assert之后
可以看出，即使条件不成立，也不会再有assert的诊断信息了。并且很执行到printf那行。
assert的进一步讨论
当assert诊断失败后，assert会向stderr打印消息。从图1可以看出，assert诊断信息的表达形式是：Assertion failed: 表达式（expression）,程序（file） 出错的文件名（file name）, 行号（line nnn）。然后，asset会调用abort中断函数的执行，源代码的文件名（The Source filename）和行号（line number）定义在预处理宏（preprocessor macros）__FILE__ 和 __LINE__中。
关于assert的用法总结与注意事项，点此。
参考
《The C Programming Language》
