ECMAScript 6数字安全检查：为何Number.isSafeInteger返回值有差异？

Great question！咱们一步一步拆解这个问题，这完全和JavaScript处理浮点数的方式，以及ES6中“安全整数”的定义息息相关。

首先得明确Number.isSafeInteger()的两个核心判断条件：

• 这个值必须能被精确表示为IEEE 754双精度浮点数格式的整数（JS里所有数字都是用这个格式存储的）；
• 这个整数必须落在-(2^53 - 1)到2^53 - 1的范围内，也就是-9007199254740991到9007199254740991之间。

第一个例子：Number.isSafeInteger(-1312321312321.1) 返回 false #

这个数的绝对值是1312321312321，远小于2^53（约9e15），所以范围不是问题。真正的原因是：-1312321312321.1在JS里无法被表示为一个精确的整数。

0.1这个小数本身就不能用二进制浮点数精确存储，但更关键的是，哪怕和整数部分结合后，这个值也根本不是整数。而Number.isSafeInteger()只会对那些是精确整数的值（哪怕写成.0的形式）返回true，所以这个例子直接不满足条件，返回false。

第二个例子：Number.isSafeInteger(-1232312321312321.1) 返回 true #

这里就有点绕了：当你写下-1232312321312321.1时，JavaScript其实根本存不下这个精确值。虽然整数部分的绝对值1232312321312321依然小于2^53，但当数字大到一定程度时，IEEE 754浮点数的精度会下降——此时加上0.1这样的小数值，根本不会改变存储的值。

具体来说，-1232312321312321和-1232312321312321.1之间的差值，已经小于这个量级的浮点数能处理的最小增量了。所以JS最终会把-1232312321312321.1存储成精确的整数-1232312321312321。

而这个整数刚好在安全范围内（绝对值远小于9e15），所以Number.isSafeInteger()就返回true了。

你可以在控制台验证这个存储行为：

console.log(-1232312321312321.1 === -1232312321312321); // 输出 true
console.log(-1312321312321.1 === -1312321312321); // 输出 false

总结一下 #

Number.isSafeInteger()的逻辑是先判断值在JS的浮点数系统中是否是精确整数，再判断这个整数是否在安全范围内。对于足够大的数字，小数部分会因为精度限制被“丢弃”，变成精确整数——如果这个整数在安全范围内，方法就返回true；而对于较小的数字，小数部分能被保留，值不是整数，所以返回false。

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