assert 是 C++ 调试宏，用于开发阶段验证内部逻辑，表达式为假时终止程序并报错；定义 NDEBUG 后自动移除，仅限 debug 版本使用，不可用于用户输入、外部状态或有副作用的表达式。
assert 是什么，什么时候该用
assert 是 C++ 标准库提供的宏（定义在 <cassert> 中），用于在**调试阶段**检查程序逻辑是否符合预期。它不是错误处理机制，也不该用于验证用户输入或外部数据。
它的行为是：当表达式为假（false 或 0）时，立即中止程序并打印失败位置（文件名、行号、断言表达式）；当表达式为真，则什么也不做。
关键点：assert 在编译时定义了 NDEBUG 宏后会被完全移除（即不参与编译），所以它只存在于 debug 版本中，release 版本里不会执行、也没有开销。
怎么写一个有效的 assert 表达式
有效断言要满足三个条件：无副作用、快速求值、只依赖内部状态。
立即学习“C++免费学习笔记（深入）”；
- ✅ 正确：
assert(ptr != nullptr);、assert(i >= 0 && i - ❌ 错误：
assert(func() == 42);—— 如果func()有副作用（比如修改全局变量、IO、内存分配），debug 和 release 行为会不一致 - ❌ 错误：
assert(std::sqrt(x) > 0);—— 浮点计算不稳定，且std::sqrt可能抛异常或返回 NaN，assert不捕获异常 - ❌ 错误：
assert(fopen("data.txt", "r"));—— 文件是否存在属于运行时外部状态，应改用错误码或异常处理
常见误用场景和替代方案
很多新手把 assert 当成“轻量级异常”来用，这是危险的。
-
检查函数参数非法：如果函数对外提供接口（比如 public 成员函数、API 函数），不能只靠
assert。应结合throw std::invalid_argument或返回错误码，否则用户调用时 release 版本直接 UB。 -
检查容器越界：别写
assert(i 。改用 <code>v.at(i)（带边界检查并抛异常），或明确注释“此函数仅限内部调试使用”。 -
检查内存分配失败：不要
assert(new int[1000]);。C++11 起new默认抛std::bad_alloc，应捕获或使用new (std::nothrow)+ 显式判空。
自定义断言宏与跨平台注意事项
标准 assert 在不同平台输出格式略有差异，且无法控制触发行为（比如弹窗、记录日志、进入调试器）。大型项目常封装自己的断言宏：
#ifdef _DEBUG
#define MY_ASSERT(expr) \
do { \
if (!(expr)) { \
fprintf(stderr, "Assertion failed: %s at %s:%d\n", #expr, __FILE__, __LINE__); \
__debugbreak(); /* Windows */ \
/* 或 raise(SIGTRAP); /* Linux */ \
} \
} while(0)
#else
#define MY_ASSERT(expr) ((void)0)
#endif注意点：
-
__debugbreak()是 MSVC 内建，GCC/Clang 用__builtin_trap()或raise(SIGTRAP) - 宏中必须用
do { ... } while(0)包裹，避免if (x) MY_ASSERT(...); else ...类型语法错误 - 所有自定义宏也应在
NDEBUG下禁用，保持与标准行为一致
真正容易被忽略的是：断言失败时，堆栈可能已部分销毁（尤其内联函数多时），调试器未必能准确跳转到原始调用点。所以关键路径上，宁可多打一行 printf 或设断点，也别依赖单一 assert 推断逻辑。
