JS 判断整数时怎么处理 NaN 和 Infinity

一、为什么判断整数时必须单独防范 NaN 和 Infinity

在很多初学者的直觉中，一个变量要么是纯数字，要么是字符串、对象等其他类型。然而在 JavaScript 的类型系统中，NaN（Not-a-Number）与正负 Infinity（无穷大）在语言层面上都属于合法的 Number 类型：

console.log(typeof NaN);       // 输出 "number"
console.log(typeof Infinity);  // 输出 "number"
console.log(typeof -Infinity); // 输出 "number"

这就带来了一个极具迷惑性的隐患：如果仅仅使用 typeof value === 'number' 确认类型后，就直接应用数学上的取整或整除逻辑，程序就会因为这两个特殊值的怪异数学特性产生严重漏洞。

以常见的算术直觉为例，很多人会尝试使用 Math.floor(x) === x 来检验是否为整数。对于正常浮点数（如 3.14），向下取整后得到 3，与原值不相等，逻辑成立；但对于 Infinity，在 IEEE 754 浮点标准下，无穷大向下取整仍然是无穷大：

console.log(Math.floor(Infinity) === Infinity); // 输出 true！

这会导致 Infinity 被错误地放行并认定为“整数”。在涉及分页页码、数组索引、金额计算或库存扣减等业务逻辑中，这种漏判往往会引发死循环或数据溢出崩溃。

二、剖析常见判断方法的边界缺陷

社区中曾流传过多种利用 JavaScript 语言特性的判断技巧。这些方法在面对常规正负整数时看似运行良好，但一旦遇到 NaN 或 Infinity，就会暴露出各自的局限。

1. 取模运算：x % 1 === 0

看似合理的推导是：整数除以 1 的余数必定是 0。在处理 NaN 和 Infinity 时：

console.log(NaN % 1);      // 输出 NaN（NaN === 0 为 false）
console.log(Infinity % 1); // 输出 NaN（NaN === 0 为 false）

从特殊值拦截的角度看，两者返回 NaN，确实不会等于 0，似乎排除了这两种情况。但是，% 取模运算符在遇到字符串时会发生隐式类型转换，例如 '42' % 1 === 0 的结果同样是 true。如果开发者漏掉了严格的类型检测，纯字符也会被当成整数。此外，-0 % 1 返回 -0，在全等比较中 -0 === 0 虽为 true，但混淆了正负零的语义。

2. 按位或截断：(x | 0) === x

位运算在执行前会将操作数强制转换为 32 位有符号整数。对于 NaN 和 Infinity，这一转换统一返回 0：

console.log((NaN | 0) === NaN);           // 0 === NaN 为 false
console.log((Infinity | 0) === Infinity); // 0 === Infinity 为 false

表面上看，位运算顺利拦截了 NaN 与 Infinity，但它的致命硬伤在于取值范围限制。一旦数值超过 32 位整数上限（即大于 2147483647 或小于 -2147483648），例如处理常见的时间戳（如 1700000000000），位运算就会溢出失真，把真正的整数判定为 false。因此绝不能将其作为通用的整数判定方案。

3. 字符串转换与正则：/^-?\d+$/.test(String(x))

将数值转为字符串再用正则匹配同样存在陷阱。当数值非常大或非常小时（例如 1e21 或 1e-7），JavaScript 会自动将其转为科学计数法格式（如 "1e+21"），导致正则校验失败；而 String(NaN) 是 "NaN"，虽然会被正则排除，但这种方案性能开销高且对科学计数法极不友好。

三、标准方案：Number.isInteger 的内部处理机制

为了终结各种混乱的民间判定法，ECMAScript 2015（ES6）正式引入了 Number.isInteger()。根据 ECMAScript 官方规范文档，当执行 Number.isInteger(argument) 时，引擎在内部会按以下四个步骤严格执行：

