Java中float转double是否存在精度损失？为何全1尾数的float转double后末位变为0？

嘿，我来给你把这个问题掰扯明白！你遇到的这个“末位变0”的情况，核心原因其实是你创建的这个float是非规格化数，不是咱们平时见得多的规格化float，这才是关键。

咱们一步步拆解来看：

• 先搞懂你生成的float到底是什么
  你用Float.intBitsToFloat((1 << 23) - 1)生成的这个float，对应IEEE 754的二进制结构是：

  • 符号位：0（正数）
  • 指数位：8个0（全0）
  • 尾数位：23个1（全1）
    按照IEEE 754的规则，指数位全0的float属于非规格化数，它的数值计算方式和规格化数不一样：规格化float的指数是「指数位数值 - 127」，尾数是「1 + 尾数位的二进制小数」；而非规格化float的指数固定是-126，尾数是「0 + 尾数位的二进制小数」。所以这个float的实际值是 (2^23 - 1) * 2^(-126 - 23)，也就是正的非规格化float的最大值。

• 为什么转成double后末位会变0？
  double的IEEE 754结构是1位符号位+11位指数位+52位尾数位，它的规格化指数范围是-1022到1023，非规格化指数固定是-1022。你的这个float值远大于double非规格化数的最大值，所以转double时会被自动转换成规格化的double数。

咱们把这个数值变形一下就能看明白：
(2^23 - 1) * 2^-149 = [(2^23 - 1)/2^22] * 2^-127 = (2 - 2^-22) * 2^-127 = (1 + (1 - 2^-22)) * 2^-127
这就刚好符合规格化double的形式：符号位 * (1 + 尾数小数) * 2^(指数值)。这里的尾数小数是1 - 2^-22，对应的二进制是22个连续的1，剩下的52-22=30位都得补0——这就是你看到“末位变为0”的原因！转成规格化double后，尾数的有效部分只有前22个1，后面全是0，最后一位自然是0。

• 那float转double到底会不会有精度损失？
  别担心，对于规格化的float来说，转double确实不会有精度损失，因为double的52位尾数完全能装下float的23位尾数，直接补0就行，指数也能正确映射。但你的情况是非规格化float，转double时因为数值落在了double的规格化范围内，所以表示形式变了，但数值本身是完全精确的——你可以自己验证一下，比如加两行代码：

double d = (double) f;
System.out.println(f == d); // 输出true，说明两个值完全相等

这就证明没有精度损失，只是表示形式的变化让你觉得末位被翻转了而已。

备注：内容来源于stack exchange，提问作者Harsh Motwani