EC+VO+SCOPE for ES3

詞法環境

詞法作用域

詞法作用域（lexcical scope）。即JavaScript變量的作用域是在定義時決定而不是執行時決定，也就是說詞法作用域取決于源碼。

詞法環境

用于定義特定變量和函數標識符在ECMAScript代碼的詞法嵌套結構上的關聯關系，一個詞法環境由一個環境記錄項和可能為空的外部詞法環境引用構成

詞法環境 = 詞法環境記錄項 + 外部詞法環境
外部詞法環境是包含內部詞法環境的詞法環境，外部詞法環境可能有多個內部詞法環境

環境記錄項 = 聲明式環境記錄項 || 對象式環境記錄項

執行環境

javascript引擎在執行每個函數實例時，都會創建一個執行環境（execution context）
執行環境中包含一個調用對象（call object）, 調用對象是一個scriptObject結構（scriptObject是與函數相關的一套靜態系統，與函數實例的生命周期保持一致），用來保存內部變量表varDecls、內嵌函數表funDecls、父級引用列表upvalue等語法分析結構。 varDecls和funDecls等信息是在語法分析階段就已經得到，并保存在語法樹中
函數實例執行時，會將這些信息從語法樹復制到scriptObject上

Executable Code and Execution contents

“執行上下文”可以看做當前代碼的運行環境或者作用域。

Types of Executable Code

Global Code：全局級別的代碼 – 這個是默認的代碼運行環境，一旦代碼被載入，引擎最先進入的就是這個環境。
Function Code: 函數級別的代碼 – 當執行一個函數時，運行函數體中的代碼。
Eval Code: 在Eval函數內運行的代碼，在特定的一次對 eval 的調用過程中，eval 代碼作為該程序的 Global Code 部分。

每當調用執行一個函數時，引擎就會自動新建出一個函數上下文, 函數中函數也可能調用另一個函數，這樣又創建一個執行環境，也被稱為上下文堆棧

執行上下文堆棧

ECMAScript的程序執行都可以看做是一個執行上下文堆棧[execution context (EC) stack]。堆棧的頂部就是處于激活狀態的上下文，堆棧最底部即為全局執行上下文環境[global execution context]；
激活其它上下文的某個上下文被稱為調用者(caller) 。被激活的上下文被稱為被調用者(callee) 。被調用者同時也可能是調用者(比如一個在全局上下文中被調用的函數調用某些自身的內部方法)。
當一個caller激活了一個callee，那么這個caller就會暫停它自身的執行，然后將控制權交給這個callee. 于是這個callee被放入堆棧，稱為進行中的上下文[running/active execution context]. 當這個callee的上下文結束之后，會把控制權再次交給它的caller，然后caller會在剛才暫停的地方繼續執行。在這個caller結束之后，會繼續觸發其他的上下文。一個callee可以用返回（return）或者拋出異常（exception）來結束自身的上下文。

執行上下文的建立過程

每當調用一個函數時，一個新的執行上下文就會被創建出來。然而，在javascript引擎內部，這個上下文的創建過程具體分為兩個階段:

建立階段(發生在當調用一個函數時，但是在執行函數體內的具體代碼以前)
- 建立變量，函數，arguments對象，參數
- 建立作用域鏈
- 確定this的值
代碼執行階段:
- 變量賦值，函數引用，執行其它代碼

實際上，可以把執行上下文看做一個對象，其下包含了以上3個屬性：

 executionContextObj = {variableObject: { /* 函數中的arguments對象, 參數, 內部的變量以及函數聲明 */ },scopeChain: {   /* variableObject 以及所有父執行上下文中的variableObject */ },this: {}} 

變量對象(variable object)

變量對象(縮寫為VO)是一個與執行上下文相關的特殊對象，它存儲著在上下文中聲明的以下內容：

變量 (var, 變量聲明)
函數聲明 (FunctionDeclaration, 縮寫為FD);
函數的形參注：只有全局上下文的變量對象允許通過VO的屬性名稱來間接訪問

不同執行上下文中的變量對象

對于所有類型的執行上下文來說，變量對象的一些操作(如變量初始化)和行為都是共通的。從這個角度來看，把變量對象作為抽象的基本事物來理解更為容易。同樣在函數上下文中也定義和變量對象相關的額外內容。

