關於對“===”和“==”的思考

前提:偶然逛知乎看見關於對“===”和“==”比較的提問,覺得蠻有意思的,讓我這種小白明白這麼叫圖樣圖森破。所以來寫篇博客紀念下;


知乎原帖:

Javascript 中 == 和 === 區別是什麼?
JavaScript 中應該用 “==” 還是 “===”?


我們都該知道

~ 嚴格相等運算符“===”在比較的時候,首先計算操作數的值,然後比較這兩個值,比較的過程中沒有任何類型轉換。

~ 相等運算符“==”在比較的過程中存在類型轉換。

那麼

1.相等運算符“==”進行類型轉換會不會改變原來的變量?會不會產生其他的影響?
2.嚴格相等運算符“===”既然不會進行類型轉換是不是就要比相等運算符“==”更推薦使用呢?
……………………………………………..
a.首先進行類型轉換是不會改變原來的變量的,在變量賦值時內存會存儲值的類型;做雙等號比較操作時,會先做臨時類型轉換再做比較,內存中存儲的值還是原來的不會改變。

b.來自知乎:“== 是能產生副作用的,如果你覆寫某個對象的 valueOf/toString 的話。== 的隱式類型變換正是調用了這兩個方法,如果在覆蓋的方法裏寫了帶有副作用的代碼,確實也會導致 == 帶來副作用。

例子:

Array.prototype.valueOf = function() {
  this[0]++;
  return this;
}
var x = [1, 2, 3];
x == 0;
console.log(x);   // [2, 2, 3]

c.而關於推薦使用的這個問題,我在知乎得到的答案,總結而來是這個意思,“==”的實現雖然比“===”的實現複雜,切可能會帶來作用(b),但是如果願意去了解的話,使用並不會成爲問題。(所以如果你恰巧也要這樣的思慮,那就讓我們一起好好學習吧)


來自ECMAScript Lanuage Specification 9.13 9.16

The Abstract Equality Comparison Algorithm(“==”算法)

相等運算符 == 的實現

好了,當你明白了 === 的實現之後,我們再來看看 == 的實現,比較一下他們有何不同?
== 被稱爲 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

  1. 如果 x 是 null 且 y 是 undefined,返回 true

  2. 如果 x 是 undefined 且 y 是 null,返回 ture

  3. 如果 Type(x) 爲 Number 且 Type(y) 爲 String,以 x == ToNumber(y) 的比較結果作爲返回

  4. 如果 Type(x) 爲 String 且 Type(y) 爲 Number,以 ToNumber(x) == y 的比較結果作爲返回值

  5. 如果 Type(x) 爲 Boolean,以 ToNumber(x) == y 的比較結果作爲返回值

  6. 如果 Type(y) 爲 Boolean,以 x == ToNumber(y) 的比較結果作爲返回值

  7. 如果 Type(x) 爲 String 或 Number 且 Type(y) 爲 Object,以 x == ToPrimitive(y) 的比較結果作爲返回值

  8. 如果 Type(x) 爲 Object 且 Type(y) 爲 String 或 Number,以 ToPrimitive(x) == y 的比較結果作爲返回值

  9. 返回 false。

NOTE 4:字符串的比較,使用一個簡單的等式測試序列的代碼單元值。有沒有嘗試使用更復雜的語義定義的字符或字符串的平等和排序順序在Unicode規範定義。因此,規範字符串值相等,根據Unicode標準測試不平等。實際上這個算法假定字符串已經正常的形式。


The Strict Equality Comparison Algorithm(“===”算法)

嚴格相等運算符 === 的實現

=== 被稱爲 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

  1. 如果 Type(x) 爲 String,則當且僅當 x 與 y 的字符序列完全相同(長度相等,每個位置上的字符相同)時返回 true,否則返回 false

  2. 如果 Type(x) 爲 Boolean,則若 x 與 y 同爲 true 或同爲 false 時返回 true,否則返回 false

  3. 如果 x 和 y 引用的是同一個對象,返回 true,否則返回 false


以上可以看出”==”的實現確實比“===”更爲複雜


待完善!

參考:
edit fiddle :http://jsfiddle.net/26Lf0a0L/
ECMAScript :http://www.ecma-international.org/ecma-262/5.1/
http://javascript.ruanyifeng.com/grammar/operator.html#toc6

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章