ECMAScript 词法和 excution context

Source code

Source code，即 ECMAScript 代码，由任意 Unicode code point（即码点，也称码位，上一篇笔记有）组成。词法分析时，ECMAScript 代码被转换成一系列的 input elements，这些 elements 可以分为 white space、line terminator、comment、token 几类。其中 Unicode 里的一些特定的码位被当做 white space 和 line terminator。comment 结尾的 line terminator 不被视作 comment 的内容，而是一个单独的 input element。

Token

token 可以分为如下几类：

• identifier name
  • reversed word
    • keyword
    • future reversed word
    • null literal
    • boolean literal
  • identifier
• punctuator
• numeric literal
• string literal
• template（即字符串模板）

Lexical Environment

Lexical Environment 是一种 specification type，它用于根据 ECMAScript 词法嵌套代码定义标识符和特定的变量和函数之间的关联。包含 Environment Record 和一个对外部 lexical environment 的 reference 两个部分，当一个 environment record 是 global environment record 时，引用的值为 null。体现在对 ECMAScript 规范的实现上，这个 Lexical Environment 就是一种数据结构。通常，词法环境与 ECMAScript 代码的某些特定语法结构（例如，function declaration，block statement 或 try statement 的 catch 子句）相关联，并且每次此类代码被执行时都会创建一个新的 lexical environment。

Environment Record

规范里，Environment Record 是一个 Record（Record 是 ECMAScript 的 specification type 之一，可以理解成由 key-value pairs 组成的集合），在一个简单的面向对象的层次结构中，可以被认为是一个具有三个实体子类的抽象类：

• Declaration Environment Record：通过 var、let、const、function、class、import 关键字声明定义的 identifier 及其对应的信息就记录在 Declaration Environment Record 里
• Object Environment Record：与 with 语句相关
• Global Environment Record：全局最外层的 environment record，ECMAScript 内置的对象和方法相关的信息就记录在此
  其中 Declaration Environment Record 又有两个子类：
• Function Environment Record：一个函数内部最外层的 environment record
• Module Environment Record：与 Module 有关
  正是这些类内部的方法决定了执行 ECMAScript 代码时，通过一个 identifier 如何访问到其对应值的机制。

Execution Context

是一个 specification device，用于追踪 ECMAScript 代码的执行。执行 ECMAScript 代码的过程中有可能有多个 execution contexts，这些execution contexts 通过栈来追踪，每生成一个新的 execution context 便将其推入栈，同一时间只有栈顶的那个 execution contexts 出于运行中，运行结束之后便将之出栈。生成新的 execution context 的情况有三种：

• 执行全局的 ECMAScript 代码时
• 执行 Module 代码
• 执行一个 function 里的代码

每个 execution context 包含五个 component：

• code evaluation state
• Function：当执行的是 function 里的代码时，值为对应的 function object，否则为 null
• Realm：不好理解，一个 iframe 和其 parent 的 execution context 里的 Realm 是不相同的，比如在某个 iframe 里执行 [1, 2, 3] instanceof window.parent.Array，结果是 false
• VariableEnvironment：所有通过 var 声明的 identifiers 组成的 environment record 所对应的 lexical environment
• LexicalEnvironment：：所有通过 let、const、class 等声明的 identifiers 组成的 environment record 所对应的 lexical environment

NOTE

• 在 let、const、class 声明 identifier 的语句前访问这些 identifier 会报错，即使 outer lexical environment 里已经有一个一样的 identifier，这也是造成所谓「临时性死区」的原因
• 只有 function 和 Module 里的 var 声明的 identifier 不会被提升到 global environment record 里
• 一个新的 execution context 生成时，必至少有一个新的 lexical environment 随之而生成，反之则不然
• 普通函数里的 this 值由该函数调用的方式决定
• 箭头函数里的 this 值由该函数被声明时所处的的 lexical environment 决定

参考：

• http://www.ecma-international.org/ecma-262/6.0/