如何利用 Object.is 区分 +0 与 -0 并正确处理 NaN 的相等判断

Object.is：不止于“严格相等”的精确比较工具

说起 Ja vaScript 里的相等判断，===（严格相等）通常是我们的首选。但有没有一种情况，连 === 都觉得不够“严格”？答案是肯定的。这就引出了 Object.is 这个 ES6 引入的“裁判”。它和 === 很像，但在两个关键点上采取了更精确的立场：它能区分 +0 和 -0，并且判定 NaN 等于 NaN。这背后遵循的是 IEEE 754 浮点数标准的位模式比较逻辑，而非抽象相等算法。当然，它并不深入比较对象内容，因此在日常的相等判断中，=== 依然是更通用、更高效的选择。

Object.is 能否区分 +0 和 -0

能，而且这是它与 === 最核心的差异之一。执行 Object.is(+0, -0) 会得到 false，而 +0 === -0 则返回 true。从数学角度看，零的符号不同确实有意义；Object.is 严格遵从 IEEE 754 规则，比较两者的位模式——+0 和 -0 的符号位相反，因此被判为不相等。

那么，什么时候该用上这个特性呢？

• 需要感知零的符号时：比如在坐标系计算中区分方向归零，或在某些金融场景里辨别“正向归零”与“负向归零”，这时就必须使用 Object.is，=== 会掩盖这个差异。
• 检查是否为 -0：直接写 Object.is(x, -0)，比传统的 1 / x === -Infinity 这种技巧更直观、更安全。
• 注意一个小细节：Object.is(-0, 0) 同样返回 false，因为代码中的字面量 0 等价于 +0。

Object.is 对 NaN 的处理为什么可靠

另一个关键区别在于对 NaN 的处理。Object.is(NaN, NaN) 稳稳地返回 true，而 NaN === NaN 则永远是 false。原因在于，Object.is 不经过抽象相等算法，而是直接比较两个值的内部表示。在 IEEE 754 标准中，所有 NaN 都被视为“同一种不可比较的值”，Object.is 的规范则明确规定了它们彼此相等。

这带来了更精准的实践方案：

• 校验意外产生的 NaN：当需要检测像 Math.sqrt(-1) 或 0 / 0 这类运算的结果时，使用 Object.is(result, NaN) 比 isNaN() 或 Number.isNaN() 更精准，后两者可能存在类型转换的干扰。
• 告别 Hack 写法：可以避免使用 result !== result 这种可读性差、且在特定调试或优化环境下可能不可靠的技巧来判断 NaN。
• 需要明确的是：Object.is 只对真正的 NaN 值生效，字符串 "NaN" 不会被误判。

什么时候不该用 Object.is 替代 ===

是不是所有情况都应该用更“严格”的 Object.is 呢？并非如此。在很多日常场景中，它的行为反而显得“过于严格”了。

使用前，不妨先看看这几个常见的注意点：

• 不进行深度比较：对于对象或数组，Object.is 和 === 一样，只比较引用是否相同，返回 false。别指望它能替代 _.isEqual 或 JSON.stringify 这类深度比较方案。
• 增加不必要的认知负担：对于字符串、数字、布尔值等基本类型，绝大多数业务逻辑用 === 已经完全足够且语义清晰。引入 Object.is 反而可能让代码意图变得模糊。
• 细微的性能差异：由于多了一层对符号位和 NaN 的特殊判断，Object.is 的性能通常略慢于 ===（在 V8 引擎中大约慢 10%~15%）。在超高频的循环中，这点差异值得权衡。
• 环境兼容性：虽然现代环境（ES6+）都已支持，但如果代码需要运行在极老的浏览器（如 IE）中，则必须添加 polyfill，或者降级为 === 并手动补充对零符号和 NaN 的判断。

一个实用的工具函数封装建议

直接使用 Object.is 有时会显得意图不够明确，也容易遗漏边界情况。一个不错的实践是根据具体需求，将其封装成语义更清晰的工具函数：

const isNegativeZero = (val) => Object.is(val, -0);
const isNaNValue = (val) => Object.is(val, NaN);
const isSameZero = (a, b) => {
  if (!Object.is(a, b)) return false;
  // 此时 a 和 b 已相等，但若都是 0，还需确认符号一致
  return !Object.is(a, +0) || !Object.is(b, -0) || Object.is(a, b);
};

注意看最后一个 isSameZero 函数，它的逻辑看似有点绕，却恰恰揭示了一个关键点：Object.is 的真正价值，并不在于提供一个“更通用”的相等判断，而在于**让你能够精确控制对 +0/-0 和 NaN 的判定时机**。用错了场景，它不会让你的代码更简洁；但用对了地方，它能帮你堵住那些由浮点数特性引发的、极其隐蔽的逻辑漏洞。