c++ assert断言用法_c++程序调试技巧_技术教程

assert 是 C++ 调试宏，用于开发阶段验证内部逻辑，表达式为假时终止程序并报错；定义 NDEBUG 后自动移除，仅限 debug 版本使用，不可用于用户输入、外部状态或有副作用的表达式。

assert 是什么，什么时候该用

assert 是 C++ 标准库提供的宏（定义在中），用于在**调试阶段**检查程序逻辑是否符合预期。它不是错误处理机制，也不该用于验证用户输入或外部数据。

它的行为是：当表达式为假（false 或 0）时，立即中止程序并打印失败位置（文件名、行号、断言表达式）；当表达式为真，则什么也不做。

关键点：assert 在编译时定义了 NDEBUG 宏后会被完全移除（即不参与编译），所以它只存在于 debug 版本中，release 版本里不会执行、也没有开销。

怎么写一个有效的 assert 表达式

有效断言要满足三个条件：无副作用、快速求值、只依赖内部状态。

立即学习“C++免费学习笔记（深入）”；

✅ 正确：assert(ptr != nullptr);、assert(i >= 0 && i
❌ 错误：assert(func() == 42); —— 如果 func() 有副作用（比如修改全局变量、IO、内存分配），debug 和 release 行为会不一致
❌ 错误：assert(std::sqrt(x) > 0); —— 浮点计算不稳定，且 std::sqrt 可能抛异常或返回 NaN，assert 不捕获异常
❌ 错误：assert(fopen("data.txt", "r")); —— 文件是否存在属于运行时外部状态，应改用错误码或异常处理

常见误用场景和替代方案

很多新手把 assert 当成“轻量级异常”来用，这是危险的。

检查函数参数非法：如果函数对外提供接口（比如 public 成员函数、API 函数），不能只靠 assert。应结合 throw std::invalid_argument 或返回错误码，否则用户调用时 release 版本直接 UB。
检查容器越界：别写 assert(i 。改用 v.at(i)（带边界检查并抛异常），或明确注释“此函数仅限内部调试使用”。
检查内存分配失败：不要 assert(new int[1000]);。C++11 起 new 默认抛 std::bad_alloc，应捕获或使用 new (std::nothrow) + 显式判空。

自定义断言宏与跨平台注意事项

标准 assert 在不同平台输出格式略有差异，且无法控制触发行为（比如弹窗、记录日志、进入调试器）。大型项目常封装自己的断言宏：

#ifdef _DEBUG
#define MY_ASSERT(expr) \
    do { \
        if (!(expr)) { \
            fprintf(stderr, "Assertion failed: %s at %s:%d\n", #expr, __FILE__, __LINE__); \
            __debugbreak(); /* Windows */ \
            /* 或 raise(SIGTRAP); /* Linux */ \
        } \
    } while(0)
#else
#define MY_ASSERT(expr) ((void)0)
#endif