Java中int溢出导致循环失控，本质是变量按2³²取模静默回绕：i=2147483647后i++变为-2147483648，使while(i>=0)提前退出或for(i!=n)无限执行；高危结构包括目标值终止的for循环、无符号混用及递减遍历空容器；应优先用long替代int、Math.addExact主动抛异常、日志/断点捕获翻转，并通过计数器重构或BigInteger保障关键场景。
Java 中数值溢出在循环边界计算里不是“程序崩了”，而是“它还在跑，但结果早就不对了”——变量悄悄翻转，条件永远为真或假，循环卡死或跳过关键逻辑。
溢出怎么让循环失控？
Java 的 int 是 32 位有符号整数，范围固定：-2147483648 到 2147483647。一旦超出，就按 2³² 取模回绕，不报错也不中断：
-
上溢（Overflow）：比如
i = Integer.MAX_VALUE; i++→ 瞬间变成Integer.MIN_VALUE（-2147483648） -
下溢（Underflow）：比如
i = Integer.MIN_VALUE; i--→ 变成Integer.MAX_VALUE - 若循环写成
for (int i = 0; i != n; i++)，而n == Integer.MAX_VALUE，i 加到最大值后翻成负数，再一路递增，永远不等于 n - 更隐蔽的是
while (i >= 0)：i 溢出变负后，条件立刻为假——看似退出，实则提前终止；但若写成while (i != -1)，负数翻转后可能反复绕圈
哪些循环结构最危险？
不是所有循环都敏感，但以下几类要特别盯住：
-
用目标值做终止判断的 for 循环：如
for (int i = start; i ，当 <code>end - start超过 int 范围，i 永远追不上 end -
步长非 1 或含乘法的迭代：比如
i *= 2、i += i << 1，增长极快，第 31 次就可能溢出 -
无符号语义误用有符号类型：开发者心里想“i 一直增大”，却用
int做计数器，没意识到它会变负 -
与数组长度、集合 size() 联动的循环：如
for (int i = 0; i < list.size(); i++)安全，但若中间改了 list 大小，或 size() 本身是动态计算且含溢出表达式，就埋雷
怎么快速识别和拦截？
别等运行时崩溃，从写代码那一刻就设防：
立即学习“Java免费学习笔记（深入）”；
- 在循环开始前加断言：
if (start > end) throw new IllegalArgumentException("Invalid range"); - 用安全算术方法代替裸操作：
Math.addExact(i, 1)或Math.multiplyExact(i, 3)，溢出直接抛ArithmeticException - 调试时打日志观察真实轨迹：
System.out.printf("i=%d (0x%08x), i>0=%b%n", i, i, i > 0);——十六进制能一眼看出符号位翻转 - IDE 中对循环变量设条件断点，例如
i == Integer.MAX_VALUE || i == Integer.MIN_VALUE，捕获翻转瞬间
长期可靠的解法是什么？
靠检查不如靠设计。真正稳的方案是绕开溢出敏感路径：
-
优先用
long做循环变量：64 位范围大得多（±9.2×10¹⁸），日常业务循环几乎不会触顶；注意运算中补L后缀，避免隐式截断，如i = i * 3L -
改用计数器而非目标值驱动：把
for (int i = start; i < end; i++)拆成long count = 0; long limit = (long)end - start; while (count < limit) { ... count++; } -
对超大范围场景，考虑
BigInteger：虽有性能开销，但金融、密码、算法验证等不容出错的场合值得用 -
静态分析工具辅助：启用 IDE 或构建插件（如 Error Prone、SonarQube）检测潜在溢出模式，比如 “
int类型参与>=比较且含递增”
