Wepress

Appearance

说说 Javascript 为什么会存在数字精度丢失的问题，以及如何进行解决？ ​

参考答案： ​

一、场景复现 ​

一个经典的面试题

js
0.1 + 0.2 === 0.3 // false

为什么是false呢?

先看下面这个比喻

比如一个数 1÷3=0.33333333......

3会一直无限循环，数学可以表示，但是计算机要存储，方便下次取出来再使用，但0.333333...... 这个数无限循环，再大的内存它也存不下，所以不能存储一个相对于数学来说的值，只能存储一个近似值，当计算机存储后再取出时就会出现精度丢失问题

二、浮点数 ​

“浮点数”是一种表示数字的标准，整数也可以用浮点数的格式来存储

我们也可以理解成，浮点数就是小数

在JavaScript中，现在主流的数值类型是Number，而Number采用的是IEEE754规范中64位双精度浮点数编码

这样的存储结构优点是可以归一化处理整数和小数，节省存储空间

对于一个整数，可以很轻易转化成十进制或者二进制。但是对于一个浮点数来说，因为小数点的存在，小数点的位置不是固定的。解决思路就是使用科学计数法，这样小数点位置就固定了

而计算机只能用二进制（0或1）表示，二进制转换为科学记数法的公式如下：

其中，a的值为0或者1，e为小数点移动的位置

举个例子：

27.0转化成二进制为11011.0 ，科学计数法表示为：

前面讲到，javaScript存储方式是双精度浮点数，其长度为8个字节，即64位比特

64位比特又可分为三个部分：

  • 符号位S：第 1 位是正负数符号位（sign），0代表正数，1代表负数
  • 指数位E：中间的 11 位存储指数（exponent），用来表示次方数，可以为正负数。在双精度浮点数中，指数的固定偏移量为1023
  • 尾数位M：最后的 52 位是尾数（mantissa），超出的部分自动进一舍零

如下图所示：

举个例子：

27.5 转换为二进制11011.1

11011.1转换为科学记数法 [公式]

符号位为1(正数)，指数位为4+，1023+4，即1027

因为它是十进制的需要转换为二进制，即 10000000011，小数部分为10111，补够52位即： 1011 1000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000`

所以27.5存储为计算机的二进制标准形式（符号位+指数位+小数部分 (阶数)），即下面所示

0+10000000011+1011 1000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000`

二、问题分析 ​

再回到问题上

js
0.1 + 0.2 === 0.3 // false

通过上面的学习，我们知道，在javascript语言中，0.1 和 0.2 都转化成二进制后再进行运算

js
// 0.1 和 0.2 都转化成二进制后再进行运算
0.00011001100110011001100110011001100110011001100110011010 +
0.0011001100110011001100110011001100110011001100110011010 =
0.0100110011001100110011001100110011001100110011001100111

// 转成十进制正好是 0.30000000000000004

所以输出false

再来一个问题，那么为什么x=0.1得到0.1？

主要是存储二进制时小数点的偏移量最大为52位，最多可以表达的位数是2^53=9007199254740992，对应科学计数尾数是 9.007199254740992，这也是 JS 最多能表示的精度

它的长度是 16，所以可以使用 toPrecision(16) 来做精度运算，超过的精度会自动做凑整处理

js
.10000000000000000555.toPrecision(16)
// 返回 0.1000000000000000，去掉末尾的零后正好为 0.1

但看到的 0.1 实际上并不是 0.1。不信你可用更高的精度试试：

js
0.1.toPrecision(21) = 0.100000000000000005551

如果整数大于 9007199254740992 会出现什么情况呢？

由于指数位最大值是1023，所以最大可以表示的整数是 2^1024 - 1，这就是能表示的最大整数。但你并不能这样计算这个数字，因为从 2^1024 开始就变成了 Infinity

> Math.pow(2, 1023)
8.98846567431158e+307

> Math.pow(2, 1024)
Infinity

