©
本文檔使用 php中文網手册 發布
在头文件<assert.h>中定义 | ||
---|---|---|
#ifdef NDEBUG #define assert(condition)((void)0)#else #define assert(condition)/ * implementation defined * / #endif |
宏的定义assert
取决于另一个宏NDEBUG
,它不是由标准库定义的。
如果NDEBUG
在源代码中<assert.h>
包含的位置被定义为宏名称,则不assert
执行任何操作。
如果NDEBUG
未定义,则assert
检查其参数(必须具有标量类型)是否等于零。如果确实如此,则assert
在标准错误输出和调用上输出实现特定的诊断信息abort()
。诊断信息需要包括的文本expression
,以及标准的宏的值__FILE__
,__LINE__
和预定义的变量__func__
。(自C99以来)。
条件 | - | 标量类型的表达 |
---|
(none).
#include <stdio.h>// uncomment to disable assert()// #define NDEBUG#include <assert.h>#include <math.h> int main(void){ double x = -1.0; assert(x >= 0.0); printf("sqrt(x) = %f\n", sqrt(x)); return 0;}
输出:
output with NDEBUG not defined:a.out: main.cpp:10: main: Assertion `x >= 0.0' failed. output with NDEBUG defined:sqrt(x) = -nan
C11标准(ISO/IEC 9899:2011):
7.2.1.1断言宏(p:186-187)
C99标准(ISO / IEC 9899:1999):
7.2.1.1断言宏(p:169)
C89 / C90标准(ISO/IEC 9899:1990):
4.2.1.1断言宏
abort | 导致程序异常终止(不清除)(功能) |
---|
| C++ documentation for assert |