assert

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

工具库

语言支持 类型支持（基本类型、 RTTI 、类型特征）     库功能特性测试宏 (C++20) 动态内存管理 程序工具 错误处理 协程支持 (C++20) 变参数函数 launder (C++17) initializer_list (C++11) source_location (C++20) 三路比较 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

通用工具 日期和时间 函数对象 bitset 格式化库 (C++20) hash (C++11) integer_sequence (C++14) 关系运算符 (C++20 中弃用) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20) cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) swap 与类型运算 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) to_underlying (C++23) 常用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) 初等字符串转换 to_chars (C++17) from_chars (C++17) chars_format (C++17) 栈踪 stacktrace_entry (C++23) basic_stacktrace (C++23)

 

错误处理

异常处理 exception 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++11)(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) 断言 assert system_error 设施 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)

 

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

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

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

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

表达式 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

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

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

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

示例

运行此代码

#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

参阅

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