Java如何处理算术表达式中超出存储范围的中间值？

Java中整数类型（包括int）的运算遵循模2^32的无符号运算规则，不管中间计算结果是否超出类型的存储范围，都会直接截断高位，仅保留低32位作为运算结果，并且不会主动抛出溢出异常（除非使用显式检查的工具方法）。

针对你给出的示例代码：

int a = 1103515245;
int x = 1013904223;
int c = 2531011;

x = (a*x + c) & 0x7FFFFFFF; // 确保x为正整数。

我们可以拆解每一步的溢出处理：

• 计算a*x：两个int值相乘的数学结果远超过int的最大值（2^31-1=2147483647），此时Java会直接取该乘积的低32位作为int类型的中间结果，高位会被自动丢弃。
• 执行加法a*x + c：这一步同样可能溢出，处理逻辑和乘法一致——直接截断低32位，得到新的int值。
• 按位与0x7FFFFFFF：这一步是人为对结果做修正，把int的最高位（符号位）清零，确保最终结果是正整数，本质是利用位运算把溢出后的负数结果转成正数范围内的有效值。

如果需要主动检测整数溢出，可以使用Java提供的Math.multiplyExact()、Math.addExact()等方法，这些方法在运算溢出时会抛出ArithmeticException，但默认的整数运算不会做这类检查，全程是静默截断处理。

内容的提问来源于stack exchange，提问作者abhimanyue