JavaScript Number类型数值溢出表现行为

在 JavaScript 中，Number 类型在数值溢出时并不会抛出错误，而是静默返回 Infinity 或 -Infinity。这实际上是 IEEE 754 标准定义的静默处理行为——系统直接给出一个“无穷大”信号，而不是中途崩溃。然而，这种静默机制有时会带来意想不到的逻辑漏洞。

溢出（Overflow）：超出最大可表示值

当运算结果超过 Number.MAX_VALUE（约 1.7976931348623157e+308）时，结果直接被赋值为 Infinity；如果是负方向超出，则得到 -Infinity。以下是一些典型场景：

• Number.MAX_VALUE * 2 → Infinity
• -Number.MAX_VALUE * 2 → -Infinity
• 1 / 0 → Infinity；-1 / 0 → -Infinity
• 任何非零有限数与 Infinity 进行常规算术运算（加、减、乘、除），结果仍为 Infinity（符号根据规则保留）
• 但有些运算会触发 NaN，例如 Infinity / Infinity、Infinity - Infinity

下溢（Underflow）：趋近于零但低于最小正数

如果正数运算结果比 Number.MIN_VALUE（约 5e-324）还小，JavaScript 会将其“降级”为 0；负数同理，变成 -0。以下示例可以直观说明：

• Number.MIN_VALUE / 2 → 0
• -Number.MIN_VALUE / 2 → -0
• 有趣的是，0 和 -0 在 === 下是相等的，但在除法中表现迥异：1 / 0 === Infinity，而 1 / -0 === -Infinity

安全整数边界：精度丢失而非溢出

这里需要特别区分“溢出”和“精度丢失”。JavaScript 的 最大安全整数 是 Number.MAX_SAFE_INTEGER（2^53 - 1 = 9007199254740991）。超过这个范围的整数虽然还能存储，但不再保证精确表示：

• 9007199254740991 + 1 → 9007199254740992（这个例子侥幸正确）
• 9007199254740991 + 2 → 9007199254740992（精度丢失，+2 变成了 +1）

可以看到，问题并非返回 Infinity，而是浮点表示本身的局限导致隐式舍入——这一点经常被误解。

如何检测和应对

好在 JavaScript 提供了几个内置函数来识别极端值，不必完全依赖手动排查：

• isFinite(x)：只有当 x 是普通数字（既不是 NaN，也不是 ±Infinity）时才返回 true
• isNaN(x)：判断是否为 NaN。不过要注意，isNaN("abc") 会先把参数转成数字，容易产生误判；推荐使用 Number.isNaN(x)，更加严格
• 当涉及大整数运算时，最好不要直接使用 Number，改用 BigInt（字面量加 n 后缀）或者借助 big.js 等第三方库更为稳妥