那么对于 (2^53, 2^63) 之间的数会出现什么情况呢？

  • (2^53, 2^54) 之间的数会两个选一个，只能精确表示偶数
  • (2^54, 2^55) 之间的数会四个选一个，只能精确表示4个倍数
  • ... 依次跳过更多2的倍数

要想解决大数的问题你可以引用第三方库 bignumber.js，原理是把所有数字当作字符串，重新实现了计算逻辑，缺点是性能比原生差很多

小结 ​

计算机存储双精度浮点数需要先把十进制数转换为二进制的科学记数法的形式，然后计算机以自己的规则{符号位+(指数位+指数偏移量的二进制)+小数部分}存储二进制的科学记数法

因为存储时有位数限制（64位），并且某些十进制的浮点数在转换为二进制数时会出现无限循环，会造成二进制的舍入操作(0舍1入)，当再转换为十进制时就造成了计算误差

三、解决方案 ​

理论上用有限的空间来存储无限的小数是不可能保证精确的，但我们可以处理一下得到我们期望的结果

当你拿到 1.4000000000000001 这样的数据要展示时，建议使用 toPrecision 凑整并 parseFloat 转成数字后再显示，如下：

parseFloat(1.4000000000000001.toPrecision(12)) === 1.4  // True

封装成方法就是：

js
function strip(num, precision = 12) {
  return +parseFloat(num.toPrecision(precision));
}

对于运算类操作，如 +-*/，就不能使用 toPrecision 了。正确的做法是把小数转成整数后再运算。以加法为例：

js
/**
 * 精确加法
 */
function add(num1, num2) {
  const num1Digits = (num1.toString().split('.')[1] || '').length;
  const num2Digits = (num2.toString().split('.')[1] || '').length;
  const baseNum = Math.pow(10, Math.max(num1Digits, num2Digits));
  return (num1 * baseNum + num2 * baseNum) / baseNum;
}

最后还可以使用第三方库，如Math.js、BigDecimal.js

题目要点： ​

原因 ​

  1. IEEE 754标准：JavaScript使用IEEE 754标准的双精度浮点数格式（64位）来表示数字，这意味着某些十进制小数无法精确表示成二进制小数。

  2. 精度限制：由于浮点数的表示方式，JavaScript中能精确表示的数字有限。当数字很大或者很小，或者进行复杂运算时，精度丢失尤为明显。

  3. 运算误差：在进行浮点数运算时，由于表示上的不精确，会产生累积误差。

解决方法 ​

  1. 使用整数：如果问题允许，尽量使用整数进行计算，避免使用浮点数。

  2. 固定小数点：对于需要精确的小数计算，可以考虑将数值转换为固定的小数点表示，例如通过乘以一个基数（如100或1000）。

  3. 使用第三方库：使用如decimal.js或big.js等第三方库，这些库提供了更精确的十进制或任意精度浮点数运算。

  4. 避免敏感操作：避免进行可能导致精度问题的敏感操作，如减法和模运算。

  5. 四舍五入：在显示或使用前对数字进行四舍五入处理。

  6. 科学记数法：在适当的情况下，使用科学记数法表示大数字。

  7. 避免不必要的运算：减少不必要的运算，尤其是在循环中的浮点运算。

  8. 使用内置方法：利用JavaScript内置的Math对象的方法，如Math.round(), Math.floor(), Math.ceil()进行数值处理。

示例代码 ​

javascript
// 避免使用浮点数进行敏感计算
const a = 0.1 + 0.2;
console.log(a); // 0.30000000000000004 而不是精确的 0.3

// 使用整数或固定小数点
const b = (0.1 * 10 + 0.2 * 10) / 10; // 3
console.log(b); // 0.3

// 使用第三方库 decimal.js
const Decimal = require('decimal.js');
const sum = new Decimal('0.1').plus(0.2);
console.log(sum.toDecimalPlaces(1)); // '0.3'