现代C++中assert与NDEBUG的使用现状及相关疑问

一、assert和其他工具不是替代关系，而是互补 #

assert的核心作用是验证代码逻辑中的前置条件、不变量和假设，这是valgrind/sanitizer、gtest覆盖不到的场景：

• sanitizer专注内存越界、线程竞争这类底层错误，管不了业务逻辑层面的问题——比如你写了个树结构，assert(node->parent != node)检查父节点不能是自身，这类逻辑错误sanitizer不会报警，单元测试没覆盖到的话也发现不了，但运行时触发assert能立刻定位。
• gtest是离线跑的单元测试，而assert是在线实时检查：开发阶段手动测、集成测的时候，程序走到错误点直接中断，不用等测试用例跑完，调试效率高得多。

二、NDEBUG移除断言的核心原因：性能和生产环境轻量化 #

别小看断言的开销：

• 如果断言里是复杂表达式，比如assert(std::all_of(v.begin(), v.end(), [](int x){return x>0;}))，在高频调用的函数里，生产环境保留这个检查会拖慢整体性能。
• 很多断言验证的是“代码逻辑正确就绝对不会触发的条件”，比如assert(idx < vec.size())，如果你的代码已经通过逻辑保证idx不会越界，生产环境留着这个检查就是纯冗余——真出问题时，程序崩溃的结果和触发assert一致，但少了一次不必要的判断。

现在很多项目不会一刀切，而是自定义断言宏区分场景：

// 仅开发阶段启用，生产环境完全移除
#ifdef NDEBUG
#define DEBUG_ASSERT(cond) ((void)0)
#else
#define DEBUG_ASSERT(cond) assert(cond)
#endif

// 生产环境也保留的致命错误检查
#define FATAL_ASSERT(cond) do { \
    if (!(cond)) { \
        std::cerr << "Fatal error: " #cond " failed\n"; \
        std::abort(); \
    } \
} while(0)

三、现代C++里的使用趋势 #

• 和sanitizer配合用：Debug模式下同时开assert和AddressSanitizer，assert查逻辑假设，sanitizer查内存/UB问题，两者互补。
• 选择性保留断言：只移除开发阶段的 sanity check，关键的、生产环境可能触发的错误检查（比如内存分配失败）用自定义宏保留，甚至不用assert，改用显式的错误处理+日志，避免NDEBUG下被移除。

关于你说的“排查bug的代码应始终保留” #

不是所有调试代码都值得留：

• 开发阶段的假设验证：这类代码是帮你写对逻辑的，代码稳定后，这些条件在生产环境不可能触发，留着只会浪费性能。
• 致命错误检查：这类确实要留，但通常不用assert——因为assert在NDEBUG下会被删掉，起不到生产环境的拦截作用，不如用显式的if判断加日志、abort处理。

内容的提问来源于stack exchange，提问作者3088 K