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

相等操作符會(huì)先轉(zhuǎn)換操作數(shù)（通常稱為強(qiáng)制轉(zhuǎn)型），然后比較它們的相等性。

在轉(zhuǎn)換不同的數(shù)據(jù)類型時(shí)，相等操作符遵循下列基本規(guī)則：

1. 如果有一個(gè)操作數(shù)是布爾值，則在比較相等性之前，將其轉(zhuǎn)換為數(shù)值；

2. 如果一個(gè)操作數(shù)是字符串，另一個(gè)操作數(shù)是數(shù)值，在比較之前先將字符串轉(zhuǎn)換為數(shù)值；

3. 如果一個(gè)操作數(shù)是對象，另一個(gè)操作數(shù)不是，則調(diào)用對象的 valueOf() 方法，用得到的基本類型值按照前面的規(guī)則進(jìn)行比較；

4. 如果有一個(gè)操作數(shù)是 NaN，無論另一個(gè)操作數(shù)是什么，相等操作符都返回 false；

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

6. 在比較相等性之前，不能將 null 和 undefined 轉(zhuǎn)成其他值。

7. null 和 undefined 是相等的。

以上內(nèi)容摘自《 JavaScript 高級程序設(shè)計(jì)（第3版）》3.5.7

一、基本規(guī)則

上面闡述的 1、2、3 三條規(guī)則，總結(jié)成一句話就是：

如果相等操作符兩邊的操作數(shù)，不包含 null 或者 undefined，且兩個(gè)操作數(shù)不全是對象，

在執(zhí)行相等比較之前，會(huì)先調(diào)用 Number() 將兩個(gè)操作數(shù)強(qiáng)制轉(zhuǎn)為 Number 類型，然后進(jìn)行比較

所以在使用相等操作符的時(shí)候，會(huì)有以下情況：

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

但是在特殊情況下，也就是兩邊都有對象的時(shí)候，會(huì)產(chǎn)生看似不合理的結(jié)果：

NaN == NaN; //false （參考第4條規(guī)則）
[] == []; //false
[] == ![]; //true
{} == {}; //false
{} == !{}; //false

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

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

聲明引用類型的時(shí)候，變量名保存在 js 的棧內(nèi)存里面，而對應(yīng)的值保存在堆內(nèi)存里面

而這個(gè)變量在棧內(nèi)存中實(shí)際保存的是：這個(gè)值在堆內(nèi)存中的地址，也就是指針

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

上面的代碼中，聲明變量 a 的時(shí)候，在堆內(nèi)存中存儲(chǔ)了一個(gè) Object，而 a 實(shí)際保存的這個(gè) Object 的地址

然后聲明變量 b 的時(shí)候，又存儲(chǔ)了一個(gè)新的 Object

雖然 a 和 b 都保存了一個(gè) Object，但這是兩個(gè)獨(dú)立的 Object，它們的地址是不同的

再結(jié)合前面的第5條規(guī)則：如果兩個(gè)對象指向同一個(gè)對象，相等操作符返回 true

所以 {} == {} 的結(jié)果是 false，同樣的， [] == [] 的結(jié)果也是 false

var c = b;
b == c; //true（變量c保存的是b的指針，它們指向同一個(gè)對象）

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

參考鏈接：JavaScript 運(yùn)算符優(yōu)先級

ECMAScript 中規(guī)定，邏輯非 (!) 的優(yōu)先級高于相等操作符 ( == )

在比較 [] == ![] 的時(shí)候，先計(jì)算 ![] 得到布爾值 false

所以實(shí)際上比較的是 [] == false

然后根據(jù)上面的第1條規(guī)則和第3條規(guī)則，將兩個(gè)操作數(shù)轉(zhuǎn)為數(shù)值類型：

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

在比較 {} == !{} 的時(shí)候，也是遵守同樣的規(guī)則：

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

然后第4條規(guī)則規(guī)定：如果有一個(gè)操作數(shù)是 NaN，相等操作符返回 false

所以 {} == !{} 的結(jié)果是 false

小結(jié)：

“==”在比較不同類型值得時(shí)候會(huì)進(jìn)行隱式的類型轉(zhuǎn)化，而”===”不會(huì)轉(zhuǎn)化，全等一定相等，相等卻不一定全等，這是一個(gè)充分不必要條件。undefined和null相等而不全等，且在相等比較的時(shí)候不會(huì)轉(zhuǎn)化為其他類型的值。NaN是不等于NaN 的，要判斷某個(gè)變量是不是NaN，要用”!=”。對象和非對象在進(jìn)行比較的時(shí)候會(huì)先轉(zhuǎn)為基本類型值然后再根據(jù)上面的規(guī)則進(jìn)行比較。