assert
来自cppreference.com
定义于头文件 <cassert>
|
||
#ifdef NDEBUG #define assert(condition) ((void)0) |
||
宏 assert
的定义依赖于标准库中没有定义的另一个名为 NDEBUG 宏。
若在包含了 <cassert> 或 <assert.h>
的源代码中定义名为 NDEBUG 的宏,则 assert
不做任何事。
若没有定义名为 NDEBUG 的宏,则 assert
将其参数(必须拥有标量类型)与零比较相等。若相等,则 assert
在标准错误输出上输出实现指定的诊断信息,并调用 std::abort 。诊断信息要求包含 expression
的文本,还有预定义变量 __func__ 与 (C++11 起)预定义宏 __FILE__、 __LINE__ 的值。
表达式 assert(E) 保证为常量子表达式,若下列之一成立
|
(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 :非宏 std::complex<double> c; assert(c == std::complex<double>{0, 0}); // 错误 assert((c == std::complex<double>{0, 0})); // OK
没有标准化的添加消息到 assert
错误的接口。一个包含它的方式是使用逗号运算符,只要它未被重载:
assert(("There are five lights", 2 + 2 == 5));
assert
在 Microsoft CRT 中的实现不遵从 C++11 以及后续标准版本,因为其底层函数 ( _wassert
)不接收 __func__ 或等价的替代品。
示例
运行此代码
可能的输出:
Execution continues past the first assert test: test.cc:10: int main(): Assertion `2+2==5' failed. Aborted
参阅
static_assert 声明(C++11)
|
进行编译时断言检查 |
导致非正常的程序终止(不进行清理) (函数) |