可通过预判边界条件安全检测int乘法溢出：先处理0和Integer.MIN_VALUE特殊情况，再用除法反向验证absA > Integer.MAX_VALUE / absB，避免计算后溢出。
可以通过在方法中手动检查乘法运算前的边界条件，避免整数溢出后才判断，从而安全检测 int 类型乘法是否超出取值范围（即是否会在计算后发生溢出）。
核心思路：溢出前预判
Java 中 int 取值范围是 [-2³¹, 2³¹−1]，即 [-2147483648, 2147483647]。直接做乘法可能已溢出，所以不能依赖结果再判断（如 a * b > Integer.MAX_VALUE 是错的——此时乘法已溢出）。正确做法是根据操作数符号和大小，在运算前推导是否必然溢出。
- 若任一操作数为 0，结果必为 0，不会溢出
- 若两数同号（都正或都负），需检查乘积是否超过
Integer.MAX_VALUE（正）或低于Integer.MIN_VALUE（负） - 若异号，则结果为负，只需检查是否小于
Integer.MIN_VALUE - 关键技巧：用除法反向验证，例如对正数
a > 0, b > 0，若b > Integer.MAX_VALUE / a（且a != 0），则a * b必溢出
实现安全乘法检测方法
下面是一个返回 Optional<integer></integer> 的工具方法：成功时返回乘积，溢出时返回空：
import java.util.Optional;
<p>public static Optional<integer> safeMultiply(int a, int b) {
if (a == 0 || b == 0) return Optional.of(0);</integer></p><pre class="brush:php;toolbar:false;">// 处理 Integer.MIN_VALUE 的特殊情况（-2147483648）
if (a == Integer.MIN_VALUE || b == Integer.MIN_VALUE) {
if (a == Integer.MIN_VALUE && b == -1) return Optional.empty(); // (-2147483648) * (-1) = 2147483648 → 溢出
if (a == Integer.MIN_VALUE && b == 1) return Optional.of(Integer.MIN_VALUE);
if (b == Integer.MIN_VALUE && a == 1) return Optional.of(Integer.MIN_VALUE);
// 其他情况：MIN_VALUE 与 |b|≥2 相乘，绝对值 ≥ 2×2147483648 → 必溢出（因最大正数仅约 2.15e9）
return Optional.empty();
}
// 统一转为正数逻辑处理（用绝对值 + 符号分离）
boolean negative = (a Integer.MAX_VALUE || absB > Integer.MAX_VALUE) {
return Optional.empty();
}
if (absA == 0 || absB == 0) return Optional.of(0);
// 检查 absA * absB 是否超过 Integer.MAX_VALUE
if (absA > Integer.MAX_VALUE / absB) {
return Optional.empty();
}
int result = (int) (absA * absB);
return Optional.of(negative ? -result : result);}
简化版布尔检测方法（只判断是否溢出）
如果只需要“是否安全”，可返回 boolean：
public static boolean willOverflowOnMultiply(int a, int b) {
if (a == 0 || b == 0) return false;
if (a == Integer.MIN_VALUE || b == Integer.MIN_VALUE) {
return (a == Integer.MIN_VALUE && b == -1) ||
(b == Integer.MIN_VALUE && a == -1);
}
int absA = Math.abs(a);
int absB = Math.abs(b);
return absA > Integer.MAX_VALUE / absB;
}
注意：该写法隐含假设 a 和 b 非零且不为 MIN_VALUE（已单独处理），利用整数除法向下取整特性，Integer.MAX_VALUE / absB 是不超过 MAX_VALUE / absB 的最大整数，因此 absA > MAX_VALUE / absB 等价于 absA * absB > MAX_VALUE。
验证示例
调用测试：
System.out.println(safeMultiply(100000, 100000)); // Optional.empty() → 10¹⁰ > 2.15e9 System.out.println(safeMultiply(50000, 50000)); // Optional[2147483647]？不，实际是 25亿 → 溢出 → empty System.out.println(safeMultiply(46340, 46340)); // Optional[2147488280]？错！46340² = 2147395600 <p>建议搭配单元测试覆盖边界值：±1、±2、±Integer.MAX_VALUE、±Integer.MIN_VALUE、以及临界组合（如 46341×46341）。</p>
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
