assert

定义于头文件 `<cassert>`
#ifdef NDEBUG #define assert(condition) ((void)0) #else #define assert(condition) /implementation defined/ #endif

宏 assert 的定义依赖于标准库不定义的另一个宏 NDEBUG 。

若在包含了 <cassert> 的源代码中一点定义 NDEBUG 为宏名，则 assert 不做任何事。

若不定义 NDEBUG ，则 assert 将其参数（必须拥有标量类型）与零比较相等。若相等，则 assert 在标准错误输出上输出实现指定的诊断信息，并调用 std::abort 。诊断信息要求包含 expression 的文本，还有标准宏 __FILE__ 、 __LINE__ 以及标准变量 __func__ (C++11 起)的值。

表达式 assert(E) 保证为常量子表达式，若下列之一成立

在最后定义或重定义（即包含了头文件 <cassert> 或 <assert.h> ） assert 位置定义了 NDEBUG；或
E 按语境转换成 bool 后，是求值为 true 的常量子表达式。

(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

示例

运行此代码

#include <iostream>
// 去注释化则禁用 assert()
// #define NDEBUG
#include <cassert>
 
int main()
{
    assert(2+2==4);
    std::cout << "Execution continues past the first assert\n";
    assert(2+2==5);
    std::cout << "Execution continues past the second assert\n";
}

可能的输出：

Execution continues past the first assert
test: test.cc:10: int main(): Assertion `2+2==5' failed.
Aborted

参阅

静态断言	进行编译时断言检查 (C++11 起)
abort	导致非正常的程序终止（不进行清理） (函数)

语言
标准库头文件
自立与有宿主实现
具名要求
语言支持库
概念库 (C++20)
诊断库
工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
输入/输出库
本地化库
正则表达式库 (C++11)
原子操作库 (C++11)
线程支持库 (C++11)
文件系统库 (C++17)
技术规范

assert

参数

返回值

注意

示例

参阅

导航