快速理解 JavaScript 中的 LHS 和 RHS 查詢的用法

JavaScript 程序中的一段源代碼在執行之前會經歷三個步驟，統稱為 編譯

• 分詞/詞法分析
• 解析/語法分析
• 代碼生成

先看原書對一個賦值操作的拆解說明：
變量的賦值操作會執行兩個動作，首先編譯器會在當前作用域中聲明一個變量（如果之前沒有聲明過），然后在運行時引擎會在作用域中查找該變量，如果能夠找到就會對它賦值。 --- 《你不知道的JavaScript（上卷）》 P7

而要講的 LHS 和 RHS 就是上面說的對變量的兩種查找操作，查找的過程是由作用域（詞法作用域）進行協助，在編譯的第二步中執行。

LHS 和 RHS

• 字面意思其實是 Left Hand Side和 Right Hand Side 即左手邊和右手邊
• 一般可以理解為 賦值操作的左側和右側

先看個例子一

console.log(a);

這里對 a 是一個 RHS 引用，因為 a 并沒有賦予任何值，目的是為了取到 a 的值并打印出來。

a = 2;

這里對 a 是一個 LHS 引用，因為實際上我們不關心當前的值是什么，只是想要把 a 賦值為 2。

再看例子二

function foo(a) {
  console.log(a); // 2
}
foo(2);

• 最后一行foo(..)函數的調用需要對 foo 進行 RHS 引用，意味著是取到 foo 的值，并且 (..)意味著 foo 需要被執行，因此它最好是一個函數類型的值
  
• 其中有一個容易被忽略的隱式賦值操作 a = 2，它發生在 2 被當做實參傳入 foo 中時。即實參 2 傳給了形參 a，需要一個 LHS 查詢
• console 那一行還有對 a 的一次 RHS 引用（或者叫查詢），同時console.log(..)本身也需要一個 RHS 引用，即對 console 對象進行 RHS 查詢，并且檢查得到的值中是否有一個叫做 log 的方法。
• 書中有一段引擎和作用域的對話，有助于很好的理解例子二，see YDKJS github

小測驗

function foo(a) {
  var b = a;
  return a + b;
}
var c = foo(2);

試試找出其中的3處 LHS 查詢，4處 RHS 查詢

答案：

LHS 查詢：


c = ..;
a = 2(隱式變量分配）
b = ..

RHS 查詢

foo(2..
= a;
a ..
.. b

小結

參考原書中文版P12，英文版見 github

• 作用域是一套規則，用于確定在何處以及如何查找變量（標識符）。
• 如果查找的目的是對變量進行賦值，就會使用 LHS 查詢；如果目的是獲取變量的值，就會用 RHS 查詢。
• 賦值操作會導致 LHS 查詢。 = 操作符或調用函數時傳入參數的操作都會導致關聯作用域的賦值操作, 即都會導致 LHS 查詢。
• JavaScript 引擎首先會在代碼執行前對其進行編譯，在這個過程中，像var a = 2 這樣的聲明會被分解成兩個獨立的步驟：
• 首先，var a在其作用域中聲明新變量。這會在最開始的階段，也就是代碼執行前進行。
• 接下來，a = 2會查詢（LHS查詢）變量 a 并對其進行賦值。
• LHS 和 RHS 查詢都會在當前執行作用域中開始，如果有需要（也就是說它們沒有找到所需的標識符），就會向上級作用域繼續查找目標標識符，這樣每次上升一級作用域，最后到達全局作用域，無論找到或沒找到都將停止。
• 不成功的 RHS 引用會導致拋出 ReferenceError 異常。不成功的 LHS 引用會導致自動隱式地創建一個全局變量（非嚴格模式下），該變量使用 LHS 引用的目標作為標識符，或者拋出 ReferenceError 異常（嚴格模式下）。

以上就是本文的全部內容，希望對大家的學習有所幫助，也希望大家多多支持億速云。