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

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

相等操做符會先轉換操做數（一般稱爲強制轉型），而後比較它們的相等性。

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

1. 若是有一個操做數是布爾值，則在比較相等性以前，將其轉換爲數值；

2. 若是一個操做數是字符串，另外一個操做數是數值，在比較以前先將字符串轉換爲數值；

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

4. 若是有一個操做數是 NaN，不管另外一個操做數是什麼，相等操做符都返回 false；

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

6. 在比較相等性以前，不能將 null 和 undefined 轉成其餘值。

7. null 和 undefined 是相等的。

 

以上內容摘自《 JavaScript 高級程序設計（第3版）》3.5.7

 

 

1、基本規則

上面闡述的 一、二、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

 

 

2、[] == [] 和 {} == {}

在 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的指針，它們指向同一個對象）

 

 

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

參考連接：JavaScript 運算符優先級

ECMAScript 中規定，邏輯非 (!) 的優先級高於相等操做符 ( == )

在比較 [] == ![] 的時候，先計算 ![] 獲得布爾值 false

因此實際上比較的是 [] == false

而後根據上面的第1條規則和第3條規則，將兩個操做數轉爲數值類型：

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

 

在比較 {} == !{} 的時候，也是遵照一樣的規則：

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

而後第4條規則規定：若是有一個操做數是 NaN，相等操做符返回 false

因此 {} == !{} 的結果是 false