java整数溢出本质是回绕而非报错，关键在理解自动提升时机（如byte相加先升int）、识别静默陷阱（如二分查找中点计算），并用math.addexact、范围判断或升格类型来防御。
Java 运算符边界值溢出不是“会不会出错”的问题，而是“什么时候、为什么、怎么暴露错误”的问题。面试官问这个，重点不在背规则，而在看你是否真正理解类型运算的底层链条：字面量 → 类型推导 → 自动提升 → 实际计算 → 截断/回绕 → 赋值检查。
看清自动提升的真实发生时机
很多人误以为 byte b1 = 100, b2 = 100; byte b3 = (byte)(b1 + b2); 中的 (byte) 是在“防止溢出”，其实完全相反——b1 + b2 在编译期就被强制提升为 int 运算，结果是 200（int 类型），再强转成 byte 才变成 -56。关键点：
- 提升只发生在表达式运算时，不改变变量原始类型
- 哪怕两个
byte相加，操作数也先升为int，再计算 - 如果写成
byte b3 = b1 + b2;，编译直接报错：类型不兼容，因为右侧是int
识别静默溢出的典型陷阱场景
Java 的整数溢出不抛异常，而是回绕（如 Integer.MAX_VALUE + 1 → Integer.MIN_VALUE），最容易在以下情况中“悄悄出错”：
-
二分查找中的中点计算：
int mid = (left + right) / 2;—— 当left和right都接近MAX_VALUE时，left + right先溢出变负，再除以 2 得到错误下标 -
累加循环用
byte或short做计数器：每次++都隐式提升→计算→截断，几步就回绕 -
错误的类型转换顺序：
long x = (long)(Integer.MAX_VALUE + 1);—— 括号内先以int运算并溢出，再转long，结果仍是-2147483648L
写出防御性代码的三种实用方式
面试时能手写出来，比讲理论更有说服力：
-
用带检查的工具方法：如
Math.addExact(a, b)或Math.multiplyExact(a, b)，溢出时明确抛ArithmeticException，便于快速定位 -
提前范围判断：比如乘法前判断
if (a > 0 && b > Integer.MAX_VALUE / a)，避免真实计算；注意处理负数和零的边界 -
升格中间类型：把
int sum = 0;改成long sum = 0L;，尤其适用于计数、时间差、索引偏移等易累积场景
根据业务场景选对类型，不是越大越好
盲目换 long 或 BigInteger 不是解题终点，要结合用途做取舍：
- 主键、订单号、手机号等“数字字符串”，本质不参与运算 → 存为
String最安全，杜绝类型误用 - 金额、精度敏感计算 → 用
BigDecimal（注意构造函数别用 double 字面量） - 密码学、超大阶乘、组合数 →
BigInteger是唯一选择，它无溢出、无回绕、语义清晰 - 普通循环计数、数组索引、状态码 →
int仍是最优，够用且高效，过度升级反而引入冗余
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
