断言

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

诊断库

异常处理 异常 uncaught_exceptionuncaught_exceptions (直到 C++20*)  (C++17) exception_ptr (C++11) make_exception_ptr (C++11) current_exception (C++11) rethrow_exception (C++11) nested_exception (C++11) throw_with_nested (C++11) rethrow_if_nested (C++11) 异常处理失败 terminate terminate_handler get_terminate (C++11) set_terminate bad_exception unexpected (直到 C++17*) unexpected_handler (直到 C++17*) get_unexpected (直到 C++17*) set_unexpected (直到 C++17*) 错误号码 错误代码 errno

异常类别 logic_error invalid_argument domain_error length_error out_of_range runtime_error range_error overflow_error underflow_error tx_exception (TM TS) 系统错误 error_category (C++11) generic_category (C++11) system_category (C++11) error_condition (C++11) errc (C++11) error_code (C++11) system_error (C++11) 断言 断言 堆栈跟踪 stacktrace_entry (C++23) basic_stacktrace (C++23)

 

定义在头文件 <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) 如果在源代码中包含 <cassert> 或 <assert.h> 的位置，NDEBUG 被定义为宏名称，则断言被禁用：assert 不执行任何操作。

2) 否则，断言被启用。

assert 检查其参数（必须是标量类型）是否与零比较相等。如果相等，assert 会在标准错误输出上输出实现特定的诊断信息并调用 std::abort。诊断信息需要包含 condition 的文本，以及 预定义变量 __func__ 的值，(自 C++11 起)以及 预定义宏 __FILE__ 和 __LINE__ 的值。	(直到 C++26)
assert 将诊断测试放入程序中，并展开为类型为 void 的表达式。__VA_ARGS__ 被评估，并 隐式转换为 bool。 如果评估结果为 true，则没有其他影响。 否则，断言宏的表达式会在标准错误流上创建以实现定义的格式的诊断信息，并调用 std::abort()。诊断信息包含 #__VA_ARGS__ 以及关于源文件名、源行号和封闭函数名称的信息（例如，由 std::source_location::current() 提供）。	(自 C++26 起)

表达式 assert(E) 保证是一个 常量子表达式，如果： NDEBUG 在 assert 最后定义或重新定义的位置被定义，或者 E， 隐式转换为 bool，是一个常量子表达式，其计算结果为 true。

(自 C++17 起)

参数

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__ 也不接受等效的替换。

尽管 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

另请参见

static_assert 声明 (C++11)	执行编译时断言检查
abort	导致程序异常终止（不进行清理） (函数)
C 文档 for assert