詞法環(huán)境 是一個用于定義特定變量和函數標識符在 ECMAScript 代碼的詞法嵌套結構上關聯關系的規(guī)范類型。一個詞法環(huán)境由一個環(huán)境記錄項和可能為空的外部詞法環(huán)境引用構成。通常詞法環(huán)境會與特定的 ECMAScript 代碼諸如 FunctionDeclaration,WithStatement 或者 TryStatement 的 Catch 塊這樣的語法結構相聯系，且類似代碼每次執(zhí)行都會有一個新的語法環(huán)境被創(chuàng)建出來。

 環(huán)境記錄項記錄了在它的關聯詞法環(huán)境域內創(chuàng)建的標識符綁定情形。

 外部詞法環(huán)境引用用于表示詞法環(huán)境的邏輯嵌套關系模型。（內部）詞法環(huán)境的外部引用是邏輯上包含內部詞法環(huán)境的詞法環(huán)境。外部詞法環(huán)境自然也可能有多個內部詞法環(huán)境。例如，如果一個 FunctionDeclaration 包含兩個嵌套的 FunctionDeclaration，那么每個內嵌函數的詞法環(huán)境都是外部函數本次執(zhí)行所產生的詞法環(huán)境。

 詞法環(huán)境和環(huán)境記錄項是純粹的規(guī)范機制，而不需要 ECMAScript 的實現保持一致。ECMAScript 程序不可能直接訪問或者更改這些值。

環(huán)境記錄項

 在本標準中，共有 2 類環(huán)境記錄項： 聲明式環(huán)境記錄項 和 對象式環(huán)境記錄項 。聲明式環(huán)境記錄項用于定義那些將 標識符 與語言值直接綁定的 ECMA 腳本語法元素，例如 函數定義 ， 變量定義 以及 Catch 語句。對象式環(huán)境記錄項用于定義那些將 標識符 與具體對象的屬性綁定的 ECMA 腳本元素，例如 程序 以及 With 表達式 。

 出于標準規(guī)范的目的，可以將環(huán)境記錄項理解為面向對象中的一個簡單繼承結構，其中環(huán)境記錄項是一個抽象類花前月下有 2 個具體實現類，分別為聲明式環(huán)境記錄項和對象式環(huán)境記錄項。抽象類包含了表 17 所描述的抽象方法定義，針對每一個具體實現類，每個抽象方法都有不同的具體算法。

聲明式環(huán)境記錄項

 每個聲明式環(huán)境記錄項都與一個包含變量和（或）函數聲明的 ECMA 腳本的程序作用域相關聯。聲明式環(huán)境記錄項用于綁定作用域內定義的一系列標識符。

 除了所有環(huán)境記錄項都支持的可變綁定外，聲明式環(huán)境記錄項還提供不可變綁定。在不可變綁定中，一個標識符與它的值之間的關聯關系建立之后，就無法改變。創(chuàng)建和初始化不可變綁定是兩個獨立的過程，因此類似的綁定可以處在已初始化階段或者未初始化階段。除了環(huán)境記錄項定義的抽象方法外，聲明式環(huán)境記錄項還支持表 18 中列出的方法：

 環(huán)境記錄項定義的方法的具體行為將由以下算法給予描述。

HasBinding (N)

 聲明式環(huán)境記錄項的 HasBinding 具體方法用于簡單地判斷作為參數的標識符是否是當前對象綁定的標識符之一：

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 如果 envRec 有一個名稱為 N 的綁定，返回 true。
3. 如果沒有該綁定，返回 false。

CreateMutableBinding (N, D)

 聲明式環(huán)境記錄項的 CreateMutableBinding 具體方法會創(chuàng)建一個名稱為 N 的綁定，并初始化其值為 undefined。方法調用時，當前環(huán)境記錄項中不能存在 N 的綁定。如果調用時提供了布爾類型的參數 D 且其值為 true，則新建的綁定被標記為可刪除。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 執(zhí)行斷言：envRec 沒有 N 的綁定。
3. 在 envRec 中為 N 創(chuàng)建一個可變綁定，并將綁定的值設置為 undefined。如果 D 為 true 則新創(chuàng)建的綁定可在后續(xù)操作中通過調用 DeleteBinding 刪除。

SetMutableBinding (N,V,S)

 聲明式環(huán)境記錄項的 SetMutableBinding 具體方法嘗試將當前名稱為參數 N 的綁定的值修改為參數 V 指定的值。方法調用時，必須存在 N 的綁定。如果該綁定為不可變綁定，并且 S 的值為 true，則拋出一個 TypeError 異常。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 執(zhí)行斷言：envRec 必須有 N 的綁定。
3. 如果 envRec 中 N 的綁定為可變綁定，則將其值修改為 V。
4. 否則該操作會嘗試修改一個不可變綁定的值，因此如果 S 的值為 true，則拋出一個 TypeError 異常。

