将double强制转换为另一个数字类型

Question

有一些东西让我困惑，我没有找到关于VM规范的太多信息。这有点晦涩，如果有人能给我解释一下就好了。

这几行代码......

double myTest = Double.MAX_VALUE;

System.out.println("1. float: " + (float)myTest);
System.out.println("2. int: " + (int)myTest);
System.out.println("3. short: " + (short)myTest);
System.out.println("4. byte: " + (byte)myTest);

..... 生成此输出：

1. 浮动：无限
2. int： 2147483647
3. 短：-1
4. 字节：-1

byte、short和int是8位、16位和32位，带有两个补码float和double是32位和64位的IEEE 754（参见此处）。

根据我的理解，最大值的双意味着尾数的所有位（52位）都切换到1。因此，转换为短或字节返回-1，即所有位都切换为1，这并不奇怪。它似乎保持'尾'的双，使其适合8位字节或16位短。

令我惊讶的是对int的强制转换，以及在较小程度上对浮动的强制转换。如何可能得到"2. int： 2147483647"这是0x7FFFFFFF，最大值而短和字节3.和4.是-1？

对浮动的强制转换也很奇怪。如果保留了myTest尾部的32位，那么它不应该生成一个NaN吗？

Answer 1

JLS在第5.1.3节中详细说明了缩小原始转换的规则。规则取决于目标类型。

float：

从二进制到浮点的缩小基元转换受IEEE 754舍入规则（§4.2.4）管辖。这种转换可能会失去精度，但也会失去范围，导致非零倍数的浮点零和有限倍数的浮点无穷大。双NaN转换为浮点NaN，双无穷大转换为同符号浮点无穷大。

int和long：

以下两种情况之一必须为真：

• ...
• 该值必须过大（大幅度或正无穷大的正值），第一步的结果是int或long类型的最大可表示值。

html" target="_blank">字节，字符和短：

如果目标类型为byte、char或short，则转换分两步进行。首先，如上所述，double被转换为long。然后，将long转换为最终类型，如下所示：

有符号整数到整数类型T的缩小转换简单地丢弃了除n个最低阶位之外的所有位，其中n是用于表示类型T的位数。除了可能丢失关于数值大小的信息之外，这可能导致结果值的符号与输入值的符号不同。