assert是调试宏，NDEBUG定义后编译器直接移除其所有调用；含副作用的表达式会导致Debug/Release行为不一致；仅适用于逻辑上绝不可能为假的内部条件，外部输入等必须用if处理。
assert 不是错误处理机制，它只在调试阶段生效，且一旦定义 NDEBUG 就彻底消失——不是变弱了，是编译器直接删掉所有 assert 调用。
为什么 assert 在 Release 下完全不工作
因为 assert 是宏，不是函数。它的展开逻辑依赖预处理器：NDEBUG 定义在 #include <cassert> 之前时，assert(expression) 会被替换成空语句（static_cast<void>(0)），不生成任何机器码。
- 错误写法：
#include <cassert> #define NDEBUG—— 顺序反了，assert已经被展开，NDEBUG无效 - 正确写法：CMake 中加
add_definitions(-DNDEBUG)，或源文件最顶部写#define NDEBUG再#include <cassert> - 验证方式：在
assert(false)后加std::cout << "alive\n";，Debug 版本不输出，Release 版本会输出
assert 表达式里写函数调用的坑
只要表达式有副作用（比如修改变量、释放资源、打印日志），Debug 和 Release 行为就会分裂——这是最隐蔽也最危险的误用。
-
assert(free(ptr))：Debug 下free执行，Release 下跳过，ptr泄漏 -
assert(x++ > 0)：Debug 下x自增，Release 下不变，后续逻辑错乱 -
assert(validate_and_log(data))：Debug 下打日志，Release 下静默，监控丢失 - 安全做法：把副作用操作拆出来，
validate_and_log(data); assert(data.is_valid());
什么时候该用 assert，什么时候必须用 if + 错误分支
判断标准只有一个：这个条件“在程序逻辑上是否绝对不该为假”。如果是外部输入、系统调用失败、文件不存在、网络超时——这些全是合法运行态，assert 不能碰。
立即学习“C++免费学习笔记（深入）”；
- 适合
assert：assert(ptr != nullptr)（内部指针本不该为空）、assert(i < vec.size())（索引由你控制，越界说明算法错了） - 必须用
if：if (fopen("config.txt", "r") == nullptr)（文件可能真被用户删了）、if (recv(sock, buf, len, 0) < 0)（网络抖动正常） - 浮点数比较陷阱：
assert(a == b)几乎总错，改用assert(std::abs(a - b) < 1e-6)
自定义断言信息怎么写才真正有用
光写 assert(x > 0) 只能知道“x 不大于 0”，但不知道 x 是多少、上下文是什么。加字符串字面量是 GCC/Clang 支持的扩展，能显著缩短定位时间。
- 基础写法：
assert(x > 0 && "x must be positive");，失败时 stderr 输出该字符串 - 带值调试：
assert((x > 0 && "x must be positive") || (fprintf(stderr, "x=%d\n", x), false));—— 仅限 Debug，慎用 - 更稳妥的替代：
if (x <= 0) { std::cerr << "x=" << x << " violates precondition\n"; std::abort(); }
最容易被忽略的一点：assert 触发后直接调用 std::abort()，不做栈展开，不析构局部对象，不执行 atexit 注册函数。如果你的类里有文件句柄、锁、临时文件，assert 崩溃可能导致资源卡死或数据损坏——这不是 bug，是设计使然。真要保清理，得自己写检查+异常。
