安全地将“float”转换为“double”，而不损失精度

Question

我有下面的抓耳挠腮，演示在jshell11.0.12和17.0.1这里

jshell> 13.9f
$1 ==> 13.9

jshell> 13.9
$2 ==> 13.9

jshell> (double) 13.9f
$3 ==> 13.899999618530273

两个版本中的简单编译类中都会发生相同的情况

strictfp public class Test {

    public strictfp static void main(String[] args) {
        System.out.format("%s%n", (double) 13.9f);
        System.out.format("%s%n", 13.9f);
    }

}

╰─➤  java Test      
13.899999618530273
13.9

尽管17警告不再需要strictfp

warning: [strictfp] as of release 17, all floating-point expressions are evaluated strictly and 'strictfp' is not required

JLS在第5.1节中说明了这一点。2.

A widening primitive conversion does not lose information about the overall
magnitude of a numeric value in the following cases, where the numeric value is
preserved exactly:
• from an integral type to another integral type
• from byte, short, or char to a floating-point type
• from int to double
• from float to double

14年，在项目清单之后，它包含以下内容

A widening primitive conversion from float to double that is not strictfp may
lose information about the overall magnitude of the converted value.

根据我的阅读，这是实现中的错误？我发现执行此转换的唯一可靠方法是Double.parseDouble（Float.toString（13.9f））。

Answer 1

根据我的理解，这是实现中的一个bug吗？

不，这是你期望中的错误。您看到的double值与float值完全相同。精确值为13.899996185302734375。

这与“最接近13.9的double值”不同，后者为13.900000000000003552713678800500929355621337890625。

您正在将值13.899996185302734375指定给双精度值，然后打印字符串表示形式-即13.89999618530273，因为这样的精度足以将其与其他双精度值完全区分开来。如果打印13.9，那将是一个错误，因为有一个接近13.9的双值，即13.9000000000000035552713678800500929355621337890625。