乘法在不精确的浮点运算中总是可交换的吗？

Question

我试图理解D语言运行时中的一些代码.对于以下两件事似乎有单独的功能:

array1[] += scalar * array2[];
array1[] += array2[] * scalar;

为什么不能用一个功能来完成这些？我认为即使在不精确的浮点运算中,乘法也是可交换的.

Answer 1

我对D语言一无所知，但我很乐意回答你标题中的问题：

在不精确的浮点运算中，乘法总是可交换的吗？

直到 NaN 值的“有效负载”为止，是的。IEEE-754 浮点乘法是可交换的（加法也是如此）。如果您不知道 NaN 的有效负载是什么，请不要担心。

@R..：754 标准实际上对 NaN 的有效负载没有任何要求（有一些应该子句，但没有应），C99 也没有。为了能够围绕这个问题进行优化，编译器所需要做的就是不再进一步限制行为。 (4认同)

Answer 2

我猜不同之处仅在于函数原型 - 一个是(double, double[]),另一个是(double[], double).但结果应该是相同的.