Java中int等基本类型运算溢出会静默环绕，如Integer.MAX_VALUE + 1变为最小值；02. 可使用Math.addExact等方法在溢出时抛异常；03. 手动检查可通过判断操作数与结果关系预防溢出；04. 优先选用long或BigInteger避免溢出，尤其在安全敏感或大数计算场景。
Java中的基本类型如int、long等都有取值范围限制，当运算结果超出该类型的表示范围时，就会发生溢出。溢出会引发难以察觉的bug，尤其是在涉及大量数值计算或安全敏感场景中。Java默认不会抛出溢出异常，而是静默地截断结果，因此需要开发者主动预防和检测。
理解整数溢出行为
以int类型为例，其取值范围是-2,147,483,648到2,147,483,647。如果执行Integer.MAX_VALUE + 1，结果会变成-2,147,483,648，即从最大值“绕回”到最小值。这种现象称为“环绕（wraparound）”，是补码表示下的自然结果。
示例如下：
int max = Integer.MAX_VALUE;
System.out.println(max + 1); // 输出 -2147483648
使用Math类的安全方法
从Java 8开始，java.lang.Math提供了多个带溢出检查的静态方法，如addExact、multiplyExact、subtractExact等。这些方法在发生溢出时会抛出ArithmeticException，便于及时发现错误。
立即学习“Java免费学习笔记（深入）”；
示例：
try {
int result = Math.addExact(Integer.MAX_VALUE, 1);
} catch (ArithmeticException e) {
System.out.println("发生溢出！");
}
这类方法适用于需要精确控制的场景，比如金融计算或用户输入处理。
手动检查溢出边界
在不使用Math工具类的情况下，可通过逻辑判断提前识别潜在溢出。例如两个正数相加，若结果小于任一操作数，则说明已溢出。
常见判断方式：
- 加法：若 a > 0 且 b > 0，但 a + b
- 减法：若 a > 0 且 b
- 乘法：a * b > MAX_VALUE 或 a * b
也可通过比较操作数与边界值的关系进行预判，例如在乘法前判断：a != 0 && b > Integer.MAX_VALUE / a，可避免实际计算溢出。
使用更大范围的数据类型或BigInteger
对于可能超出int或long范围的计算，优先考虑使用更大的类型，如用long代替int。若数值极大，推荐使用java.math.BigInteger，它支持任意精度整数运算，完全避免溢出问题。
示例：
BigInteger bigA = BigInteger.valueOf(Long.MAX_VALUE);
BigInteger bigB = BigInteger.valueOf(1);
BigInteger result = bigA.add(bigB); // 正确计算，无溢出
虽然BigInteger性能低于基本类型，但在精度要求高的场景中是可靠选择。
基本上就这些。关键是在设计阶段评估数据范围，合理选择类型，并在必要时加入溢出检测机制。特别是从外部接收数值输入时，不能假设数据在安全范围内。通过结合Math工具类和类型升级策略，能有效规避大多数溢出风险。
