你不知道的JavaScript--Item2 浮点数精度

理解JavaScript的浮点数

大多数编程语言都有几种数值型数据类型，但是JavaScript却只有一种。你可以使用typeof 运算符查看数字的类型。不管是整数还是浮点数，JavaScript都将它们简单地归类为数字。

typeof 17;  //number

typeof 98.6;  //number

typeof -21.3;  //number

事实上，JavaScript中所有的数字都是双精度浮点数。这是由IEEE754标准制定的64位编码数字——即“doubles”。如果这一事实使你疑惑JavaScript是如何表示整数的，请记住，双精度浮点数能完美地表示高达53位精度的整数。从–9 007 199 254 740 992（–253）到9 007 199 254 740 992（253）的所有整数都是有效的双精度浮点数。因此，尽管JavaScript中缺少明显的整数类型，但是完全可以进行整数运算。

大多数的算术运算符可以使用整数、实数或两者的组合进行计算。

0.1 * 0.9;  //0.19

-99 + 100;  //1

21- 12.3; //8.7

2.5 /5;  //0.5

21%8; //5

然而位算术运算符比较特殊。JavaScript不会直接将操作数作为浮点数进行运算，而是会将其隐式地转换为32位整数后进行运算。（确切地说，它们被转换为32位大端（big-endian）的2的补码表示的整数。）以按位或运算表达式为例：

8|1;  //9

看似简单的表达式实际上需要几个步骤来完成运算。如前所述，JavaScript中的数字8和1都是双精度浮点数。但是它们也可以表示成32位整数，即32位0、1的序列。整数8表示为32位二进制序列如下所示：

00000000000000000000000000001000

你自己也可以使用数字类型的toString方法来查看：

(8).toString(2)  //"1000"

toString方法的参数指定了其转换基数，此例子以基数2（即二进制）表示。结果值省略了左端多余的0（位），因为它们并不影响最终值。

整数1表示为32位二进制如下所示：

00000000000000000000000000000001

按位或运算表达式合并两个比特序列。只要参与运算的两位比特中任意一位为1，运算结果的该位就为1。以位模式表示的结果如下：

00000000000000000000000000001001

这个序列表示整数9。你可以使用标准的库函数parseInt验证，同样以2作为基数：

parseInt("1000", 2); //9

（同样，前导0位是不必要的，因为它们并不影响运算结果。）

所有位运算符的工作方式都是相同的。它们将操作数转换为整数，然后使用整数位模式进行运算，最后将结果转换为标准的JavaScript浮点数。一般情况下，JavaScript引擎需要做些额外的工作来进行这些转换。因为数字是以浮点数存储的，必须将其转换为整数，然后再转换回浮点数。然而，在某些情况下，算术表达式甚至变量只能使用整数参与运算，优化编译器有时候可以推断出这些情形而在内部将数字以整数的方式存储以避免多余的转换。

关于浮点数的最后警示是，你应该对它们保持时刻警惕。浮点数看似熟悉，但是它们是出了名的不精确。甚至一些看起来最简单的算术运算都会产生不正确的结果。

0.1+0.2; 0.300000000000004

尽管64位的精度已经相当高了，但是双精度浮点数也只能表示一组有限的数字，而不能表示所有的实数集。浮点运算只能产生近似的结果，四舍五入到最接近的可表示的实数。当你执行一系列的运算，随着舍入误差的积累，运算结果会越来越不精确。舍入也会使我们通常所期望的算术运算定律产生一些出人意料的偏差。例如，实数满足结合律，这意味着，对于任意的实数x，y，z，总是满足(x + y) + z = x + (y + z)。

然而，对于浮点数来说，却并不总是这样。

（0.1+0.2）+0.3;  //0.60000000000000001

0.1+(0.2+ 0.3);  //0.6

浮点数权衡了精度和性能。当我们关心精度时，要小心浮点数的局限性。一个有效的解决方法是尽可能地采用整数值运算，因为整数在表示时不需要舍入。当进行货币相关的计算时，程序员通常会按比例将数值转换为最小的货币单位来表示再进行计算，这样就可以以整数进行计算。例如，如果上面的计算是以美元为单位，那么，我们可以将其转换为整数表示的美分进行计算。