C 标准库 - <assert.h>



C 标准库的assert.h头文件提供了一个名为assert的宏,可用于验证程序做出的假设,并在该假设为假时打印诊断消息。

定义的宏assert引用另一个宏NDEBUG,它不是<assert.h>的一部分。如果在包含<assert.h>的位置,在源文件中将NDEBUG定义为宏名称,则assert宏定义如下:

#define assert(ignore) ((void)0)

库宏

以下是头文件assert.h中定义的唯一函数:

序号 函数及描述
1 void assert(int expression)

这实际上是一个宏,而不是函数,可用于在C程序中添加诊断。

2 static_assert(boolean_expression, message)

如果常量表达式的值为假,则此宏会发出编译时诊断。

广告