assert

来自cppreference.com
< cpp‎ | error
 
 
工具库
类型支持(基本类型、 RTTI 、类型特性)
动态内存管理
错误处理
程序工具
变参数函数
日期和时间
函数对象
(C++11)
关系运算符
optionalanyvariant (C++17)
pair 与 tuple
(C++11)
(C++17)
swap 、 forward 与 move
(C++14)
(C++11)
(C++11)
初等字符串转换
(C++17)
(C++17)
类型运算
(C++11)
(C++17)
 
 
定义于头文件 <cassert>
#ifdef NDEBUG

#define assert(condition) ((void)0)
#else
#define assert(condition) /*implementation defined*/

#endif

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

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

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

表达式 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 :非宏

[编辑] 示例

#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 起) [编辑]
导致异常程序终止(不清理)
(函数) [编辑]
assertC 文档