词法环境和环境记录
词法环境(Lexical Environments)
词法环境是一种规范类型，用于根据ECMAScript代码的词法嵌套结构定义标识符与特定变量和函数的关联。词法环境由环境记录和外层词法环境的引用组成。通常，词法环境与ECMAScript代码的某些特定语法结构相关联，例如函数声明、块级声明或try…catch语句等，并且每次运行此类代码时都会创建一个新的词法环境。
环境记录记录着与其关联的词法环境范围内的所有被创建的标识符绑定。它被称为词法环境的环境记录(EnvironmentRecord)。换句话说就是词法环境定义了了标识符与具体变量、函数的关联关系，而环境记录则保存着这些标识符绑定。
全局环境
词法环境是嵌套结构，一个词法环境可以作为多个内部词法环境的外部词法环境。但是全局环境是没有外部环境的词汇环境。全局环境的外部环境引用为null。全局环境的环境记录可以预先填充标识符绑定，并包括一个关联的全局对象(例如浏览器中的window)，其属性提供了一些全局环境的标识符绑定。此全局对象是全局环境的This绑定的值。在执行ECMAScript代码时，可以向全局对象添加其他属性，并修改初始属性。
模块环境
模块环境是一个词汇环境，包含模块顶级声明的绑定。它还包含由模块显式导入的绑定。模块环境的外部环境是全局环境。
函数环境
函数环境是对应于ECMAScript函数对象调用的词汇环境。函数环境可以建立新的this绑定。函数环境还捕获支持super方法调用所需的状态。
注意： 词法环境和环境记录值纯粹是规范机制，不需要对应于ECMAScript实现的任何特定构件。ECMAScript程序不可能直接访问或操作这些值。
环境记录(Environment Records)
ESCMAScript规范中使用了两种主要的环境记录值：声明性环境记录和对象环境记录。声明性环境记录用于定义ECMAScript语言语法元素（如FunctionDeclarations、VariableDeclarations和Catch子句）的效果，这些语法元素将标识符绑定与ECMAScript语言值直接关联。对象环境记录用于定义ECMAScript元素的效果，例如将标识符绑定与某些对象的属性相关联的WithStatement。全局环境记录和函数环境记录则是指具体被用于
script内的全局声明和函数内顶级声明。环境记录是一个抽象类，包含三个子类：声明性环境记录、对象环境记录和全局环境记录。函数环境记录和模块环境记录是声明性环境记录的子类。也就是说环境记录总共有四种：函数环境记录、模块环境记录、对象环境记录和全局环境记录。
模块环境记录
模块环境记录保存着模块顶级声明和不可变的导入绑定。
模块环境记录的HasThisBinding方法总是返回true，并且GetThisBinding方法返回undefined。
全局环境记录
全局环境记录保存着所有顶级声明、全局对象的属性和所有内置的全局变量的绑定。
全局环境记录的HasThisBinding方法总是返回true，并且GetThisBinding方法返回全局环境记录绑定的全局对象
对象环境记录
每个对象环境记录都与它的绑定对象相关联。对象环境记录绑定与其绑定对象的属性名称直接对应的字符串标识符名称集合。无论[[Enumerable]]属性的设置如何，都会将自己的属性和继承的属性都包含在集合中。由于可以从对象中动态添加和删除属性，因此对象环境记录绑定的标识符集可能会发生更改，这是添加或删除属性的任何操作的副作用。由于这种副作用而创建的任何绑定都被视为可变绑定，即使相应属性的Writable属性的值为false。对象环境记录不存在不可变绑定。
对象环境记录的HasThisBinding方法总是返回false。
函数环境记录
函数环境记录是一种声明性环境记录，用于表示函数的顶级范围，如果函数不是箭头函数(ArrowFunction)，则提供this绑定。如果函数不是ArrowFunction函数并引用super，则其函数环境记录还包含用于从函数内执行super方法调用的状态。
函数环境记录中有两个与this相关的内部属性和方法：
- [[thisValue]]: 函数调用时的this的值
- BindThisValue(): 设置[[thisValue]]并记录其已初始化。