[27] 強制轉型 - 寬鬆相等 ( == ) vs. 嚴格相等 ( === )


keywords:loose equals,strict equals

寬鬆相等( loose equals )vs. 嚴格相等( strict equals )

  • 一般的描述是:『 == 檢查值 ( values ) 的相等性,=== 檢查值 ( values ) 及型別 ( types ) 的相等性 』 但這是錯的!!
  • 正確的描述應該是:『 == 允許相等性比較中的強制轉型,而 === 不允許強制轉型 』

相等性的效能

  • 一般描述中 === 所做的工作看似比 == 還要多,因為它也得檢查型別,但在正確的描述中會發現 == 才是作了比較多工作的一方,因為型別不同的話還得依循強制轉型的步驟
  • 如果想要強制轉型就使用 == 寬鬆相等性,不想要強制轉型就使用 === 嚴格相等性。因為這兩者都會檢查它們的運算元的型別,差別就在於如果型別不符合,要如何反應。

抽象相等性

== 運算子的行為定義在 2021 規格 7.2.15 Abstract Equality Comparison

abstract equality comparsion

不過有兩個例外不在一般預期的範圍內:

  1. NaN 永遠不等同於自己 NaN == NaN; // false
  2. +0 與 -0 彼此相等

     +0 == -0; // true 
    
     +0 === -0; // true  🤔
    
     Object.is(-0,+0); // false  correct!
    

  • object ( 包括 function 及 array ) 之間的 == 寬鬆相等性,當只有兩個物件指向完全相同的值的參考 ( references ) 時,才會相等,這裡不會發生強制轉型,而 == 及 === 如果比較的是兩個 object 那行為會完全相同。
  • != 寬鬆不相等 ( not- equality ) 就是完全執行 == 比較運算後,否定其結果,!=== 嚴格不相等 ( strict not-equality ) 亦同

現在整理一下規格 7.2.15 的文件 ( 注意這邊是 == 而不是 === )

1. 比較:null 與 undefined

基本上 null 與 undefined 之間的強制轉型是安全且可預測的,作者推薦使用這種強制轉型來讓 null 和 undefined 在比較上與彼此無異,因此可被視為同一個值

    let a;

    if ( a == null ) vs. if ( a === undefined || a === null )

    顯然隱含的強制轉型能夠增進程式碼可讀性

2. 比較:number 與 string

規格書 4.5 點表示會將 string 轉成 number ,進行數字的比較

    98 === '98'; // false

    98 == '98'; // true

    '1d' == 1; // false

    '  01  ' == 1; // true

3. 比較:BigInt 與 string

規格書 6.7 點表示會將 string 轉成 BigInt ,如果是 NaN 回傳 false,如果不是就進行 BigInt 比較

    '1' == 1n; // true

    0n == '0'; // true

4. 比較:Boolean 與 any

規格書 8.9 點表示不管一個 boolean 值出現在 == 的哪一邊或與什麼型別做比較, boolean 永遠都會先被強制轉型為一個 number

    false == 0; // true

    [1] == true; // true

    '98' == true; // false
  1. 正常來說 '98' 是一個 truthy 值,所以應該為 true,但是根據規格 Boolean 與 any 型別做 == 比較時會先轉型為 number
  2. so 它會執行 ToNumber(true), true 強制轉型為 1 現在就變成 '98' == 1
  3. 但型別仍然不同,所以遞迴地進行, '98' 會被強制轉型為 98 ( 根據上方 2 比較:number 與 string ),現在就變成 98 == 1 顯然就是 false 了

🚩 所以永遠都別使用 == 來與 true 或 false 做相等性比較,但不限於 ===
請參考:

    let a = '98';

    if(a == true); // 不好的 會失敗!

    if(a === true); // 不好的 會失敗!

    if(a); // 夠好的 隱含地運作

    if(!!a); // 更好 明確地運作

    if(Boolean(a)); // 也很棒 明確地運作

5. 比較:簡單的純量基型值 ( string、number、BigInt、symbol ) 與 物件( object / function / array)

規格書 10.11 點表示會將物件 ToPrimitive(object)

   [98] == 98; // true

   [98] 會呼叫它的 ToPrimitive 抽象運算會產生 '98' 

   就會變成:  '98' == 98;

   而前面的比較有說明過這種狀況就會變成:

   98 == 98; //true

6. 比較:BigInt 與 number

規格書 12 點表示如果有一邊是 NaN、+∞、-∞ 回傳 false,如果不是就用數學值比較

    1n == 1; // true

    1n == 1/0; // false

7. 以上都不是的話就是回傳 false

邊緣情況

列出幾個容易引起麻煩的:

    '0' == false; 適用比較方法 4 先將 boolean 轉為 number

    false == 0;  適用比較方法 4 先將 boolean 轉為 number

    false == ''; 適用比較方法 4 先將 boolean 轉為 number

    false == []; 適用比較方法 4 先將 boolean 轉為 number

    '' == 0; 適用比較方法 2 先將 string 轉為 number ,Number('')之前在 [21] 時有講過,不管是空白或 tab 皆為 0

    '' == []; 適用比較方法 5 先將 ToPrimitive(object) 轉為基本型別值 ''

    0 == []; 適用比較方法 5 先將 ToPrimitive(object) 轉為基本型別值 '' ,再使用比較方法 2 string 轉為 number

    全部皆為 // true 糗了!

安全地使用隱含的強制轉型

思考 == 比較的任一邊可能出現什麼值

  • 如果比較的任一邊有可能出現 true 或 false 值,千萬別用 ==
  • 如我比較的任一邊有可能出現 []、 '' 或 0 值,就慎重考慮不要使用 ==
#loose equals #strict equals
「你所不知道的 JS 」系列書籍閱讀心得,未閱讀前對於 JavaScript 皆是懵懵懂懂,因面試時發現自己很多觀念都不正確不清楚,所以這次一探 JavaScript 的運作方式。 * 系列一開始會先把大方向簡短的整理,之後會以每個項目做詳細的筆記






Related Posts

AWS EC2 佈署網站:卡關記錄 & 心得

AWS EC2 佈署網站:卡關記錄 & 心得

前後端分離與 SPA

前後端分離與 SPA

MTR04_0729

MTR04_0729



Comments