assert 是调试阶段用于检查内部逻辑错误的宏，仅在 NDEBUG 未定义时生效，应避免副作用、不用于用户输入校验，只做纯条件判断。
assert 是什么，什么时候该用它
assert 是 C++ 标准库提供的宏（定义在 if + 显式错误路径。
它的作用很明确：当表达式为假（false 或 0）时，立即中止程序并打印失败位置（文件名、行号、断言条件）。仅在 NDEBUG 未定义时生效；一旦定义（如 Release 编译常用），所有 assert 调用会被预处理器完全移除，零开销。
- 适合检查“绝不该发生”的内部状态，比如指针非空、数组索引未越界、函数前置/后置条件
- 不适合做运行时校验：比如
assert(argv[1] != nullptr)在命令行没传参时会崩溃，但这是合法的运行情况 - 表达式里不要有副作用：写成
assert(x++ > 0)会导致 Debug 和 Release 行为不一致
怎么写一个安全有效的 assert 表达式
核心原则是：只放纯判断，不修改状态，且语义清晰可读。
- 优先用直接比较：
assert(ptr != nullptr)比assert(ptr)更明确意图 - 复杂条件建议提取变量或加注释，避免嵌套过深：
assert((i >= 0 && i - 字符串字面量作为额外信息（GCC/Clang 支持）会被输出，帮助快速定位问题点
- 避免浮点数直接等值比较：
assert(a == b)对float/double极不可靠，改用误差范围：assert(std::abs(a - b)
为什么 release 版本里 assert 消失了，还能信吗
能信，但得理解它的定位：assert 是开发期“逻辑守卫”，不是产品级健壮性保障。
立即学习“C++免费学习笔记（深入）”；
- Release 下消失是设计使然，不是 bug。它本就不该承担运行时防御职责
- 如果某处
assert在 Debug 下频繁触发，说明那里存在真实逻辑缺陷，必须修复，不能靠加NDEBUG掩盖 - 真正需要跨 Debug/Release 生效的检查，应改用自定义宏或
if (condition) { throw std::logic_error("..."); } - 部分团队会在 CI 流程中强制用 Debug 模式跑单元测试，确保 assert 覆盖的路径被验证过
常见误用和一眼能看出来的坑
这些写法看似省事，实际埋雷：
-
assert(fopen("data.txt", "r"))—— 文件不存在是常态，不是逻辑错误；应该检查返回值并走错误分支 assert(i++ —— Debug 下i自增一次，Release 下不自增，行为分裂-
assert(func())，而func()有 IO 或修改全局状态 —— 同样导致 Debug/Release 不一致 - 在头文件里无条件写
assert，又没加#include—— 编译失败，且错误提示可能指向奇怪位置
断言本身很简单，难的是判断“这里到底该不该断”。真正卡住人的，永远是问题边界的界定，而不是语法。
