我应该使用'严格的tfp'修饰符时，将浮点数转换为双？

Question

如果我想写从float到double的转换方法。

有没有可能两者会给出不同的结果？

如果我不关心平台一致性，我应该使用哪个版本？

如果我需要它在不同的平台上保持一致，该怎么办？

  double f2d(float x) {
    return (double) x;
  }

或：

  strictfp double f2d(float x) {
    return (double) x;
  }

JLS 5.1。2:

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

为什么这种转换会丢失信息？

Answer 1

严格的tfp将使浮动到双重转换没有区别。原因在Java语言规范4.2.3中。浮点类型、格式和值。特别是：

注意表4.2中的约束条件。3-A的设计使得浮点值集的每个元素都必须也是浮点扩展指数值集、双值集和双扩展指数值集的元素。

由于float值集的每个元素也是double值集的元素，因此float到double的转换将是精确的，无论它是否严格。