java 对整数运算中的中间溢出不报错也不截断，而是严格按二进制补码规则保留低有效位，结果可预测且符合语言规范。
java 对整数运算中的中间溢出不报错也不截断，而是严格按二进制补码规则保留低有效位，结果可预测且符合语言规范。
在 Java 中，当执行长算术表达式（如 a * x + c）时，所有中间计算均基于操作数的实际类型进行，不会自动提升至更大范围类型（除非发生明确的类型提升规则，如 byte/short/char 参与运算时提升为 int）。关键在于：Java 明确规定整数溢出不是错误，而是定义良好的行为——即对结果取模 $2^n$（$n$ 为该类型的位宽），等价于仅保留二进制表示的低 $n$ 位。
以问题中的代码为例：
int a = 1103515245; int x = 1013904223; int c = 2531011; x = (a * x + c) & 0x7FFFFFFF;
- a * x 是两个 int 相乘（32 位有符号整数），其数学积远超 int 范围（约 $1.12 \times 10^{18}$，而 int 最大值仅为 $2^{31}-1 \approx 2.15 \times 10^9$）；
- 根据 JLS §15.17.1，乘法溢出时，结果等于数学积对 $2^{32}$ 取模后的 32 位二进制补码值；
- 同理，+ c 也遵循 JLS §15.18.2，加法溢出同样保留低 32 位；
- 最终 (a * x + c) & 0x7FFFFFFF 进一步将结果限制为 31 位非负整数（最高位置零），确保 x 始终为正。
✅ 这是有意设计，而非 bug：Java 将 int 运算建模为模 ^{32}$ 的环运算，因此整个表达式是确定性、可移植、可复现的——无论运行在 x86、ARM 或任何 JVM 实现上，结果完全一致。
⚠️ 注意事项：
立即学习“Java免费学习笔记（深入）”；
- 不要依赖 long 自动介入：int 表达式中即使结果会溢出，也不会隐式转为 long；若需避免溢出，应显式提升操作数类型，例如 (long)a * x + c；
- & 0x7FFFFFFF 并非防溢出机制，而是位掩码操作，它作用于已溢出的 int 结果之上；
- Integer.MAX_VALUE 和 Integer.MIN_VALUE 的边界行为完全由补码定义保障，无需额外检查；
- 与 C/C++ 不同（有符号溢出为未定义行为），Java 的溢出语义是语言强制保证，编译器和 JIT 均不可优化掉溢出逻辑。
? 总结：Java 不“处理”溢出，而是精确定义溢出——它把整数类型视为固定宽度的模运算域。开发者应据此编写健壮算法（如线性同余生成器 LCG），而非假设溢出会抛异常或被静默修正。
