为什么 CLR 会溢出 Int32.MaxValue ->单身-> int32，哪里的JVM没有？

Question

我在将 Int32.MaxValue 往返到 System.Single 中时遇到了意外结果：

Int32 i = Int32.MaxValue;
Single s = i;
Int32 c = (Int32)s;

Debug.WriteLine(i); // 2147483647
Debug.WriteLine(c); // -2147483648

我意识到它一定溢出了，因为 Single尾数中没有足够的位来保存 Int32 值，因此会向上舍入。当我在 IL 中将 conv.r4 更改为 conv.r4.ovf 时，会引发 OverflowExcpetion。很公平...

但是，当我调查这个问题时，我用 java 编译了这段代码并运行它并得到以下结果：

int i = Integer.MAX_VALUE;
float s = (float)i;
int c = (int)s;

System.out.println(i);  // 2147483647
System.out.println(c);  // 2147483647

我对 JVM 不太了解，但我想知道它是如何做到这一点的。这似乎并不令人惊讶，但在四舍五入到 2.14748365E9 后它是如何保留多余的数字的呢？它是否保留某种内部表示形式，然后在转换回 int 时替换它？或者它只是向下舍入到 Integer.MAX_VALUE 以避免溢出？

Answer 1

这种情况由 §5.1.3< 明确处理Java 语言规范的 /a>：

a 的缩小转换
浮点数转整数
类型 T 需要两个步骤：

1. 第一步，浮点数转换
   要么是 long，如果 T 很长，要么是
   int，如果 T 是 byte、short、char 或
   int，如下：
   • 如果浮点数为 NaN（第 4.2.3 节），则结果为
     转换的第一步是 int
     或长 0。
   • 否则，如果浮点数不是
     无穷大，浮点值为
     四舍五入为整数值 V，
     使用 IEEE 754 向零舍入
     向零舍入模式（第 4.2.3 节）。然后
     有两种情况：
     • 如果T很长，并且这个整数值可以表示为
       long，然后是第一个的结果
       step 是长值 V。
     • 否则，如果这个整数值可以表示为 int，
       那么第一步的结果就是
       int 值 V。
   • 否则，必须满足以下两种情况之一：
     • 该值必须太小（大幅度的负值
       或负无穷大），以及结果
       第一步的值是最小的
       int 类型的可表示值或
       长。
     • 该值必须太大（大幅度的正值
       或正无穷大），以及结果
       第一步是最大的
       int 类型的可表示值或
       长。