JavaScript累加序列大数返回错误值，两求和函数结果不一致原因？

这是因为JavaScript使用64位双精度浮点数存储数字，这种类型的精度存在天然限制：它只能精确表示绝对值小于 2^53（约9007199254740992）的整数，超过这个范围后，相邻两个可精确表示的整数之间会存在间隔，数值越大间隔越大。

1. 循环累加的sum函数为什么出错？ #

当n=1e9时，循环要执行10亿次累加操作。随着sum的数值不断增大，当它超过2^53后，每次sum += i的操作都可能无法得到精确结果——因为sum和i的和可能落在两个可精确表示的浮点数之间，JavaScript会自动将其舍入到最近的可表示值。

这种微小的舍入误差经过10亿次累加后会被不断放大，最终导致结果与正确值出现明显偏差。

2. 公式法sum2为什么能得到正确结果？ #

sum2使用等差数列求和公式 n*(n+1)/2，关键在于计算顺序和数值特性：

• n=1e9是偶数，所以先计算n/2=500000000，这是一个小于2^53的精确整数；
• 再将结果乘以n+1=1000000001，得到500000000*1000000001=500000000500000000。这个数虽然大于2^53，但它可以被表示为k*2^m的形式（其中k是二进制位数不超过52位的奇数），因此双精度浮点数可以精确存储它，最终结果完全正确。

验证与解决办法 #

如果需要在大数场景下保证累加精度，可以使用JavaScript的BigInt类型，它支持任意精度的整数运算。修改sum函数如下：

function sum(n) {
  let sum = 0n; // 用BigInt初始化
  const bigN = BigInt(n);
  for (let i = 1n; i <= bigN; i++) {
    sum += i;
  }
  return sum;
}

此时调用sum(1000000000)会返回精确的500000000500000000n，与公式法结果一致。

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