assert仅在NDEBUG未定义时生效，Debug模式有效而Release模式被预处理器删除；需#include <cassert>，参数不可有副作用，否则Release下行为异常。

assert在C++里什么时候生效

assert 只在 NDEBUG 宏未定义时起作用。也就是说，Debug 模式下默认有效，Release 模式下（通常自动定义了 NDEBUG）整条语句会被预处理器直接删掉，不编译、不执行、不占运行时开销。

常见误区是以为加了 assert(x != nullptr) 就能在上线后兜底——其实它根本不会运行。真要在线上检查，得用 if (!x) throw std::runtime_error(...) 或其他显式逻辑。

• 确认是否启用：g++ -D NDEBUG 编译即禁用；没加就是启用
• 头文件必须包含：#include <cassert>（C++标准写法，<assert.h> 是C兼容写法，不推荐）
• 宏展开后实际抛出 std::abort()，程序直接终止，不会栈展开，RAII资源可能泄漏

assert参数里不能有副作用表达式

assert 是个宏，不是函数。在 NDEBUG 定义时，整个表达式被替换成空，里面的代码压根不执行。如果写成 assert(p = get_ptr())，Release 下 p 就永远得不到赋值，行为彻底改变。

• 错误写法：assert((x = compute_value()) > 0) —— Release 下 x 不变，逻辑错乱
• 正确写法：先计算，再断言：x = compute_value(); assert(x > 0);
• 尤其注意流操作、自增/自减、函数调用等：如 assert(std::cout 在 Release 下不会输出

assert失败时的提示信息怎么加

assert 只接受一个布尔表达式，但可以利用逻辑与短路特性拼接字符串字面量（本质是让表达式恒真，靠左边副作用触发报错信息）：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

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

assert((std::cerr << "size must be > 0, got " << size << std::endl, size > 0));

不过这写法难读且易误用。更稳妥的做法是自己封装一层，或直接用 assert + 注释说明，靠调试器或日志上下文定位问题。

• 系统默认报错格式：Assertion failed: size > 0, file test.cpp, line 42
• 不要依赖 assert 打印用户可见信息——它只面向开发者，且可能被关掉
• 想带变量值？用调试器看，或者加临时 std::cout（记得删掉，别和 assert 耦合）

替代方案：什么时候该用 static_assert

static_assert 在编译期检查，适用于模板参数、常量表达式、类型约束等——它和 assert 完全不同阶段，不能互相替换。

• 运行时检查（比如用户输入、文件读取结果）→ 必须用 assert 或手动 if
• 编译时已知条件（比如 sizeof(int) == 4、模板 T 是否满足某个 trait）→ 用 static_assert
• 混合场景：例如模板函数里先 static_assert 类型合法，再用 assert 检查运行时值

最常被忽略的一点：assert 的存在本身会干扰某些优化判断，尤其涉及指针别名或循环不变量时；编译器看到它，可能不敢做激进优化。如果性能敏感，上线前务必确认 NDEBUG 已定义。