定义于头文件
<cassert>
|
||
#ifdef NDEBUG
#define assert(condition) ((void)0) |
||
宏 assert
的定义依赖于标准库不定义的另一个宏 NDEBUG 。
若 NDEBUG 在包含了 <cassert>
的源代码中的一点定义为宏名,则 assert
不做任何事。
若不定义 NDEBUG ,则 assert
将其参数(必须拥有标量类型)与零比较相等。若相等,则 assert
在标准错误输出上输出实现指定的诊断信息,并调用 std::abort 。诊断信息要求包含 expression
的文本,还有标准宏 __FILE__ 、 __LINE__ 以及标准变量 __func__ 的值。
表达式
|
(C++17 起) |
目录 |
condition | - | 标量类型的表达式 |
(无)
因为 assert
是一个类函数宏,在 condition 中未被括号保护的逗号都被转译成宏参数的分隔符。这种逗号在模板参数列表中常能找到:
assert(std::is_same_v<int, int>); // 错误: assert 不接收二个参数 assert((std::is_same_v<int, int>)); // OK :一个参数 static_assert(std::is_same_v<int, int>); // OK :非宏
可能的输出:
Execution continues past the first assert test: test.cc:10: int main(): Assertion `2+2==5' failed. Aborted
静态断言 | 进行编译时断言检查 (C++11 起) |
导致异常程序终止(不清理) (函数) |
|
assert的 C 文档
|