【C++】assert断言

assert 是 C++ 标准库中用于调试的宏，用于验证程序中的某些条件是否为真。它通常用于在开发阶段捕捉潜在的编程错误。以下是 assert 的详细介绍：

1. 基本用法

assert 宏定义在 <cassert> 头文件中。其语法如下：

#include <cassert>

void function(int x) {
    assert(x > 0); // 如果条件 x > 0 不成立，程序会终止并输出错误信息
    // 其他代码
}

如果 x 的值不大于 0，则 assert 会打印一条错误信息并终止程序。

2. 工作原理

assert 宏在检查表达式是否为真。如果表达式为假（即条件不成立），它会：

• 打印一条包含条件表达式、文件名和行号的错误信息。
• 调用 abort 函数终止程序执行。

3. 错误信息示例

假设在 function 函数中调用 assert(x > 0)，如果 x 为 -1，则程序会输出类似以下的信息：

Assertion failed: (x > 0), file main.cpp, line 5

4. 启用和禁用 assert

在发布（release）版本中，通常会禁用 assert 以提高性能。通过定义 NDEBUG 宏，可以禁用所有 assert 语句：

#define NDEBUG
#include <cassert>

一旦定义了 NDEBUG，所有 assert 语句将不再进行条件检查，相当于在代码中被忽略。

5. assert 的适用场景

• 调试阶段：用于捕捉潜在的编程错误，如非法参数、不变式违规等。
• 开发过程：确保程序在特定条件下的正确性，帮助开发人员快速定位问题。
• 单元测试：验证函数或模块的前提条件和后置条件。

6. assert 的局限性

• 运行时开销：在调试版本中，每次 assert 都会进行条件检查，可能影响性能。
• 适用范围：仅在调试阶段有效，发布版本中通常会被禁用。
• 错误处理：assert 主要用于捕捉不可恢复的错误，对于可恢复的错误，应该使用异常处理或其他错误处理机制。

7. 示例代码

以下是一个简单示例，演示如何使用 assert：

#include <iostream>
#include <cassert>

int divide(int a, int b) {
    assert(b != 0); // 确保除数不为零
    return a / b;
}

int main() {
    int x = 10;
    int y = 0;

    std::cout << "10 / 2 = " << divide(x, 2) << std::endl;

    // 这行代码将触发 assert，因为 y 为 0
    std::cout << "10 / 0 = " << divide(x, y) << std::endl;

    return 0;
}

在上述代码中，divide 函数使用 assert 确保除数 b 不为零。如果 b 为零，程序将在运行时输出错误信息并终止执行。

8. 自定义错误消息

C++ 标准库中的 assert 不支持自定义错误消息。不过，可以通过宏或函数实现类似功能：

#include <iostream>
#include <stdexcept>

void myAssert(bool condition, const char* message) {
    if (!condition) {
        throw std::runtime_error(message);
    }
}

int main() {
    int x = 10;
    int y = 0;

    myAssert(y != 0, "Error: Division by zero");
    std::cout << "10 / 0 = " << (x / y) << std::endl;

    return 0;
}

以上代码在条件不满足时抛出 std::runtime_error，并带有自定义错误消息。