Fortran 中数值运算中自动类型/类型转换的可移植性

问：

根据 Fortran 标准，如果数值运算的操作数具有不同的数据类型，则结果值具有由操作数确定的类型/类型，具有更高的十进制精度。在计算操作之前，首先将具有较低十进制精度的操作数转换为精度较高的 kind/type。

现在，使用高精度数据类型/类型意味着对有效数字的一定水平具有准确性，但类型/类型转换似乎并不能保证这些事情¹。出于这个原因，我避免混合使用单精度和双精度实数。

但是，这是否意味着应该不惜一切代价避免自动类型/类型转换？例如，我会毫不犹豫地写出 where both 和 are reals（同一种），但指数是一个整数。x = y**2xy

让我们将这个问题的范围限制在两个操作数之间的单个操作的结果。我们不考虑在多个值之间进行运算的方程的结果，而其他问题可能会悄悄出现。

我们还假设我们正在使用便携式类型/种类系统。例如，在下面的代码中用于定义分配给双精度实值的种类。selected_real_kind

然后，我有两个关于在两个操作数之间进行类型/种类转换的数值表达式的问题：

• 在实践中，它是“便携式”的吗？对于使用来自不同编译器的自动类型/种类转换的操作，我们是否可以期望相同的结果？

• 如果较低精度的操作数仅限于整数或整数实数，它是否“准确”（和“可移植”）？为了清楚这一点，我们是否可以总是假设，对于所有编译器？如果是这样，那么我们是否可以总是假设简单的表达式（例如）是真的，因此转换既准确又可移植？0==0.0d0, 1==1.0d0, 2==2.0d0, ... (1 - 0.1230d0) == (1.0d0 - 0.1230d0)

举个简单的例子，从整数到双精度实数的自动转换（如下面的代码所示）是否准确和/或可移植？

program main
  implicit none
  integer, parameter :: dp = selected_real_kind(p=15)
  print *, ((42 - 0.10_dp) == (42.0_dp - 0.10_dp))    
end program

我已经使用 gfortran 和 ifort 进行了测试，使用不同的操作数和运算，但只要我将转换限制为整数或整数实数，还没有看到任何引起关注的内容。我在这里遗漏了什么，还是只是透露了我的非 CS 背景？

_{¹例如，根据这些英特尔 Fortran 文档，转换为实数类型的整数具有用零填充的小数。对于单精度实数到更高精度实数的转换，首先将转换后的高精度操作数的低阶位设置为零，以填充额外的小数位。因此，例如，当具有非零小数部分（例如 1.2）的单精度实操作数转换为双精度时，转换不会自动提高值的精度 - 例如，1.2 不会变成 1.200000000000000000d0，而是变成类似于 1.2000000047683758d0 的东西。 这实际上有多重要可能取决于应用程序。}