assert

定义于头文件 `<cassert>`
禁用断言
	(1)
#define assert(condition) ((void)0)			(直到 C++26)
#define assert(...) ((void)0)			(自 C++26 起)
启用断言
		(2)
#define assert(condition) /* unspecified */				(直到 C++26)
#define assert(...) /* unspecified */				(自 C++26 起)

宏 assert 的定义取决于另一个宏 NDEBUG，标准库未定义该宏。

1) 如果 NDEBUG 在源代码中包含 <cassert> 或 <assert.h> 的点被定义为宏名称，则断言被禁用：assert 不执行任何操作。

2) 否则，断言被启用

assert 检查其参数（必须具有标量类型）

如果参数比较不等于零，则没有进一步的效果。
否则，assert 在标准错误流上创建诊断信息并调用 std::abort()。

(直到 C++26)

assert 将诊断测试放入程序中，并扩展为 void 类型的表达式。__VA_ARGS__ 被求值并上下文转换为 bool

如果求值结果为 true，则没有进一步的效果。
否则，assert 在标准错误流上创建诊断信息并调用 std::abort()。

(自 C++26 起)

诊断信息具有实现定义的格式，但始终包括以下信息

condition 的文本	(直到 C++26)
#__VA_ARGS__	(自 C++26 起)

源文件名 (即 __FILE__)
源行号 (即 __LINE__)
外围函数名称 (即 __func__)

表达式 assert(E) 保证是常量子表达式，如果

NDEBUG 在最后定义或重新定义 assert 的点被定义，或者
E，上下文转换为 bool，是求值为 true 的常量子表达式。

(自 C++11 起)

[编辑] 参数

condition

-

标量类型的表达式

[编辑] 注解

由于 assert 是一个函数式宏，参数中任何未被括号保护的逗号都将被解释为宏参数分隔符。这种逗号经常出现在模板参数列表和列表初始化中

assert(std::is_same_v<int, int>);        // error: assert does not take two arguments
assert((std::is_same_v<int, int>));      // OK: one argument
static_assert(std::is_same_v<int, int>); // OK: not a macro
 
std::complex<double> c;
assert(c == std::complex<double>{0, 0});   // error
assert((c == std::complex<double>{0, 0})); // OK

(直到 C++26)

没有标准化的接口来向 assert 错误添加额外消息。包含额外消息的可移植方法是使用逗号运算符 (如果它没有被重载)，或者使用 && 和字符串字面量

assert(("There are five lights", 2 + 2 == 5));
assert(2 + 2 == 5 && "There are five lights");

Microsoft CRT 中 assert 的实现不符合 C++11 及更高版本，因为其底层函数 (_wassert) 既不接受 __func__ 也不接受等效的替代。

自 C++20 起，诊断消息所需的值也可以从 std::source_location::current() 获得。

即使 C23/C++26 中 assert 的更改并非正式的缺陷报告，C 委员会建议实现将此更改向后移植到旧模式。

[编辑] 示例

运行此代码

#include <iostream>
// uncomment to disable assert()
// #define NDEBUG
#include <cassert>
 
// Use (void) to silence unused warnings.
#define assertm(exp, msg) assert((void(msg), exp))
 
int main()
{
    assert(2 + 2 == 4);
    std::cout << "Checkpoint #1\n";
 
    assert((void("void helps to avoid 'unused value' warning"), 2 * 2 == 4));
    std::cout << "Checkpoint #2\n";
 
    assert((010 + 010 == 16) && "Yet another way to add an assert message");
    std::cout << "Checkpoint #3\n";
 
    assertm((2 + 2) % 3 == 1, "Success");
    std::cout << "Checkpoint #4\n";
 
    assertm(2 + 2 == 5, "Failed"); // assertion fails
    std::cout << "Execution continues past the last assert\n"; // No output
}

可能的输出

Checkpoint #1
Checkpoint #2
Checkpoint #3
Checkpoint #4
main.cpp:23: int main(): Assertion `((void)"Failed", 2 + 2 == 5)' failed.
Aborted

[编辑] 缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
LWG 2234	C++11	`assert` 无法在常量表达式中使用	可以使用

[编辑] 参见

`contract_assert` 语句 (C++26)	验证执行期间的内部条件[编辑]
`static_assert` 声明 (C++11)	执行编译时断言检查[编辑]
abort	导致程序异常终止（不清理） (函数) [编辑]
C 文档关于 assert

编译器支持
独立和宿主式
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

cppreference.cn

命名空间

变体

视图

操作