很多時候我們會對某個語言的某個特性爭論不休，通常都只是因為我們不知道它是怎么實現的。其實解決這個疑惑的最好的方法，就是弄清楚 == 和 === 內部的實現機制。
例如 Google v8 就是開源的，只要看看里面的代碼，就能知道到底是怎么一回事了。但是我相信絕大多數人都是沒有這個耐心的——我知道大家都在忙著掙錢養家——好吧，那咱就不看 Google v8 了，看看 ECMA-262 吧，里面已經把實現算法描述得很清楚了，只要看懂了下面的內容，以后就再也不會有此類疑問了。
1
當然，在這里推薦一下我自己的前端群：621071874，不管你是小白還是大牛，小編我都挺歡迎，不定期分享干貨以及各種經典案例，包括我自己整理的一份2017最新的前端資料和零基礎入門教程，同時，還會定期和大家共同討論目前企業需求以及各類面試問題，歡迎初學和進階中的小伙伴。
一、嚴格相等運算符 === 的實現
=== 被稱為 Strict Equals Operator，假設有表達式 a === b，則它的實際運算過程如下
計算出表達式 a 的結果，并存入 lref 變量
將 GetValue(lref) 的結果存入 lval 變量
計算出表達式 b 的結果，并存入 rref 變量
將 GetValue(rref) 的結果存入 rval 變量
執行 Strict Equality Comparison 算法判斷 rval === lval 并將結果直接返回
這里的 Strict Equality Comparison 算法很關鍵，假設要計算的是 x === y，則過程如下
1. 如果 Type(x) 和 Type(y) 不同，返回 false
2. 如果 Type(x) 為 Undefined，返回 true
3. 如果 Type(x) 為 Null，返回 true
4. 如果 Type(x) 為 Number，則進入下面的判斷邏輯
4.1. 如果 x 為 NaN，返回 false
4.2. 如果 y 為 NaN，返回 false
4.3. 如果 x 的數字值和 y 相等，返回 true
4.4. 如果 x 是 +0 且 y 是 -0，返回 true
4.5. 如果 x 是 -0 且 y 是 +0，返回 ture
4.6. 返回 false
5. 如果 Type(x) 為 String，則當且僅當 x 與 y 的字符序列完全相同（長度相等，每個位置上的字符相同）時返回 true，否則返回 false
6. 如果 Type(x) 為 Boolean，則若 x 與 y 同為 true 或同為 false 時返回 true，否則返回 false
7. 如果 x 和 y 引用的是同一個對象，返回 true，否則返回 false
2
二、相等運算符 == 的實現
好了，當你明白了 === 的實現之后，我們再來看看 == 的實現，比較一下他們有何不同？
== 被稱為 Equals Operator （注意看沒有 Strict 了），假設有表達式 a == b，則它的實際運算過程如下
計算出表達式 a 的結果，并存入 lref 變量
將 GetValue(lref) 的結果存入 lval 變量
計算出表達式 b 的結果，并存入 rref 變量
將 GetValue(rref) 的結果存入 rval 變量
執行 Abstract Equality Comparison 算法判斷 rval == lval 并將結果直接返回
注意，其中的前 4 個步驟是和 === 完全相同的。唯獨 5 不同。對于 === 來說，調用的是 Strict Equality Comparison 算法，但是 == 則調用的是 Abstract Equality Comparison 算法。雖然僅一詞之差，但是卻有質的不同，我們下面就來看看到底它是怎么實現的
假設要計算的是 x == y，Abstract Equality Comparison 計算的過程如下（很冗長，但是每個步驟都很簡單）
1. 如果 Type(x) 和 Type(y) 相同，則
1.1. 如果 Type(x) 為 Undefined，返回 true
1.2. 如果 Type(x) 為 Null，返回 true
1.3. 如果 Type(x) 為 Number，則
1.3.1. 如果 x 是 NaN，返回 false
1.3.2. 如果 y 是 NaN，返回 false
1.3.3. 如果 x 的數值與 y 相同，返回 true
1.3.4. 如果 x 是 +0 且 y 是 -0，返回 true
1.3.5. 如果 x 是 -0 且 y 是 +0，返回 true
1.3.6. 返回 false
1.4. 如果 Type(x) 為 String，則當且僅當 x 與 y 的字符序列完全相同（長度相等，每個位置上的字符相同）時返回 true，否則返回 false
1.5. 如果 Type(x) 為 Boolean，則若 x 與 y 同為 true 或同為 false 時返回 true，否則返回 false
1.6. 如果 x 和 y 引用的是同一個對象，返回 true，否則返回 false
2. 如果 x 是 null 且 y 是 undefined，返回 true
3. 如果 x 是 undefined 且 y 是 null，返回 ture
4. 如果 Type(x) 為 Number 且 Type(y) 為 String，以 x == ToNumber(y) 的比較結果作為返回
5. 如果 Type(x) 為 String 且 Type(y) 為 Number，以 ToNumber(x) == y 的比較結果作為返回值
6. 如果 Type(x) 為 Boolean，以 ToNumber(x) == y 的比較結果作為返回值
7. 如果 Type(y) 為 Boolean，以 x == ToNumber(y) 的比較結果作為返回值
8. 如果 Type(x) 為 String 或 Number 且 Type(y) 為 Object，以 x == ToPrimitive(y) 的比較結果作為返回值
9. 如果 Type(x) 為 Object 且 Type(y) 為 String 或 Number，以 ToPrimitive(x) == y 的比較結果作為返回值
10. 返回 false
三、總結
從上面的算法流程可以看出，a === b 是最簡單的。如果 a 和 b 的類型不同，那么一定會返回 false。而 a == b 則要靈活得多。JavaScript 會嘗試調整 a 和 b 的類型，例如若 a 為字符串 b 為數字，則將字符串先轉化為數字再與 b 比較，等等。這在很多時候簡化了程序員的代碼量。
一些程序員害怕 == 而提倡使用 === 的根本原因是，他們不知道在 == 的內部具體發生了什么。而這就導致誤用和出錯。
很多人認為，當我們不了解一個 feature 的時候，我們就不用它就行了。這也許是一種習慣性邏輯。但尷尬的是你不用這個 feature 沒問題，別人卻可能還是會用。為了能讀懂別人的代碼，我們又必須實際上搞清楚這內在的邏輯。所以最終還是得付出這方面的學習成本。
這真是讓人尷尬的一件事。
