Java基本数据类型算术溢出不抛异常而静默回绕，应使用Math类exact方法（如addExact）检测并抛ArithmeticException，或手动判断符号位变化；小类型运算先提升为int，转回时需额外范围检查。
Java 基本数据类型（如 int、long）在算术运算中发生溢出时，**不会抛异常，而是静默回绕（wrap around）**，比如 Integer.MAX_VALUE + 1 得到 Integer.MIN_VALUE。因此不能靠结果“看起来不合理”来判断，必须在运算前或运算后用明确的检查逻辑。
使用 JDK 内置的溢出检查方法（推荐）
从 Java 8 开始，Math 类为 int 和 long 提供了带溢出检测的静态方法，它们在溢出时抛出 ArithmeticException：
-
Math.addExact(a, b)—— 检查加法溢出 -
Math.subtractExact(a, b)—— 检查减法溢出 -
Math.multiplyExact(a, b)—— 检查乘法溢出 -
Math.incrementExact(a)、Math.decrementExact(a)、Math.negateExact(a)
✅ 优点：语义清晰、无需手写边界判断、JVM 可能内联优化。
❌ 缺点：抛异常有开销，若频繁溢出不适用；不支持 short/byte（需先提升为 int）。
手动判断加/减法是否溢出（无异常版）
利用符号位变化原理判断，适用于不想抛异常、只需布尔结果的场景：
立即学习“Java免费学习笔记（深入）”；
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
-
加法溢出判断（int）：
同号相加才可能溢出。若a > 0 && b > 0，但结果r <= 0→ 正溢出；
若a < 0 && b < 0，但r >= 0→ 负溢出。 -
减法溢出判断（int）：
等价于a + (-b)，注意Integer.MIN_VALUE取负会溢出，所以先单独判断b == Integer.MIN_VALUE；其余情况按加法逻辑判断a和-b。
示例（安全加法）：
public static boolean willAddOverflow(int a, int b) {
if (a > 0 && b > 0) return Integer.MAX_VALUE - a < b;
if (a < 0 && b < 0) return Integer.MIN_VALUE - a > b;
return false;
}乘法溢出的手动检查（较复杂，慎用手写）
乘法范围更难直接推导，常见安全做法：
- 用
Math.multiplyExact（最简明） - 升到更大类型临时计算再比较：
long product = (long) a * b;
然后判断product < Integer.MIN_VALUE || product > Integer.MAX_VALUE - 提前按符号分情况，用除法反推（如
b != 0 && a > Integer.MAX_VALUE / b），但需小心除零和MIN_VALUE/-1等边界
注意：char / short / byte 的隐式提升与溢出
这些类型参与运算时自动提升为 int，所以溢出检查对象是 int 结果，而非原类型。例如：
short a = Short.MAX_VALUE; // 32767 short b = 1; int result = a + b; // 32768 → 正常 int，不溢出 // 但若强制转回 short：(short) result → -32768（回绕）
因此，若最终要存回小类型，需额外检查是否在目标范围内：if (result < Short.MIN_VALUE || result > Short.MAX_VALUE) { /* 溢出 */ }
不复杂但容易忽略：溢出检查必须在赋值或转型前完成，依赖运行时结果判断往往已晚。
