size_t递减循环停不下来是因为其无符号特性导致0递减后回绕至SIZE_MAX，使i >= 0恒成立；安全写法包括：用i > 0作条件、改用ptrdiff_t等有符号类型、或采用正向循环替代。
为什么 for (size_t i = n; i >= 0; --i) 永远停不下来
因为 size_t 是无符号类型，它根本不能表示负数。i >= 0 这个条件在 size_t 上永远为真——无论 i 是 0 还是 SIZE_MAX，它都 ≥ 0。当 i 减到 0 后再执行 --i，值立刻回绕成最大值（64 位下是 18446744073709551615），下一轮仍满足条件，循环继续。
size_t 反向循环的安全写法有哪些
核心思路是：避开“从 0 开始递减”这个触发回绕的临界点。常见安全模式包括：
- 用
i > 0作终止条件，索引访问时用i - 1：for (size_t i = n; i > 0; --i) { arr[i - 1] = ...; } - 改用有符号类型，如
ptrdiff_t或int：for (ptrdiff_t i = static_cast<ptrdiff_t>(n) - 1; i >= 0; --i)</ptrdiff_t> - 用正向循环 + 索引变换替代：
for (size_t i = 0; i
什么时候 size_t 倒序反而“看起来能停”
这不是行为可靠，而是巧合。例如：
- 循环体里有
break或return提前退出 - 访问
arr[i]导致越界崩溃（比如段错误），强制中止程序 - 编译器做了激进优化，把整个循环判定为未定义行为后直接删掉（极少见，但标准允许）
这些都不是“安全停止”，而是掩盖问题的偶然现象。
立即学习“C++免费学习笔记（深入）”；
混合运算中 size_t 和 int 相减为何更危险
当表达式中同时出现 size_t 和有符号整数（如 int），C++ 会把有符号数隐式转为 size_t，负值变成巨大正数。比如：
size_t n = 5; int offset = -2; size_t idx = n + offset; // 实际是 n + static_cast<size_t>(-2) → n + SIZE_MAX - 1
结果不是 3，而是极大值，后续用于数组访问必然越界。这种转换静默发生，编译器通常不报警。
最易被忽略的是：回绕本身不是 bug 的根源，真正的问题在于它让边界检查失效——你写的 i >= 0 在无符号语境下已失去逻辑意义，而开发者还误以为它在起作用。
