Math.multiplyExact通过事前数学判断检测int/long乘法溢出，越界时抛ArithmeticException；支持int/long类型，常数时间无异常开销，适用于金额计算、数组索引等强一致性场景。
Math.multiplyExact 通过在乘法结果超出 int 或 long 取值范围时，主动抛出 ArithmeticException 来检测溢出，而不是静默截断或返回错误值。
底层原理：基于符号与边界判断
该方法不依赖 try-catch 包裹普通乘法，而是先做数学推导，判断两个操作数相乘是否必然越界。例如对 int 版本：
- 若任一操作数为 0，结果必为 0，不会溢出；
- 若两数同号（都正或都负），检查
a > 0 && b > 0 && a > Integer.MAX_VALUE / b这类条件（注意整除截断问题，实际用更严谨的不等式）； - 若异号，则转换为对绝对值的边界判断，避免负数除法带来的舍入干扰。
这些判断在常数时间内完成，无额外对象分配，比捕获异常更轻量——异常只在真正溢出时才抛出。
使用方式：直接替换普通乘法
把可能溢出的 * 替换为 multiplyExact 即可，例如：
立即学习“Java免费学习笔记（深入）”；
-
int result = Math.multiplyExact(a, b);—— 溢出则抛ArithmeticException； -
long result = Math.multiplyExact(x, y);—— 对应 long 版本，逻辑类似； - 不能用于 float/double，该方法仅支持 int 和 long。
和普通乘法、try-catch 的关键区别
Java 中普通 * 运算始终静默回绕（wraparound），比如 Integer.MAX_VALUE * 2 得到负数；而 multiplyExact 提供明确的失败信号：
- 它不是“事后检测”，而是“事前预防性判断”+“必要时抛异常”；
- 相比手动写 if 判断边界，它封装了所有边界情况（包括最小值、除零、符号组合），不易出错；
- 比起用 try-catch 包裹
*（因异常开销大且语义不清），它更高效、意图更清晰。
适用场景：需要强一致性的计算
适合金额计算、数组索引推导、位移步长、协议长度校验等不容许静默溢出的场合：
- 比如计算二维数组偏移：
int offset = Math.multiplyExact(row, width) + col;，避免因 row×width 溢出导致越界访问； - 解析二进制协议时验证字段长度总和是否超过 int 表示范围；
- 工具类中提供安全算术方法，暴露明确的失败契约。