GetBindingValue (N,S)

 聲明式環(huán)境記錄項的 GetBindingValue 具體方法簡單地返回名稱為參數 N 的綁定的值。方法調用時，該綁定必須存在。如果 S 的值為 true 且該綁定是一個未初始化的不可變綁定，則拋出一個 ReferenceError 異常。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 執(zhí)行斷言：envRec 必須有 N 的綁定。
3. 如果 envRec 中 N 的綁定是一個未初始化的不可變綁定，則：如果 S 為 false，返回 undefined，否則拋出一個 ReferenceError 異常。
4. 否則返回 envRec 中與 N 綁定的值。

DeleteBinding (N)

 聲明式環(huán)境記錄項的 DeleteBinding 具體方法只能刪除顯示指定可被刪除的那些綁定。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 如果 envRec 不包含名稱為 N 的綁定，返回 true。
3. 如果 envRec 中 N 的綁定不能刪除，返回 false。
4. 移除 envRec 中 N 的綁定。
5. 返回 true。

ImplicitThisValue()

 聲明式環(huán)境記錄項永遠將 undefined 作為其 ImplicitThisValue 返回。

1. 返回 undefined。

CreateImmutableBinding (N)

 聲明式環(huán)境記錄項的 CreateImmutableBinding 具體方法會創(chuàng)建一個不可變綁定，其名稱為 N 且初始化其值為 undefined。調用方法時，該環(huán)境記錄項中不得存在 N 的綁定。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 執(zhí)行斷言：envRec 不存在 N 的綁定。
3. 在 envRec 中為 N 創(chuàng)建一個不可變綁定，并記錄為未初始化。

InitializeImmutableBinding (N,V)

 聲明式環(huán)境記錄項的 InitializeImmutableBinding 具體方法用于將當前名稱為參數 N 的綁定的值修改為參數 V 指定的值。方法調用時，必須存在 N 對應的未初始化的不可變綁定。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 執(zhí)行斷言：envRec 存在一個與 N 對應的未初始化的不可變綁定。
3. 在 envRec 中將 N 的綁定的值設置為 V。
4. 在 envRec 中將 N 的不可變綁定記錄為已初始化。

對象式環(huán)境記錄項

 每一個對象式環(huán)境記錄項都有一個關聯的對象，這個對象被稱作 綁定對象 。對象式環(huán)境記錄項直接將一系列標識符與其綁定對象的屬性名稱建立一一對應關系。不符合IdentifierName 的屬性名不會作為綁定的標識符使用。無論是對象自身的，還是繼承的屬性都會作為綁定，無論該屬性的 [[Enumerable]] 特性的值是什么。由于對象的屬性可以動態(tài)的增減，因此對象式環(huán)境記錄項所綁定的標識符集合也會隱匿地變化，這是增減綁定對象的屬性而產生的副作用。通過以上描述的副作用而建立的綁定，均被視為可變綁定，即使該綁定對應的屬性的 Writable 特性的值為 false。對象式環(huán)境記錄項沒有不可變綁定。

 對象式環(huán)境記錄項可以通過配置的方式，將其綁定對象合為函數調用時的隱式 this 對象的值。這一功能用于規(guī)范 With 表達式（12.10 章 ）引入的綁定行為。該行為通過對象式環(huán)境記錄項中布爾類型的 provideThis 值控制，默認情況下，provideThis 的值為 false。

 環(huán)境記錄項定義的方法的具體行為將由以下算法給予描述。

HasBinding(N)

 對象式環(huán)境記錄項的 HasBinding 具體方法判斷其關聯的綁定對象是否有名為 N 的屬性：

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 令 bindings 為 envRec 的綁定對象。
3. 以 N 為屬性名，調用 bindings 的 [[HasProperty]] 內部方法，并返回調用的結果。

CreateMutableBinding (N, D)

 對象式環(huán)境記錄項的 CreateMutableBinding 具體方法會在其關聯的綁定對象上創(chuàng)建一個名稱為 N 的屬性，并初始化其值為 undefined。調用方法時，綁定對象不得包含名稱為 N的屬性。如果調用方法時提供了布爾類型的參數 D 且其值為 true，則設置新創(chuàng)建的屬性的 [[Configurable]] 特性的值為 true，否則設置為 false。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 令 bindings 為 envRec 的綁定對象。
3. 執(zhí)行斷言：以 N 為屬性名，調用 bindings 的 [[HasProperty]] 內部方法，調用的結果為 false。
4. 如果 D 的值為 true，則令 configValue 的值為 true，否則令 configValue 的值為 false。
5. 以 N、屬性描述符 {[[Value]]:undefined, [[Writable]]: true, [[Enumerable]]: true , [[Configurable]]: configValue} 和布爾值 true 為參數，調用 bindings 的 [[DefineOwnProperty]] 內部方法。

