JavaScript 运算中，一共包含 4 个相等比较算法：
抽象相等比较
严格相等比较
SameValueZero
SameValue
可以这么说，只要你做过相等比较，你就在使用四个算法中的一个。因为这些算法部署在了涉及到相等比较的操作符或方法中。
算法 使用了此算法的地方(部分) 抽象相等比较 == 运算符 严格相等比较 === 运算符、Array.prototype.indexOf 方法 SameValueZero String.prototype.includes、Array.prototype.includes 方法 SameValue Object.is 方法 怎样区分这些算法的不同呢，可以从两方面切入：
是否会发生类型转换
对 NaN、-0、+0(即 0) 这些值是否存在特殊处理
下面给出一个总结：
发生类型转换? 特殊处理 NaN、-0、+0? 抽象相等比较 √ √ 严格相等比较 × √ SameValueZero × √ SameValue × × 就是说，抽象相等比较算法会发生类型转换，SameValue 算法不会特殊对待 NaN、-0、+0 这些值。
类型转换如何进行的?
上面讨论的四种算法中，只有“抽象相等比较算法”会发生类型转换。发生类型转换的前提是：比较的两个值类型不同，而且转换结果是数值。
举个例子：
1 == 1 // true(未发生类型转换)
'1' == 1 // true(发生了类型转换)
第一个比较为 true，好理解;第二个就不一样了，会发生类型转换——将非数字值转为数字：'1' 跟 1 比较，两者类型不同，'1' 是字符串，因此会先转为数字——也就是 1(Number('1'))，结果变为两个 1 在一起比较，结果就是 true 了。
“抽象相等比较算法”还有一个比较怪癖的地方，在于规范中定义 null == undefined 返回结果为 true。按理说应该发生类型转换，再进行比较的，比较结果应为 false(null 转为 0，undefined 转为 NaN，两者不等)。
规范中对抽象相等比较算法搞了一个“小怪癖”：定义 null 和 undefined 的比较结果为 true我猜想，这一定义可能是为了保证向前兼(tián)容(kēng)，因此，我们记住即可。除此之外的其他情况，都按照类型转换后的比较结果为准。
NaN、-0 和 +0 是如何被特殊处理的?
ES2015 标准出版之前，是没有 SameValueZero 和 SameValue 这两个算法的。也就是说只有抽象相等比较和严格相等比较这两个算法：这两个算法有点问题——就是不能区分 NaN 以及 +0 和 -0。因此在 ES2015 之前，我们会遭遇这样的比较结果：
NaN === NaN // false
+0 === -0 // true
[NaN].indexOf(NaN) // -1
[0].indexOf(-0) // -1
NaN 与自身不相等，+0 等于 -0。在意识中，我们可能接受不了“NaN 与自身不相等”的结果，但是能够理解“+0 等于 -0”(都是 0 嘛)，但是在某些符号位具有含义的场景中——- 表示向左，+ 表示向右，那么区分 +0 等于 -0 就有意义了。
基于此，ES2015 中引入了 SameValue 算法，Object.is() 方法内部就是使用此算法，比较两个值是否相等。
Object.is(NaN, NaN) // true
Object.is(0, -0) // false
SameValueZero 算法，通过名称我们可能就猜到，与 SameValue 算法的区别，仅仅是对“零”的态度上——SameValueZero 算法不能区分 +0 和 -0。
就是说：
var array = [NaN, -0]
array.includes(NaN) // true
array.includes(0) // true
array.includes(0) 的结果没有返回 false，是因为其内部使用的 SameValueZero 算法不能区分 +0 和 -0。