JS中各种相等算法前言
在Js中，大家比较熟悉的是==和===相等比较运算符，对应在ECMA标准中定义了这两种运算符的算法，即Abstract Equality Comparison和Strict Equality Comparison。除了这两种，ECMA标准中还定义了几种相等比较，如SameValue和SameValueZero算法。本篇将从标准的角度介绍这几种相等算法的异同。
SameValue
先看一下ECMA对SameValue的定义，摘自ECMA标准。
SameValue(x, y)
ReturnIfAbrupt(x).
ReturnIfAbrupt(y).
If Type(x) is different from Type(y), return false.
If Type(x) is Undefined, return true.
If Type(x) is Null, return true.
If Type(x) is Number, then
??a. If x is NaN and y is NaN, return true.
??b. If x is 0 and y is -0, return false.
??c. If x is -0 and y is 0, return false.
??d. If x is the same Number value as y, return true.
??e. Return false.
If Type(x) is String, then
??a. If x and y are exactly the same sequence of code units (same length and same code units at corresponding indices) return true; otherwise, return false.
If Type(x) is Boolean, then
??a. If x and y are both true or both false, return true; otherwise, return false.
If Type(x) is Symbol, then
??a. If x and y are both the same Symbol value, return true; otherwise, return false.
Return true if x and y are the same Object value. Otherwise, return false.
简单总结一下SameValue(x, y)的比较方式:
类型不同，返回false
如果x类型为Undefined或Null，返回true
如果类型为Number，比较略复杂：NaN和NaN比较返回true， 0和-0、-0和 0比较返回false
String, Boolean, Symbol以及Object比较与===相同。
ECMAScript 6规范中定义了Object.is()方法，即实现了SameValue算法。案例：
SameValue(true, 1) => falseSameValue({}, {}) => falseSameValueZero
ECMA标准中，对SameValueZero的定义说明，它与SameValue仅在对 0、-0的处理上略有不同，具体如下：
0和-0比较返回true， -0和 0比较返回true
ES7规范中引入的Array.prototype.includes方法即按照SameValueZero算法来判断是否相等。
Abstract Equality Comparison
相等算法明确了JS中等于运算符==的比较规则，操作数相等会返回true。如下介绍等于算法x==y的内容：
1.如果x和y的类型相同，返回x===y的结果
2.null==undefined返回true，undefined==null返回true
3.如果一个操作数是字符串，另一个是数值，则尝试将字符串转换为数值，再比较是否相等
4.如果任一操作数是布尔值，则将其转换为数值再比较是否相等。false转换成0，true转换成1
5.如果一个操作数是对象，另一个不是，则调用对象的valueOf()方法获取原始值，在进行相等比较
6.返回false
我们根据该算法看几个案例
案例1：true == 1 // 返回true根据相等算法第4条，将true转换成1，变成1===1，返回true案例2：”5″ == 5 // 返回true根据相等算法第3条，将”5″转换成5，返回trueStrict Equality Comparison
全等算法明确了JS中全等运算符===的比较规则，操作数全等会返回true。如下介绍全等算法x===y的细则：
1.如果两个操作数类型不同，返回false
2.undefined===undefined返回true，null===null返回true
3.如果类型是数值，a：如果任一操作数是NaN，返回false b:如果x和y是同一数值，返回true c： 0===-0返回true，-0=== 0返回true；d：返回false
4.如果类型是字符串，x与y有相同的码元序列则返回true，否则返回false
5.如果操作数为布尔值，x和y同为false或者同为true时，返回true。否则返回false
6.如果x与y为相同的Symbol值，返回true
7.如果x与y为相同的Object对象，返回true
8.返回false
我们根据该算法看几个案例
“5” === 5 // 由于类型不同，返回falsenull === undefined // 类型不同，返回false四种算法对比案例
xyAbstract Equality Comparison(==)Strict Equality Comparison(===)SameValue(Object.is)SameValueZeroundefinedundefinedtruetruetruetruenullnulltruetruetruetruetruetruetruetruetruetruefalsefalsetruetruetruetrue 0-0truetruefalsetrue0falsetruefalsefalsefalse””0truefalsefalsefalse[1,2]”1,2″truefalsefalsefalsenullundefinedtruefalsefalsefalse{a: 1}{a:1}falsefalsefalsefalseNaNNaNfalsefalsetruetrue
小结
本篇根据ECMAScript 6的规范，详解了四种相等算法，其中有三种方法在JS语言中已经实现。ES6规范引入的Object.is()实现了SameValue算法；相等操作符==实现了Abstract Equality Comparison算法；全等操作符===实现了Strict Equality Comparison算法。
各种相等算法略有不同，区别主要在于类型转换、对NaN、null、undefined、 0、-0等特殊值的处理，至于为什么要定义这么多不同的算法，我的理解是ES规范中为了应对不同的场景定义各种算法来满足相等的比较，大家也可以说说自己的理解。
参考资料
http://ecma-international.org/ecma-262/7.0/#sec-samevaluezero
