java基本数据类型溢出时静默回绕，是补码机制的确定性行为；需在运算前拦截，而非避免，方法包括精确边界校验、升位计算、math.exact系列、biginteger等。
Java 基本数据类型本身不检测也不抛异常，溢出时直接静默回绕——这不是 bug，而是补码机制下的确定性行为。关键不是“避免溢出”，而是“在它发生前拦住”。处理思路要分场景、讲方法、看时机。
明确各类型的硬性边界
所有整数类型都用二进制补码表示，范围由位数严格决定，不能靠感觉估算：
- byte：-128 ~ 127（8 位）
- short：-32768 ~ 32767（16 位）
- int：-2147483648 ~ 2147483647（32 位）
- long：-9223372036854775808 ~ 9223372036854775807（64 位）
注意：这些是精确值，Integer.MAX_VALUE + 1 永远等于 Integer.MIN_VALUE，不会报错，也不会变 NaN。
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
避开运算过程中的隐式截断
溢出常发生在计算中间步骤，而不是赋值那一刻。即使结果存到 long，若参与运算的两个操作数都是 int，加法/乘法仍按 int 算，溢出已成事实：
- ❌ 错误写法：
int a = Integer.MAX_VALUE; long b = a + 1;→ b 实际是 -2147483648L - ✅ 正确写法：
long b = (long) a + 1;或long b = a + 1L;（强制至少一个操作数为 long） - ⚠️ 字面量别写错：
10000000000默认是 int，会编译失败；必须写10000000000L
四类实用防护手段
根据业务敏感度和性能要求选策略，不追求“一招鲜”：
-
强校验场景：用
Math.addExact()、Math.multiplyExact()等。溢出时抛ArithmeticException，适合金融、计费等零容错逻辑 -
可控范围场景：先升位再校验，例如
long result = (long)a * b;，然后判断result Integer.MAX_VALUE -
输入可约束场景：前端限制数量 ≤
Integer.MAX_VALUE / 2，后端再校验，从源头压缩组合溢出空间 -
超大数或不确定场景：直接用
BigInteger，牺牲一点性能，换绝对安全
特别注意 char 和浮点类型
它们的“溢出”逻辑不同：
-
char 是无符号 16 位，
(char)65535 + 1回绕为\u0000（即 0），不是负数 -
float/double 溢出不回绕，而是变成
Infinity或-Infinity；除零得Infinity，0.0/0.0 得NaN；可用Float.isInfinite()或Double.isNaN()检测 - boolean 和 void 无溢出概念，不参与数值运算
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
