assert 的基本用法

在 C++ 中，assert 是一个宏，用于在程序运行时检查某个条件是否为真。如果条件为假，assert 会输出错误信息并终止程序。其基本语法如下：

#include <cassert>
assert(condition);

condition 是需要检查的表达式。如果 condition 为 false，assert 会打印错误信息（通常包含文件名、行号和条件表达式），并调用 abort() 终止程序。

assert 的启用与禁用

assert 的行为受 NDEBUG 宏控制。如果定义了 NDEBUG 宏，assert 会被忽略，不会产生任何效果。通常在发布版本中会定义 NDEBUG 以禁用断言。

#define NDEBUG  // 禁用 assert
#include <cassert>
assert(false);   // 不会触发

assert 的适用场景

assert 通常用于调试阶段，检查程序中的逻辑错误或非法条件。例如：

• 检查函数参数的有效性。
• 验证中间结果的正确性。
• 确保程序状态符合预期。

void divide(int a, int b) {
    assert(b != 0);  // 确保除数不为零
    // 其他代码
}

assert 的局限性

assert 仅在调试阶段有效，不适合用于处理用户输入或运行时错误。对于需要处理的错误情况，应使用异常或其他错误处理机制。

自定义断言消息

标准 assert 不直接支持自定义错误消息，但可以通过以下方式实现：

#define ASSERT_WITH_MSG(cond, msg) do { \
    if (!(cond)) { \
        std::cerr << "Assertion failed: " << (msg) << std::endl; \
        std::abort(); \
    } \
} while (0)

ASSERT_WITH_MSG(false, "This is a custom message");

静态断言（static_assert）

C++11 引入了 static_assert，用于编译时检查条件。如果条件为假，编译会失败并显示错误消息。

static_assert(sizeof(int) == 4, "int must be 4 bytes");

static_assert 不需要运行时开销，且不受 NDEBUG 宏影响。