ECMAScript 中的相等操作符由兩個(gè)等于號(hào) ( == ) 表示，如果兩個(gè)操作數(shù)相等，則返回 true。
相等操作符會(huì)先轉(zhuǎn)換操作數(shù)（通常稱(chēng)為強(qiáng)制轉(zhuǎn)型），然后比較它們的相等性。
在轉(zhuǎn)換不同的數(shù)據(jù)類(lèi)型時(shí)，相等操作符遵循下列基本規(guī)則：
1. 如果有一個(gè)操作數(shù)是布爾值，則在比較相等性之前，將其轉(zhuǎn)換為數(shù)值；
2. 如果一個(gè)操作數(shù)是字符串，另一個(gè)操作數(shù)是數(shù)值，在比較之前先將字符串轉(zhuǎn)換為數(shù)值；
3. 如果一個(gè)操作數(shù)是對(duì)象，另一個(gè)操作數(shù)不是，則調(diào)用對(duì)象的 valueOf() 方法，用得到的基本類(lèi)型值按照前面的規(guī)則進(jìn)行比較；
4. 如果有一個(gè)操作數(shù)是 NaN，無(wú)論另一個(gè)操作數(shù)是什么，相等操作符都返回 false；
5. 如果兩個(gè)操作數(shù)都是對(duì)象，則比較它們是不是同一個(gè)對(duì)象。如果指向同一個(gè)對(duì)象，則相等操作符返回 true；
6. 在比較相等性之前，不能將 null 和 undefined 轉(zhuǎn)成其他值。
7. null 和 undefined 是相等的。
以上內(nèi)容摘自《 JavaScript 高級(jí)程序設(shè)計(jì)（第3版）》3.5.7
一、基本規(guī)則
上面闡述的 1、2、3 三條規(guī)則，總結(jié)成一句話(huà)就是：
如果相等操作符兩邊的操作數(shù)，不包含 null 或者 undefined，且兩個(gè)操作數(shù)不全是對(duì)象，
在執(zhí)行相等比較之前，會(huì)先調(diào)用 Number() 將兩個(gè)操作數(shù)強(qiáng)制轉(zhuǎn)為 Number 類(lèi)型，然后進(jìn)行比較
所以在使用相等操作符的時(shí)候，會(huì)有以下情況：
'55' == 55; //true
false == 0; //true
"wise" == 3; //false （ Number("wise") -> NaN ）
[] == 0; //true （ Number([]) -> 0 ）
但是在特殊情況下，也就是兩邊都有對(duì)象的時(shí)候，會(huì)產(chǎn)生看似不合理的結(jié)果：
NaN == NaN; //false （參考第4條規(guī)則）
[] == []; //false
[] == ![]; //true
{} == {}; //false
{} == !{}; //false
二、[] == [] 和 {} == {}
在 JavaScript 中，Object、Array、Function、RegExp、Date 都是引用類(lèi)型
聲明引用類(lèi)型的時(shí)候，變量名保存在 js 的棧內(nèi)存里面，而對(duì)應(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è)對(duì)象指向同一個(gè)對(duì)象，相等操作符返回 true
所以 {} == {} 的結(jié)果是 false，同樣的， [] == [] 的結(jié)果也是 false
var c = b;
b == c; //true（變量c保存的是b的指針，它們指向同一個(gè)對(duì)象）
三、[] == ![] 和 {} == !{}
參考鏈接：JavaScript 運(yùn)算符優(yōu)先級(jí)
ECMAScript 中規(guī)定，邏輯非 (!) 的優(yōu)先級(jí)高于相等操作符 ( == )
在比較 [] == ![] 的時(shí)候，先計(jì)算 ![] 得到布爾值 false
所以實(shí)際上比較的是 [] == false
然后根據(jù)上面的第1條規(guī)則和第3條規(guī)則，將兩個(gè)操作數(shù)轉(zhuǎn)為數(shù)值類(lèi)型：
Number([]) == Number(false); // -> 0 == 0 -> true
在比較 {} == !{} 的時(shí)候，也是遵守同樣的規(guī)則：
{} == !{} -> {} == false -> Number({}) == Number(false) -> NaN == 0
然后第4條規(guī)則規(guī)定：如果有一個(gè)操作數(shù)是 NaN，相等操作符返回 false
所以 {} == !{} 的結(jié)果是 false
小結(jié)：
“==”在比較不同類(lèi)型值得時(shí)候會(huì)進(jìn)行隱式的類(lèi)型轉(zhuǎn)化，而”===”不會(huì)轉(zhuǎn)化，全等一定相等，相等卻不一定全等，這是一個(gè)充分不必要條件。undefined和null相等而不全等，且在相等比較的時(shí)候不會(huì)轉(zhuǎn)化為其他類(lèi)型的值。NaN是不等于NaN 的，要判斷某個(gè)變量是不是NaN，要用”!=”。對(duì)象和非對(duì)象在進(jìn)行比較的時(shí)候會(huì)先轉(zhuǎn)為基本類(lèi)型值然后再根據(jù)上面的規(guī)則進(jìn)行比較。
重慶分公司
重慶分公司
