assert 仅在 NDEBUG 未定义时生效，Debug 模式有效、Release 模式被预处理器完全移除；不可用于关键校验、有副作用表达式或用户输入检查，应改用 if + throw/abort。
assert 在 C++ 里什么时候会真正起作用
assert 只在 NDEBUG 宏未定义时生效，也就是说，默认 Debug 模式下有效，Release 模式下整行被编译器直接剔除——不是“不执行”，而是“根本不存在”。如果你在 Release 版本里发现 assert 没触发，别怀疑写法，先检查是否链接了 -DNDEBUG 或项目配置里启用了 NDEBUG。
常见误操作：
- 把关键校验逻辑（比如指针非空、数组下标合法）全压给
assert，结果上线后崩溃找不到原因 - 在头文件里无条件写
assert(ptr != nullptr)，导致第三方库或 Release 构建时出现未定义行为 - 用
assert检查有副作用的表达式，例如assert(x++ > 0)—— Debug 能跑，Release 里x就不自增了
替代方案：什么时候该用 assert，什么时候该用 if + throw / abort
判断依据很简单：这个条件「违反时程序是否还能继续安全运行」。
assert 仅适用于「绝不该发生、发生了说明代码逻辑有严重缺陷」的场景，比如：
立即学习“C++免费学习笔记（深入）”；
- 函数内部某个中间计算结果理应恒为正，却得到负值
- switch 分支覆盖了所有枚举值，但 default 里还写了
assert(false) - 递归终止条件被绕过，深度爆栈前做兜底提示
而以下情况不该用 assert：
- 用户输入非法（该用
if (x ） - 系统调用失败（如
fopen返回nullptr，该检查并处理错误码） - 资源分配失败（
new抛异常或返回nullptr，不是断言问题）
如何让 assert 失败时输出更实用的信息
标准 assert(expr) 只打印表达式文本和文件行号。想看到变量值？得手动拼接：
#include <cassert>
#include <iostream>
#define MY_ASSERT(expr) \
do { \
if (!(expr)) { \
std::cerr << "Assertion failed: " << #expr \
<< " at " << __FILE__ << ":" << __LINE__ \
<< ", val=" << (expr ? "true" : "false") \
<< std::endl; \
std::abort(); \
} \
} while(0)
但更推荐用现代方式：C++20 的 std::source_location 配合自定义宏，或者直接用 static_assert 做编译期检查（比如模板参数约束）。运行期调试信息，优先考虑日志库（如 spdlog）+ 条件断点，比硬塞 assert 更可控。
多线程环境下 assert 的坑
assert 本身不是线程安全的——它调用 abort()，而 abort 会中止整个进程，不管当前在哪个线程。这意味着：
- 一个后台线程触发
assert，主线程正在处理网络请求，也会瞬间退出 - 如果断言检查的是共享状态（如
assert(counter > 0)），没加锁就可能因竞态导致误报或漏报 - 某些嵌入式或实时环境禁用
abort，此时assert行为未定义
实际做法是：线程内关键路径用带锁的状态检查 + 日志记录；全局不变量（如单例初始化完成）可在主线程启动后一次性验证，而非每个线程都 assert。
最常被忽略的一点：断言不是错误处理机制，也不是性能监控开关。它只回答一个问题——“这段代码，按设计，此刻是否绝对不可能走到这里”。答案不是“大概率不会”，而是“数学上不允许”。
