Java中如何通过Integer.MAX_VALUE判断int类型数值是否达到边界溢出？

本文共计807个文字，预计阅读时间需要4分钟。

在Java中，`Integer.MAX_VALUE`是`int`类型能表示的最大正整数（值为2147483647）。它常用于防止整数运算溢出导致的错误结果——例如加法、乘法或累加操作。直接依赖运行时溢出行为是不可靠的，因为Java的`int`运算会静默地回绕（如`Integer.MAX_VALUE + 1`得到`Integer.MIN_VALUE`，不会抛出异常）。因此，在进行运算前主动检查是否越界是必要的。

加法溢出判定

两个正整数相加可能超过 Integer.MAX_VALUE。安全做法是：若 a > Integer.MAX_VALUE - b，则 a + b 必然溢出。

• 该条件等价于 a + b > Integer.MAX_VALUE，但避免了实际执行加法
• 仅适用于 a ≥ 0 且 b ≥ 0 的情况；若含负数，需额外判断符号和绝对值
• 示例：int a = 2147483640; int b = 10; → Integer.MAX_VALUE - b == 2147483637，而 a == 2147483640 > 2147483637，判定溢出

乘法溢出判定

乘法更容易溢出，尤其当两数都较大时。通用思路是：若 b != 0 且 a > Integer.MAX_VALUE / b（整数除法向下取整），则 a * b 可能越界。