3.18 JavaScript中Number数字表示的最大安全数

 记录一下今日看到的解释的比较清楚的一篇回答：

1. javascript 里数字类型只有一种， Number 类型，也就是64-bit 的浮点数
2. javascript 里对整数的表示等同于双精度浮点数（64-bit）对整数的表示
3. 问题中所说的安全的整数，Jim Liu在他的回答中解释得很清楚。我照搬：“安全”意思是说能够one-by-one表示的整数，也就是说在(-2^53, 2^53)范围内，双精度数表示和整数是一对一的，反过来说，在这个范围以内，所有的整数都有唯一的浮点数表示，这叫做安全整数。如果您还对‘安全’有些困惑，请见回答后面的详细解释。
4. 安全的整数的范围为什么是-2^53~2^53(不包含边界)?

也就是问为什么只有在这个范围内，它们是一一对应的（64-bit 浮点数和整数）。

2^53是这样存的：

符号位：0 指数：53 尾数：1.000000...000 （小数点后一共52个0）

2^53-1是这样存的：

符号位：0 指数：52 尾数：1.111111....111 （小数点后一共52个1）

2^53-2是这样存的：

符号位：0 指数：52 尾数：1.111111....110 （小数点后一共51个1，一个零）

依此类推，可以推到0. 可以看到这个过程中，每向下减一，通过修改尾数和指数（有时指数 不变），每一个整数都可以由一个浮点数‘模拟’。

但是：

2^53+1：

符号位：0 指数：53 尾数：1.000000...000 （小数点后一共52个0）

注意到，2^53+1的存储和2^53一样。这样就不再“一一对应”。为什么两个数会存的一样？

因为在指数位是53的情况下，尾数在乘以2的53次幂后，相当于小数点向后移动了53位。此 时，小数点不是在尾数最后一位的后面，而是在其后面的后面。

关于上面的回答有如下几点需要说明：

1、 2^53为什么不能算是一个‘安全的’整数？

因为2^53在存储中已经损失了一位精度，尽管它确实是‘一一对应’的。

2、 符号位标识正负，上面的回答限于正整数，把符号位变为1，即为对应的负整数。javascript 中有+0 和 -0

3、 在表示指数小于等于51次方的整数时，尾数的的最后几位是用不到的。

4、 对所谓的‘安全’还是不能理解

在安全的整数范围内进行加减乘除，javascript程序的表现和真正使用Integer类型的语言的程 序表现一致。javascript中一些只处理32位或者16位的运算符不在此‘安全’考虑范围内。

javascript:

    Math.pow(2,53) === Math.pow(2,53) + 1        //true

5、 在javascript中，一些只处理32位或者16位的运算符（e.g. & | ^ ~ >> >>> <<）在处理 之前要把数值全部转化为32位（有/无符号）或16位，处理完成后再转换64位浮点数返回。

ECMA 262 5.1原文：

(大师 Douglas Crockford 在他的 《Javascript The Good Part》一书中认为，在javascript 中添加这些运算符没有必要)

6、 2^53实际是这样存储的：（注意指数偏正值，以及尾数要省略第一位）

01000011 01000000 00000000 00000000 00000000 00000000 00000000 00000000

依此类推

7、 IEEE 754 ECMA 262 可以自己google或百度

8、 浮点数表示法的尾数省略第一位并默认为1是在规约形式下，在非规约形式下默认为0.

作者：混混蛋
链接：https://www.zhihu.com/question/29010688/answer/42886646
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。