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

Question

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

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

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

Answer 1

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

Is multiplication always commutative in inexact floating point arithmetic?

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