Java 中基本数据类型范围超出怎么用运算符检查溢出-java教程-PHP中文网

java基本数据类型算术溢出不抛异常而静默回绕，应使用math类exact方法（如addexact）检测并抛arithmeticexception，或手动判断符号位变化；小类型运算先提升为int，转回时需额外范围检查。

java 中基本数据类型范围超出怎么用运算符检查溢出

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）。

手动判断加/减法是否溢出（无异常版）

利用符号位变化原理判断，适用于不想抛异常、只需布尔结果的场景：

加法溢出判断（int）：
同号相加才可能溢出。若 a > 0 && b > 0，但结果 r → 正溢出；<br>若 <code>a ，但 <code>r >= 0 → 负溢出。
减法溢出判断（int）：
等价于 a + (-b)，注意 Integer.MIN_VALUE 取负会溢出，所以先单独判断 b == Integer.MIN_VALUE；其余情况按加法逻辑判断 a 和 -b。

示例（安全加法）：

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

public static boolean willAddOverflow(int a, int b) {
    if (a > 0 && b > 0) return Integer.MAX_VALUE - a  b;
    return false;
}

乘法溢出的手动检查（较复杂，慎用手写）

乘法范围更难直接推导，常见安全做法：

用 Math.multiplyExact（最简明）
升到更大类型临时计算再比较：
long product = (long) a * b;
然后判断 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.MAX_VALUE) { /* 溢出 */ }

不复杂但容易忽略：溢出检查必须在赋值或转型前完成，依赖运行时结果判断往往已晚。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南