assert

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

诊断库

异常处理 exception uncaught_exceptionuncaught_exceptions (until 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 (until C++17*) unexpected_handler (until C++17*) get_unexpected (until C++17*) set_unexpected (until C++17*) 错误号 错误码 errno 断言 assert

异常类别 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) 调试支持 is_debugger_present (C++26) breakpoint_if_debugging (C++26) breakpoint (C++26)

 

在标头 <cassert> 定义
禁用的断言
	(1)
#define assert(condition) ((void)0)			(C++26 前)
#define assert(...)       ((void)0)			(C++26 起)
启用的断言
		(2)
#define assert(condition) /* 未指定 */				(C++26 前)
#define assert(...)       /* 未指定 */				(C++26 起)

宏 assert 的定义依赖于标准库中没有定义的另一个名为 NDEBUG 的宏。

1) 如果在源代码中包含 <cassert> 或 <assert.h> 的位置已经定义了名为 NDEBUG 的宏，那么断言会禁用：assert 不做任何事。

2) 否则断言会启用：

assert 会检查它的实参（必须具有标量类型）： 如果实参与零比较不相等，那么 assert 后面不做任何事。 否则 assert 会在标准错误流上创建诊断信息，并调用 std::abort()。	(C++26 前)
assert 会往程序中加入一个诊断测试，并展开成一个类型 void 的表达式。对 __VA_ARGS__ 进行求值，并将它按语境转换到 bool： 如果求值产生 true，那么 assert 后面不做任何事。 否则 assert 会在标准错误流上创建诊断信息，并调用 std::abort()。	(C++26 起)

诊断信息的格式由实现定义，但它始终会包含以下信息：

expression 的文本	(C++26 前)
#__VA_ARGS__	(C++26 起)

• 源文件名（即__FILE__）
• 源代码行号（即__LINE__）
• 外围函数名（即__func__）

如果满足以下条件之一，那么表达式 assert(E) 保证是常量子表达式： 在最后定义或重定义 assert 的位置已经定义了 NDEBUG。 E按语境转换到 bool 后，是求值为 true 的常量子表达式。

(C++11 起)

参数

condition

-

标量类型的表达式

注解

因为 assert 是仿函数宏，在实参中未被括号保护的逗号都被转译成宏实参的分隔符。这种逗号常能在模板实参列表和列表初始化中找到： 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

(C++26 前)

没有标准化的添加消息到 assert 错误的接口。一个包含它的方式是使用逗号运算符，只要它未被重载，或者和字符串字面量一起使用 &&：

assert(("有五盏灯", 2+2==5)); assert(2+2==5&&"有五盏灯");

assert 在 Microsoft CRT 中的实现不遵从 C++11 以及后续标准版本，因为它的底层函数（_wassert）不接收 __func__ 或等价的替代品。

从 C++20 开始，诊断信息所需的值也可以通过 std::source_location::current() 获取。

虽然 C23/C++26 中 assert 的更改不是正式的缺陷报告， C 委员会推荐实现将该更改向后移植到旧模式。

示例

运行此代码

#include <iostream>// 去注释以禁用 assert()// #define NDEBUG#include <cassert>   // 使用 (void) 关闭“未使用”警告#define assertm(exp, msg) assert((void(msg), exp))   int main(){ assert(2+2==4);std::cout<<"检查点 #1\n";   assert((void("void 可以避免“未使用值”警告"), 2*2==4));std::cout<<"检查点 #2\n";   assert((010+010==16)&&"另一种添加断言信息的方式");std::cout<<"检查点 #3\n";   assertm((2+2)%3==1, "成功");std::cout<<"检查点 #4\n";   assertm(2+2==5, "失败");// 断言失败std::cout<<"在最后一个断言后继续执行\n";// 不会输出}

可能的输出：

检查点 #1 检查点 #2 检查点 #3 检查点 #4 main.cpp:23: int main(): Assertion `((void)"失败", 2 + 2 == 5)' failed. Aborted

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 2234	C++11	assert 无法在常量表达式中使用	可以使用

参阅

contract_assert 语句(C++26)	在执行中验证一项内部条件
static_assert 声明(C++11)	进行编译时断言检查
abort	导致非正常的程序终止（不进行清理） (函数)
assert 的 C 文档