JS的作用域

作用域是用來宣告，訪問和修改變數的上下文，定義了變數的訪問許可權和查詢機制。

作用域分類：

• 全域性作用域 (整個JS執行環境，最頂層作用域，其宣告的函式、變數等都是全域性的)
• 函式作用域 (函式執行時會建立作用域)
• 塊級作用域 ({ }大括號在 let、const關鍵字特性產生的作用域)

JS屬於編譯語言，逐行執行；編譯的過程分為三部分：

1. 分詞/詞法分析。

1. 解析/把詞法分析轉換成AST(抽象語法樹)。

1. 程式碼生成/把AST轉成可執行程式碼。

示例：

var a = 1;

編譯過程：

1. 分成var a、a=1；兩部分進行分析。

1. 檢視當前作用域是否有a，如果有就忽略，如果沒有就建立變數a。

1. (var、function宣告的變數會在當前作用域下進行變數提升)


2. 賦值操作，首先檢視當前作用域下是否有變數a，要是不存在變數a就會報錯，要是存在進行賦值；其次如果是作用域巢狀的情況，當前作用域下不存在變數a，就會向外層作用域查詢，直到全域性作用域，如果不存在變數a就會報錯。

執行過程：

1. 執行var a語句進行查詢a變數，這個過程叫做LHS(左側為查詢目標)。

1. 執行a = 1賦值操作，過程叫做RHS(右側為目標查詢的目的)。

1. 進行RHS必然會進行LHS。

注意：取值和賦值都是RHS，變數宣告和形參是LHS；RHS和LHS發生在執行過程中。

示例：

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

3處LHS查詢：

1. var c 宣告

1. var b 宣告

1. 形參 a 宣告

4處RHS查詢：

1. foo(2) 取值foo並執行

1. var b = a語句，取值a

1. a + b語句，取值a

1. a + b語句，取值b

用var宣告的變數會進行變數提升，提升到當前作用域的最頂部，其值是undefined，因此在變數前進行取值不會報錯。
非嚴格模式下對沒有用var關鍵字宣告的變數語句之前進行RHS，報ReferenceError異常。如果是之後進行RHS，會先進行LHS，如果當前作用域還是全域性作用域下都沒有找到，會自動建立一個全域性變數並返回，嚴格模式下LHR查詢失敗時，並不會建立一個全域性變數並返回，報ReferenceError異常。
變數的訪問許可權問題：

塊級作用域裡的變數外層作用域是無法訪問，變數是指由let，const。
函式的形參和變數，內部函式是外層作用域無法訪問，屬於區域性變數。變數是指由let，const，var，function宣告的。

原文地址：