assert

#define assert(condition) ((void)0)

#define assert(...)       ((void)0)

#define assert(condition) /* unspecified */

#define assert(...)       /* unspecified */

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

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

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

参数

注释

assert(std::is_same_v<int, int>);        // 错误：assert 不接受两个参数
assert((std::is_same_v<int, int>));      // 正确：单个参数
static_assert(std::is_same_v<int, int>); // 正确：非宏
std::complex<double> c;
assert(c == std::complex<double>{0, 0});   // 错误
assert((c == std::complex<double>{0, 0})); // 正确

目前没有标准化接口来为 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>
// 取消注释以禁用 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++标准。

参见