循环控制变量整型溢出导致死循环，本质是未定义行为破坏程序逻辑：int计数器达int_max后i++溢出，值突变为负或极大正数，使条件判断失效；空容器遍历时size_t减1回绕亦引发类似问题。
循环控制变量整型溢出导致死循环，本质是程序逻辑被未定义行为（UB）破坏——尤其当用 int 作计数器且上限接近 INT_MAX 时，i++ 一溢出，值可能跳变为负数或极大正数，条件判断彻底失效。
识别典型危险模式
以下写法极易引发不可终止循环：
for (int i = 0; i 中 <code>n == INT_MAX，最后一步i++溢出变负，i 恒真-
for (int i = v.size() - 1; i >= 0; --i)：当v为空，v.size()是size_t（无符号），减 1 回绕成极大正数，i被提升为unsigned后永远 ≥ 0 while (len ：若 <code>read_bytes为正且累加后超限，len溢出变小甚至负，循环条件持续满足
直接有效的修复方式
不依赖“事后检查结果”，而从源头切断溢出路径：
- 用更大类型替代：把
int i换成long long i或int64_t i，尤其当n可能接近 2³¹−1 时 - 改用无符号类型并严格约束范围：如
size_t i配合i ，但必须确保所有参与运算的变量都是同符号类型，避免隐式转换 - 循环前做安全截断：例如读取场景中，先算剩余空间
remain = MAX_LEN - len，再限制本次操作量bytes = min(read_bytes, remain)，确保len += bytes绝对不溢出
防御性编码习惯
让溢出在发生前就被拦截，而非等它毁掉控制流：
- 涉及容器大小、内存偏移、时间戳累加等场景，统一用
size_t或int64_t，避免混用int和size_t - 关键循环加入显式上界保护：
for (int i = 0; i ，防止因输入异常导致失控 - 开发阶段启用
-fsanitize=signed-integer-overflow，溢出时立即崩溃并打印调用栈，快速定位问题点
工具辅助验证
单靠肉眼容易漏掉边界情况，需工具兜底：
- 静态分析：Clang Static Analyzer 或 PVS-Studio 可扫描
for循环中i++与i 的数值关系，提示潜在溢出风险 - 运行时检测：Release 版本虽不能开 sanitizer，但可在关键路径插入
__builtin_add_overflow(i, 1, &next_i)，溢出则记录日志并安全退出 - 单元测试覆盖极端值：专门构造
n = INT_MAX、v.size() = 0等用例，验证循环是否如期终止
