integer.max_value是int最大值2147483647，用于预防溢出；需运算前主动检查，如加法用a > integer.max_value - b，乘法推荐math.multiplyexact或转long校验。
在 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 可能越界。
- 注意整数除法截断特性，需结合符号处理；更稳妥方式是使用
Math.multiplyExact(a, b)（Java 8+），它在溢出时抛ArithmeticException - 若不能用异常机制，可先转为
long计算再比较：(long) a * b > Integer.MAX_VALUE，但要注意long本身不溢出，适合做中间校验 - 对负数需分情况讨论符号组合，通常建议统一转
long比较更简洁可靠
累加循环中的边界防护
在 for 循环中递增计数器或累加和时，容易忽略上限检查。例如实现“最多累加到 MAX_VALUE”逻辑：
- 不要写
sum += value后再判断sum （利用回绕后变负的特征），这不可靠且难维护 - 应在每次加之前检查：
if (sum > Integer.MAX_VALUE - value) { throw new ArithmeticException("Overflow"); } - 若 value 可能为负，需同时考虑下溢（
Integer.MIN_VALUE），此时用Integer.MIN_VALUE - value做下界判断
替代方案：使用内置工具类
Java 8 起提供了更安全的数值操作方法，推荐优先使用：
-
Math.addExact(a, b)、Math.multiplyExact(a, b)、Math.incrementExact(a)等，溢出即抛ArithmeticException - 这些方法底层仍基于边界判断，但封装成熟、覆盖全符号组合，比手写逻辑更健壮
- 若业务允许异常流控，它们是最简明的选择；若需静默处理（如返回默认值），再自行封装带检查的工具方法
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
