Java中为何(int)(3434*2353253.0)结果为Integer.MAX_VALUE而非溢出值？

首先明确两个关键差异：整数运算溢出和浮点数转整数类型的规则是完全不同的机制，你的问题核心是混淆了这两者的行为。

1. 先计算浮点数乘积的实际值 #

代码中3434 * 2353253.0是浮点数运算：

• 整数3434会被自动提升为double类型，再和2353253.0相乘
• 精确计算乘积结果为：3434 * 2353253 = 8081070802，这个值远大于int类型的最大值2147483647（即Integer.MAX_VALUE）
• 由于8081070802小于double能精确表示的最大整数（2^53，约9e15），所以这个乘积在double中是精确存储的8081070802.0

2. double转int的规则（而非整数溢出） #

Java中当把一个double值强制转换为int时，遵循以下规则：

• 如果double值大于Integer.MAX_VALUE，转换结果直接是Integer.MAX_VALUE
• 如果double值小于Integer.MIN_VALUE，转换结果直接是Integer.MIN_VALUE
• 只有当double值在int的取值范围内时，才会直接截断小数部分得到对应的整数

而你预期的整数溢出行为，只会发生在纯整数运算中（比如两个int直接相乘：int a = 3434 * 2353253），此时因为超出int范围，会按照二进制补码的循环规则得到负数结果-508863790。

总结 #

你的代码是先做浮点数运算得到远大于int最大值的结果，再触发浮点数转整数的截断规则，所以最终得到Integer.MAX_VALUE；而你预期的溢出是纯整数运算的行为，两者场景完全不同。

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