JLS似乎自相矛盾

Question

请查看Oracle规范-第5章。

这一行：

拓宽的基元转换不会丢失有关数值的整体大小的信息。

接下来，就在下面两行，这一行说震级信息可能会丢失。

从float到double的非strictfp加宽原语转换可能会丢失有关转换值的总体大小的信息。

这似乎是一个明显的矛盾；这是一个错误吗？

Answer 1

这更像是一种澄清。在浮点到双精度转换的特定情况下，除非指定strictfp，否则不能保证不会丢失信息

Answer 2

值得一提的是，JVM规范在2.11中的措辞更加清晰。4:

扩大数值转换不会丢失有关数值的整体大小的信息。事实上，从int到long和int到两倍的转换不会丢失任何信息；数字值被精确地保留。从浮点数扩大到FP-严格的两倍的转换（§2.8.2）也会精确地保留数值；然而，这种非FP-严格的转换可能会丢失关于转换值的总体大小的信息。

Answer 3

是的。从甲骨文：

嗨Bill

谢谢你的邮件。我同意以下两者之间存在矛盾：

“加宽原语转换不会丢失有关数值整体大小的信息。”

和：

"在不严格tfp的情况下，将基本元素从浮动值转换为两倍，可能会丢失有关转换值的总体大小的信息。"

在引入strictfp之前，JLS第一版中只出现了第一句话。第二句出现在JLS第二版中，作为strictfp支持的一部分，第一句应同时进行修改。在JavaSE8版本中，我将澄清，只有一些扩展的原语转换不会丢失大小信息。