1. 类型检查：如果 Type(argument) 不是 Number，直接返回 false。这立即排除了字符串、布尔值、对象及 null / undefined。
2. 特殊值拦截：如果 argument 是 NaN、+Infinity 或 -Infinity，直接返回 false。规范在此处作为前置守卫，显式抹平了特殊数值。
3. 取整数学校验：计算 floor(abs(argument))，如果其结果不等于 abs(argument)，说明存在小数分量，返回 false。
4. 通过校验：若以上条件均顺利通过，则返回 true。

从规范步骤中可以看出，官方之所以在第 2 步单独列出 NaN 与无穷大，正是为了避免进入第 3 步产生运算歧义。代码中直接调用即可获得最稳固的保障：

Number.isInteger(42);         // true
Number.isInteger(3.14);       // false
Number.isInteger(NaN);        // false（精确拦截）
Number.isInteger(Infinity);   // false（精确拦截）
Number.isInteger(-Infinity);  // false（精确拦截）
Number.isInteger('42');       // false（绝不隐式转换类型）

四、兼容实现：手写校验函数如何封堵漏洞

在某些需要支持较旧运行环境的场景下，若无法直接使用 ES6 API，我们需要自行编写校验函数。此时必须遵循“三道防御”原则，顺序至关重要：

下面是符合规范标准的稳健实现代码：

function isIntegerCompatible(value) {
  // 第 1 步：排除非 number 类型（如字符串、对象、布尔值等）
  if (typeof value !== 'number') {
    return false;
  }

  // 第 2 步：核心防御！排除 NaN 以及 +Infinity、-Infinity
  // 注意：由于前面已有 typeof 保证，全局 isFinite 此时不会触发隐式字符串转换
  if (!isFinite(value)) {
    return false;
  }

  // 第 3 步：此时已确认是有限数值，安全地比较取整值
  return Math.floor(value) === value;
}

很多开发者会好奇：为什么不能先写 Math.floor(value) === value 再去过滤？因为如果传入 Infinity，在没有防御的情况下，Math.floor(Infinity) === Infinity 已经直接通过了判断；虽然你可以紧接着补上检查，但将特殊值放在第一道关卡尽早返回（Fail-Fast），逻辑上更加清晰且不会造成无谓的浮点指令调用。

五、相关进阶场景与注意事项

1. 超大整数与安全整数范围：Number.isSafeInteger

JavaScript 中的数字均基于双精度 64 位浮点数格式存储，其能够精确表示的整数范围在 -(2^53 - 1) 到 2^53 - 1 之间（即 -9007199254740991 到 9007199254740991）。

Number.isInteger 仅判断数学上是否为整数，即使超出了安全精度范围，如 Number.isInteger(9007199254740992) 也会返回 true。如果你的业务涉及后端传来的雪花算法 ID、高精度交易计费，应该使用 Number.isSafeInteger()，或者升级为原生的 BigInt 类型进行运算。Number.isSafeInteger 同样天然排除了 NaN 与 Infinity。

2. 正零与负零（+0 与 -0）

在 JavaScript 中存在 +0 与 -0 之分。调用 Number.isInteger(+0) 和 Number.isInteger(-0) 均返回 true。这是完全符合数学规范的，因为 0 本身就是一个整数。如果业务有严格的非负整数约束，需要额外追加 value >= 0 或使用 Object.is(value, -0) 进行细化控制。

六、总结

处理 JavaScript 整数判断中的 NaN 与 Infinity 问题，归纳起来有以下明确结论：

• 优先使用标准方法：现代开发中，毫无疑问优先使用 Number.isInteger(value)。它标准、简洁、性能最佳，且在规范底层已自动排除了 NaN 和所有正负无穷大。
• 杜绝裸用数学取整：永远不要单独使用 Math.floor(x) === x 或 Math.round(x) === x 校验任意输入，因为 Infinity 会直接穿透该检查。
• 手写必须绑定有限性检查：在旧环境手写 Polyfill 时，务必遵循 typeof value === 'number' && isFinite(value) && Math.floor(value) === value，通过 isFinite 将 NaN 和 Infinity 提前截断。