JavaScript 中的相等操作符 ( 詳解 [] == []、[] == ![]、{} == !{} )

ECMAScript 中的相等操作符由兩個等於號 ( == ) 表示，如果兩個操作數相等，則返回 true。

相等操作符會先轉換操作數（通常稱為強制轉型），然後比較它們的相等性。

在轉換不同的數據類型時，相等操作符遵循下列基本規則：

1. 如果有一個操作數是布爾值，則在比較相等性之前，將其轉換為數值；

2. 如果一個操作數是字元串，另一個操作數是數值，在比較之前先將字元串轉換為數值；

3. 如果一個操作數是對象，另一個操作數不是，則調用對象的 valueOf() 方法，用得到的基本類型值按照前面的規則進行比較；

4. 如果有一個操作數是 NaN，無論另一個操作數是什麼，相等操作符都返回 false；

5. 如果兩個操作數都是對象，則比較它們是不是同一個對象。如果指向同一個對象，則相等操作符返回 true；

6. 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