JavaScript中的相等操作符使用详解

ECMAScript 中的相等操作符由两个等于号 ( == ) 表示，如果两个操作数相等，则返回 true。

相等操作符会先转换操作数（通常称为强制转型），然后比较它们的相等性。

在转换不同的数据类型时，相等操作符遵循下列基本规则：

1. 如果有一个操作数是布尔值，则在比较相等性之前，将其转换为数值；

2. 如果一个操作数是字符串，另一个操作数是数值，在比较之前先将字符串转换为数值；

3. 如果一个操作数是对象，另一个操作数不是，则调用对象的 valueOf() 方法，用得到的基本类型值按照前面的规则进行比较；

4. 如果有一个操作数是 NaN，无论另一个操作数是什么，相等操作符都返回 false；

5. 如果两个操作数都是对象，则比较它们是不是同一个对象。如果指向同一个对象，则相等操作符返回 true；

6. 在比较相等性之前，不能将 null 和 undefined 转成其他值。

7. null 和 undefined 是相等的。

以上内容摘自《 JavaScript 高级程序设计（第3版）》3.5.7

一、基本规则

上面阐述的 1、2、3 三条规则，总结成一句话就是：

如果相等操作符两边的操作数，不包含 null 或者 undefined，且两个操作数不全是对象，

在执行相等比较之前，会先调用 Number() 将两个操作数强制转为 Number 类型，然后进行比较

所以在使用相等操作符的时候，会有以下情况：

'55' == 55; //true
false == 0; //true
"wise" == 3; //false （ Number("wise") -> NaN ）
[] == 0; //true （ Number([]) -> 0 ）

但是在特殊情况下，也就是两边都有对象的时候，会产生看似不合理的结果：

NaN == NaN; //false （参考第4条规则）
[] == []; //false
[] == ![]; //true
{} == {}; //false
{} == !{}; //false

二、[] == [] 和 {} == {}

在 JavaScript 中，Object、Array、Function、RegExp、Date 都是引用类型

声明引用类型的时候，变量名保存在 js 的栈内存里面，而对应的值保存在堆内存里面

而这个变量在栈内存中实际保存的是：这个值在堆内存中的地址，也就是指针

var a = {};
var b = {};

上面的代码中，声明变量 a 的时候，在堆内存中存储了一个 Object，而 a 实际保存的这个 Object 的地址

然后声明变量 b 的时候，又存储了一个新的 Object

虽然 a 和 b 都保存了一个 Object，但这是两个独立的 Object，它们的地址是不同的

再结合前面的第5条规则：如果两个对象指向同一个对象，相等操作符返回 true

所以 {} == {} 的结果是 false，同样的， [] == [] 的结果也是 false

var c = b;
b == c; //true（变量c保存的是b的指针，它们指向同一个对象）

三、[] == ![] 和 {} == !{}

参考链接：JavaScript 运算符优先级

ECMAScript 中规定，逻辑非 (!) 的优先级高于相等操作符 ( == )

在比较 [] == ![] 的时候，先计算 ![] 得到布尔值 false

所以实际上比较的是 [] == false

然后根据上面的第1条规则和第3条规则，将两个操作数转为数值类型：

Number([]) == Number(false); // -> 0 == 0 -> true

在比较 {} == !{} 的时候，也是遵守同样的规则：

{} == !{} -> {} == false -> Number({}) == Number(false) -> NaN == 0

然后第4条规则规定：如果有一个操作数是 NaN，相等操作符返回 false

所以 {} == !{} 的结果是 false

小结：

“==”在比较不同类型值得时候会进行隐式的类型转化，而”===”不会转化，全等一定相等，相等却不一定全等，这是一个充分不必要条件。undefined和null相等而不全等，且在相等比较的时候不会转化为其他类型的值。NaN是不等于NaN 的，要判断某个变量是不是NaN，要用”!=”。对象和非对象在进行比较的时候会先转为基本类型值然后再根据上面的规则进行比较。