如何用Object.is解决+0与-0相等性检测差异

Object.is能区分+0和-0且NaN与自身相等，而===将+0与-0视为相等且NaN!==NaN；它基于内部表示（符号位）比较，适用于缓存键、Map/Set精确比对及单元测试。

在JavaScript的世界里，数值比较看似简单，实则暗藏玄机。比如，你如何判断一个值是正零还是负零？全等操作符===在这里就失灵了。这正是Object.is方法大显身手的地方，它被设计为一种更精确的严格相等性判断工具。

为什么 === 无法区分 +0 和 -0

问题的根源在于标准。===遵循IEEE 754浮点数标准，该标准在数学意义上将正零和负零定义为相等。所以，无论你写+0 === -0还是-0 === +0，结果无一例外都是true。这符合数学逻辑，但在某些编程场景下，却可能丢失关键信息。

Object.is 对 +0/-0 的判断逻辑

那么，Object.is是如何做到的呢？它的秘诀在于，它比较的不是数学值，而是值的内部表示，特别是符号位。对于零来说，符号位决定了它是正零还是负零。

• Object.is(+0, +0) → true （同为正零）
• Object.is(-0, -0) → true （同为负零）
• Object.is(+0, -0) → false （符号位不同）
• Object.is(-0, +0) → false （符号位不同）

这样一来，零的符号信息就被完整地保留在了相等性判断中。

实际使用场景与建议

知道了原理，那到底什么时候该用Object.is呢？简单来说，当你的业务逻辑需要区分零的符号时，它就是最佳选择。具体场景包括：

• 语义化场景：比如在图形处理或物理引擎中，-0可能表示“向左归零”或“负向极限”，而+0表示“向右归零”，这时就需要精确区分。
• 数据结构键值：ES6的Map和Set在内部就使用了类似Object.is的算法来比较键。这意味着，你可以把+0和-0当作两个完全不同的键来使用。
• 单元测试：测试一个函数是否精确返回了-0而不是+0时，===无能为力，必须请出Object.is。

来看一个Map的示例，非常直观：

const map = new Map();
map.set(+0, 'positive zero');
map.set(-0, 'negative zero');
console.log(map.size); // 输出 2 —— 因为 +0 和 -0 被视为不同键

注意 NaN 的特殊行为

除了零的问题，Object.is还顺手解决了JavaScript中另一个著名的“怪癖”：NaN的自比较。众所周知，NaN === NaN的结果是false，这常常让初学者困惑。而Object.is修正了这一点，Object.is(NaN, NaN)会返回true。

这并非偶然。可以说，Object.is的设计目标就是实现一种更符合直觉的“同值相等”比较。它既区分了有符号的零，又将NaN视为与自身相等，从而在处理数值边界情况和进行健壮性校验时，提供了比===更可靠的保障。

所以，下次当你需要做严格的相等性判断，尤其是涉及这些特殊数值时，不妨先想一想：我需要的，到底是===，还是Object.is？