抽象變量對象VO (變量初始化過程的一般行為)

全局上下文變量對象GlobalContextVO

(VO === this === global), VO:
- 所有函數聲明(FunctionDeclaration, FD)
- 所有變量聲明(var, VariableDeclaration)
函數上下文變量對象FunctionContextVO

(VO === AO, 并且添加了arguments和形參), AO:
- 普通參數(formal parameters) 與特殊參數(arguments)對象
- 所有函數聲明(FunctionDeclaration, FD)
- 所有變量聲明(var, VariableDeclaration)
eval上下文
- eval會使用全局變量對象或調用者的變量對象(eval的調用來源)
- 變量聲明在順序上跟在函數聲明和形式參數聲明之后，但不會干擾AO中已經存在的同名函數聲明或形式參數聲明
- (function x() {}); 類似這樣的函數表達式并不會影響AO
- 不管是使用var關鍵字(在全局上下文)還是不使用var關鍵字(在任何地方)，都可以聲明一個變量”。請記住，這是錯誤的概念；任何時候，變量只能通過使用var關鍵字才能聲明。

變量的特性

變量有一個特性(attribute)：{DontDelete},這個特性的含義就是不能用delete操作符直接刪除變量屬性
eval上下文，變量沒有{DontDelete}特性, 使用一些調試工具(例如：Firebug)的控制臺測試該實例時，請注意，Firebug同樣是使用eval來執行控制臺里你的代碼。因此，變量屬性同樣沒有{DontDelete}特性，可以被刪除。

作用域

javascript變量的作用域是在定義時決定而不是執行時決定，也就是說詞法作用域取決于源碼，編譯器通過靜態分析就能確定，因此詞法作用域也叫做靜態作用域（static scope）。但需要注意，with和eval的語義無法僅通過靜態技術實現，所以只能說javascript的作用域機制非常接近詞法作用域（lexical scope）

作用域鏈

在ECMAScript中，會用到內部函數[inner functions]，在這些內部函數中，我們可能會引用它的父函數變量，或者全局的變量。我們把這些變量對象成為上下文作用域對象[scope object of the context]. 類似于上面討論的原型鏈[prototype chain]，我們在這里稱為作用域鏈[scope chain]

作用域鏈與一個執行上下文相關, 用于在標識符解析中變量查找。標示符[Identifiers]可以理解為變量名稱、函數聲明和普通參數

函數上下文的作用域鏈在函數調用時創建的，包含活動對象和這個函數內部的[[scope]]屬性。其scope定義如下：Scope = AO + [[Scope]]

函數在被創建時保存外部作用域，是因為這個被保存的作用域鏈(saved scope chain) 將會在未來的函數調用中用于變量查找。這種形式的作用域稱為靜態作用域[static/lexical scope]

在上下文中示意如下：

activeExecutionContext = {VO: {...}, // or AOthis: thisValue,Scope: [ // Scope chain// 所有變量對象的列表// for identifiers lookup]
};

var x = 10;function foo() {alert(x);
}(function () {var x = 20;foo(); // 10, but not 20
})();

在標識符解析過程中，使用函數創建時定義的詞法作用域－－變量解析為10，而不是20。此外，這個例子也清晰的表明，一個函數（這個例子中為從函數“foo”返回的匿名函數）的[[scope]]持續存在，即使是在函數創建的作用域已經完成之后。

補充說明

通過構造函數創建的函數的[[scope]]屬性總是唯一的全局對象
在代碼執行階段有兩個聲明能修改作用域鏈。這就是with聲明和catch語句
在代碼執行過程中，如果使用with或者catch語句就會改變作用域鏈。而這些對象都是一些簡單對象，他們也會有原型鏈。這樣的話，作用域鏈會從兩個維度來搜尋。
在解釋執行階段，遇到變量需要解析時，會首先從當前執行環境的活動對象中查找，如果沒有找到而且該執行環境擁有者有prototype屬性時，則會從prototype鏈中查找，否則將會按照作用域鏈查找；

end!

轉載于:https://www.cnblogs.com/mininice/p/3876307.html