为何0.1+0.2+0.3与0.3+0.2+0.1的浮点计算结果不相等？

嘿，这个问题问得特别戳中浮点数运算的“隐形坑”——你已经接近真相了，但漏了一个关键细节！

你的假设哪里错了？ #

你认为A+B+C是直接把三个精确的二进制舍入值A、B、C做精确加法，但实际上浮点数的每一次二元加法都会触发一次舍入操作，不是一次性把三个数加完再统一舍入。

具体拆解两种计算顺序的差异 #

我们把0.1、0.2、0.3的二进制舍入值分别记为A、B、C，来看两种加法顺序的实际执行过程：

1. 对于0.1+0.2+0.3，JS会按左结合性分步计算：
   • 第一步：A + B → 这个中间结果无法用二进制浮点数精确表示，会被舍入为新的浮点数D
   • 第二步：D + C → 这个结果再次可能需要舍入，得到最终值X
2. 对于0.3+0.2+0.1，同样分步计算：
   • 第一步：C + B → 这个中间结果同样无法精确表示，舍入为浮点数E（注意：D和E可能不一样，因为A+B和C+B的原始中间值不同，舍入规则作用后的结果自然有差异）
   • 第二步：E + A → 舍入后得到最终值Y

正是中间步骤的舍入差异，导致了最终X和Y不相等——本质是浮点数加法不满足结合律，而非交换律（A+B肯定等于B+A）。你看到的“顺序不同结果不同”，其实是结合分组的不同带来的差异。

用代码直观验证中间值 #

你可以运行这段代码，看看中间步骤的差异：

const A = 0.1, B = 0.2, C = 0.3;

// 打印原始值的二进制表示
console.log("0.1的二进制舍入值:", A.toString(2));
console.log("0.2的二进制舍入值:", B.toString(2));
console.log("0.3的二进制舍入值:", C.toString(2));

// 计算两种顺序的中间结果
const AB = A + B;
const CB = C + B;
console.log("\n0.1+0.2的中间结果:", AB, "（二进制：", AB.toString(2), "）");
console.log("0.3+0.2的中间结果:", CB, "（二进制：", CB.toString(2), "）");

// 最终结果
const ABC = AB + C;
const CBA = CB + A;
console.log("\n0.1+0.2+0.3 =", ABC);
console.log("0.3+0.2+0.1 =", CBA);
console.log("两者相等？", ABC === CBA);

运行后你会发现，AB和CB已经是不同的数值了，后续相加的结果自然也不一样。

内容的提问来源于stack exchange，提问作者ocomfd