assert预处理宏和NDEBUG预处理变量

assert预处理宏

assert是一种预处理宏。所谓预处理宏其实是 个预处理变量，它的行为有点类似于内联函数。assert宏使用一个表达式作为它的条件：

assert(expr);

首先对expr求值，如果表达式为假，assert输出信息并终止程序的执行。如果表达式为真，assert什么也不做。

NDEBUG预处理变量

assert的行为依赖于NDEBUG的状态。如果定义了NDEBUG，则assert什么也不做。默认状态下没有定义NDEBUG，此时assert将执行运行时检查。

我们可以使用一个#define语句定义NDEBUG，从而关闭调试状态。同时，很多编译器都提供了一个命令行选项使我们可以定义预处理变量：

gcc -D NDEBUG main.c

这条命令的作用等价于在main.c文件的一开始写#define NDEBUG

assert应该仅用于验证那些确实不可能发生的事件。我们可以把assert当成调试程序的一种辅助手段，但是不能用它替代真正的运行时逻辑检查，也不能替代程序本身应该包含的错误检查。