JavaScript浮点数陷阱及解法

317人已阅读 2018-08-22 18:10:13
导读 其实很多人都知道浮点数误差的问题,但是具体的它就说不清楚了。
UI设计培训 java开发培训 大数据开发培训 web前端开发培训 ocp认证培训 产品经理培训 交互设计培训 MYSQIOC培训 平面设计培训 网页设计培训 ps培训 数据分析挖掘培训 python人工智能培训

新闻详情

2018-08-22 18:10:13

JavaScript浮点数陷阱及解法

  其实很多人都知道浮点数误差的问题,但是具体的它就说不清楚了。

  众所周知,JavaScript浮点数运算时经常遇到会0.000000001和0.999999999这样奇怪的结果,如0.1+0.2=0.30000000000000004、1-0.9=0.09999999999999998,很多人知道这是浮点数误差问题,但具体就说不清楚了。本文帮你理清这背后的原理以及解决方案,还会向你解释JS中的大数危机和四则运算中会遇到的坑。
  浮点数的存储
  首先要搞清楚JavaScript如何存储小数。和其它语言如Java和Python不同,JavaScript中所有数字*括整数和小数都只有一种类型—Number。它的实现遵循IEEE 754标准,使用64位固定长度来表示,也就是标准的double双精度浮点数(相关的还有float 32位单精度)。计算机组成原理中有过详细介绍,如果你不记得也没关系。
  这样的存储结构优点是可以归一化处理整数和小数,节省存储空间。
  64位比特又可分为三个部分:
  符号位S:第1位是正负数符号位(sign),0代表正数,1代表负数
  指数位E:中间的11位存储指数(exponent),用来表示次方数
  尾数位M:最后的52位是尾数(mantissa),超出的部分自动进一舍零
  JavaScript浮点数陷阱及解法
  实际数字就可以用以下公式来计算:
  $V=(-1)^{S}\times M\times 2^{E}$
  注意以上的公式遵循科学计数法的规范,在十进制是为0M=001。E是一个无符号整数,因为长度是11位,取值范围是0~2047。但是科学计数法中的指数是可以为负数的,所以再减去一个中间数1023,[0,1022]表示为负,[1024,2047]表示为正。如4.5的指数E=1025,尾数M为001。
  最终的公式变成:
  $V=(-1)^{S}\times(M+1)\times 2^{E-1023}$
  所以4.5最终表示为(M=001、E=1025):
  JavaScript浮点数陷阱及解法
  (图片由此生成http://www.binaryconvert.com/convert_double.html)
  下面再以0.1例解释浮点误差的原因,0.1转成二进制表示为0.0001100110011001100(1100循环),1.100110011001100x2^-4,所以E=-4+1023=1019;M舍去首位的1,得到100110011...。最终就是:
  JavaScript浮点数陷阱及解法
  转化成十进制后为0.100000000000000005551115123126,因此就出现了浮点误差。
  为什么0.1+0.2=0.30000000000000004?
  计算步骤为:
  //0.1和0.2都转化成二进制后再进行运算0.00011001100110011001100110011001100110011001100110011010+
  0.0011001100110011001100110011001100110011001100110011010=0.0100110011001100110011001100110011001100110011001100111
  //转成十进制正好是0.30000000000000004
  为什么x=0.1能得到0.1?
  恭喜你到了看山不是山的境界。因为mantissa固定长度是52位,再加上省略的一位,最多可以表示的数是2^53=9007199254740992,对应科学计数尾数是9.007199254740992,这也是JS最多能表示的精度。它的长度是16,所以可以使用toPrecision(16)来做精度运算,超过的精度会自动做凑整处理。于是就有:
  0.10000000000000000555.toPrecision(16)//返回0.1000000000000000,去掉末尾的零后正好为0.1//但你看到的
  `0.1`实际上并不是`0.1`。不信你可用更高的精度试试:0.1.toPrecision(21)=0.100000000000000005551
  大数危机
  可能你已经隐约感觉到了,如果整数大于9007199254740992会出现什么情况呢?
  由于M*值是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的倍数
  下面这张图能很好的表示JavaScript中浮点数和实数(Real Number)之间的对应关系。我们常用的(-2^53,2^53)只是最中间非常小的一部分,越往两边越稀疏越不精确。
  JavaScript浮点数陷阱及解法
  在淘宝早期的订单系统中把订单号当作数字处理,后来随意订单号暴增,已经超过了
  9007199254740992,最终的解法是把订单号改成字符串处理。
  要想解决大数的问题你可以引用第三方库bignumber.js,原理是把所有数字当作字符串,重新实现了计算逻辑,缺点是性能比原生的差很多。所以原生支持大数就很有必要了,现在TC39已经有一个Stage 3的提案proposal bigint,大数问题有问彻底解决。
  toPrecision vs toFixed
  数据处理时,这两个函数很容易混淆。它们的共同点是把数字转成字符串供展示使用。注意在计算的中间过程不要使用,只用于最终结果。
  不同点就需要注意一下:
  toPrecision是处理精度,精度是从左至右*个不为0的数开始数起。
  toFixed是小数点后指定位数取整,从小数点开始数起。
  两者都能对多余数字做凑整处理,也有些人用toFixed来做四舍五入,但一定要知道它是有Bug的。
  数据运算类
  对于运算类操作,如+-*/,就不能使用toPrecision了。正确的做法是把小数转成整数后再运算。以加法为例:
  /***精确加法*/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;}
  以上方法能适用于大部分场景。遇到科学计数法如2.3e+1(当数字精度大于21时,数字会强制转为科学计数法形式显示)时还需要特别处理一下。
  能读到这里,说明你非常有耐心,那我就放个福利吧。遇到浮点数误差问题时可以直接使用
  https://github.com/dt-fe/number-precision
  完美支持浮点数的加减乘除、四舍五入等运算。非常小只有1K,远小于绝大多数同类库(如Math.js、BigDecimal.js),*测试全覆盖,代码可读性强,不妨在你的应用里用起来!
  参考
  What Every Programmer Should Know About Floating-Point Arithmetic
  Why Computers are Bad at Algebra|Infinite Series
  Is Your Model Susceptible to Floating-Point Errors?

  以上就是海文国际教育小编为大家精心整理出来的内容啦,更多资讯记得定期关注我们哦!
上一篇: java高级知识 下一篇: 教你如何选择合适的字体

相关文章

推荐课程

查看全部课程
重庆海文国际教育

重庆海文国际教育

渝北校区

查看全部校区 进入官方主页