本文基于《你不知道的Javascript》編寫。

JavaScript中在預(yù)編譯后執(zhí)行代碼時(shí)對(duì)變量的查詢分為LHS（Left-Hand-Side）查詢和RHS(Right-Hand-Side)查詢。
是一個(gè)賦值操作的左側(cè)和右側(cè)的意思；

（一）看一個(gè)轉(zhuǎn)換后的例子：

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

代碼執(zhí)行原理圖解：

（二）我的分析

示例：

找到其中所有的 LHS 查詢。

找到其中所有的 RHS 查詢。

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

分析：

(1)從 var c = foo( 2 );入手.c的賦值操作需要對(duì)c進(jìn)行一次LHS查詢,foo(2)需要進(jìn)行一次RHS查詢,去獲取 foo(2) 的值.(2)進(jìn)入函數(shù)聲明,foo(a){},這里有一個(gè)隱式賦值操作,需要對(duì)a進(jìn)行一次LHS查詢,判斷作用域中是否存在名為a的變量，若存在則直接賦值a=2;若不存在,如果是嚴(yán)格模式下,則報(bào)ReferenceError:a is not defined.如果非嚴(yán)格模式,則創(chuàng)建一個(gè)a的全局變量,并直接賦值a=2;(3)var b = a;需要對(duì)b進(jìn)行一次LHS查詢,以及對(duì)a進(jìn)行一次RHS查詢以獲得a的值;(4)return a + b;需要分別對(duì)a和b進(jìn)行RHS查詢;

（三）為什么區(qū)分 LHS 和 RHS 是一件重要的事情？

因?yàn)樵谧兞窟€沒有聲明（在任何作用域中都無法找到該變量）的情況下，這兩種查詢的行為是不一樣的。
考慮如下代碼：

function foo(a) {console.log( a + b );b = a; }foo( 2 );

第一次對(duì) b 進(jìn)行 RHS 查詢時(shí)是無法找到該變量的。也就是說，這是一個(gè)“未聲明”的變量，因?yàn)樵谌魏蜗嚓P(guān)的作用域中都無法找到它。
如果 RHS 查詢?cè)谒星短椎淖饔糜蛑斜閷げ坏剿璧淖兞?#xff0c;引擎就會(huì)拋出 ReferenceError異常。值得注意的是，ReferenceError 是非常重要的異常類型。
相較之下，當(dāng)引擎執(zhí)行 LHS 查詢時(shí)，如果在頂層（全局作用域）中也無法找到目標(biāo)變量，全局作用域中就會(huì)創(chuàng)建一個(gè)具有該名稱的變量，并將其返還給引擎，前提是程序運(yùn)行在非“嚴(yán)格模式”下。
“不，這個(gè)變量之前并不存在，但是我很熱心地幫你創(chuàng)建了一個(gè)。”
ES5 中引入了“嚴(yán)格模式”。同正常模式，或者說寬松 / 懶惰模式相比，嚴(yán)格模式在行為上有很多不同。其中一個(gè)不同的行為是嚴(yán)格模式禁止自動(dòng)或隱式地創(chuàng)建全局變量。因此，在嚴(yán)格模式中 LHS 查詢失敗時(shí)，并不會(huì)創(chuàng)建并返回一個(gè)全局變量，引擎會(huì)拋出同 RHS 查詢失敗時(shí)類似的 ReferenceError 異常。
接下來，如果 RHS 查詢找到了一個(gè)變量，但是你嘗試對(duì)這個(gè)變量的值進(jìn)行不合理的操作，比如試圖對(duì)一個(gè)非函數(shù)類型的值進(jìn)行函數(shù)調(diào)用，或著引用 null 或 undefined 類型的值中的屬性，那么引擎會(huì)拋出另外一種類型的異常，叫作 TypeError。
ReferenceError 同作用域判別失敗相關(guān)，而 TypeError 則代表作用域判別成功了，但是結(jié)果的操作是非法或不合理的。

(四)小結(jié)

• 作用域是一套規(guī)則，用于確定在何處以及如何查找變量（標(biāo)識(shí)符）。

• 如果查找的目的是對(duì)變量進(jìn)行賦值，就會(huì)使用 LHS 查詢；如果目的是獲取變量的值，就會(huì)用 RHS 查詢。

• 賦值操作會(huì)導(dǎo)致 LHS 查詢。 = 操作符或調(diào)用函數(shù)時(shí)傳入?yún)?shù)的操作都會(huì)導(dǎo)致關(guān)聯(lián)作用域的賦值操作, 即都會(huì)導(dǎo)致 LHS 查詢。

• JavaScript 引擎首先會(huì)在代碼執(zhí)行前對(duì)其進(jìn)行編譯，在這個(gè)過程中，像var a = 2 這樣的聲明會(huì)被分解成兩個(gè)獨(dú)立的步驟：
  1.首先，var a在其作用域中聲明新變量。這會(huì)在最開始的階段，也就是代碼執(zhí)行前進(jìn)行。
  2.接下來，a = 2會(huì)查詢（LHS查詢）變量 a 并對(duì)其進(jìn)行賦值。

• LHS 和 RHS
  查詢都會(huì)在當(dāng)前執(zhí)行作用域中開始，如果有需要（也就是說它們沒有找到所需的標(biāo)識(shí)符），就會(huì)向上級(jí)作用域繼續(xù)查找目標(biāo)標(biāo)識(shí)符，這樣每次上升一級(jí)作用域，最后到達(dá)全局作用域，無論找到或沒找到都將停止。

• 不成功的 RHS 引用會(huì)導(dǎo)致拋出 ReferenceError 異常。不成功的 LHS引用會(huì)導(dǎo)致自動(dòng)隱式地創(chuàng)建一個(gè)全局變量（非嚴(yán)格模式下），該變量使用 LHS 引用的目標(biāo)作為標(biāo)識(shí)符，或者拋出ReferenceError異常（嚴(yán)格模式下）。

總結(jié)

以上是生活随笔為你收集整理的LHS与RHS查询的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。