SetMutableBinding (N,V,S)

 對象式環(huán)境記錄項的 SetMutableBinding 具體方法會嘗試設置其關聯的綁定對象中名為 N 的屬性的值為 V。方法調用時，綁定對象中應當存在該屬性，如果該屬性不存在或屬性不可寫，則根據 S 參數的值來執(zhí)行錯誤處理。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 令 bindings 為 envRec 的綁定對象
3. 以 N、V 和 S 為參數，調用 bindings 的 [[Put]] 內部方法。

GetBindingValue(N,S)

 對象式環(huán)境記錄項的 GetBindingValue 具體方法返回其關聯的綁定對象中名為 N 的屬性的值。方法調用時，綁定對象中應當存在該屬性，如果該屬性不存在，則方法的返回值由 S參數決定：

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 令 bindings 為 envRec 的綁定對象
3. 以 N 為屬性名，調用 bindings 的 [[HasProperty]] 內部方法，并令 value 為調用的結果。
4. 如果 value 的值為 false，則：如果 S 的值為 false，則返回 undefined，否則拋出一個 ReferenceError 異常。
5. 以 N 為參數，調用 bindings 的 [[Get]] 內部方法，并返回調用的結果。

DeleteBinding (N)

 對象式環(huán)境記錄項的 DeleteBinding 具體方法只能用于刪除其關聯的綁定對象上 [[Configurable]] 特性的值為 true 的屬性所對應的綁定。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 令 bindings 為 envRec 的綁定對象
3. 以 N 和布爾值 false 為參數，調用 bindings 的 [[Delete]] 內部方法。

ImplicitThisValue()

 對象式環(huán)境記錄項的 ImplicitThisValue 通常返回 undefined，除非其 provideThis 標識的值為 true。

1. 令 envRec 為函數調用時對應的聲明式環(huán)境記錄項。
2. 如果 envRec 的 provideThis 標識的值為 true，返回 envRec 的綁定對象。
3. 否則返回 undefined。

詞法環(huán)境的運算

 在本標準中，以下抽象運算將被用于操作環(huán)境記錄項：

GetIdentifierReference (lex, name, strict)

 當調用 GetIdentifierReference 抽象運算時，需要指定一個 詞法環(huán)境 lex，一個標識符字符串 name 以及一個布爾型標識 strict。lex 的值可以為 null。當調用該運算時，按以下步驟進行：

1. 如果 lex 的值為 null，則：返回一個類型為 引用 的對象，其基值為 undefined，引用的名稱為 name，嚴格模式標識的值為 strict。
2. 令 envRec 為 lex 的環(huán)境數據。
3. 以 name 為參數 N，調用 envRec 的 HasBinding(N) 具體方法，并令 exists 為調用的結果。
4. 如果 exists 為 true，則：返回一個類型為 引用 的對象，其基值為 envRec，引用的名稱為 name，嚴格模式標識的值為 strict。
5. 否則：令 outer 為 lex 的 外部環(huán)境引用 。以 outer、name 和 struct 為參數，調用 GetIdentifierReference，并返回調用的結果。

NewDeclarativeEnvironment (E)

 當調用 NewDeclarativeEnvironment 抽象運算時，需指定一個 詞法環(huán)境 E，其值可以為 null，此時按以下步驟進行：

1. 令 env 為一個新建的 詞法環(huán)境 。
2. 令 envRec 為一個新建的 聲明式環(huán)境數據 ，該環(huán)境數據不包含任何綁定。
3. 令 env 的環(huán)境數據為 envRec。
4. 令 env 的外部詞法環(huán)境引用至 E。
5. 返回 env。

NewObjectEnvironment (O, E)

 當調用 NewObjectEnvironmentis 抽象運算時，需指定一個對象 O 及一個 詞法環(huán)境 E（其值可以為 null），此時按以下步驟進行：

1. 令 env 為一個新建的 詞法環(huán)境 。
2. 令 envRec 為一個新建的 對象環(huán)境數據 ，該環(huán)境數據包含 O 作為綁定對象。
3. 令 env 的環(huán)境數據為 envRec。
4. 令 env 的外部詞法環(huán)境引用至 E。
5. 返回 env。

全局環(huán)境

 全局環(huán)境 是一個唯一的 詞法環(huán)境 ，它在任何 ECMA 腳本的代碼執(zhí)行前創(chuàng)建。全局環(huán)境的 環(huán)境數據 是一個 #object-environment-record 對象環(huán)境數據，該環(huán)境數據使用 全局對象（15.1）作為 綁定對象 。全局環(huán)境的 外部環(huán)境引用 為 null。

 在 ECMA 腳本的代碼執(zhí)行過程中，可能會向 全局對象 添加額外的屬性，也可能修改其初始屬性的值。