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