ES6之后代码执行概念解析

新的ECMA代码执行描述

在之前学习Javascript代码执行过程中，我们学习了很多ECMA文档的术语。

执行上下文栈：Execution Context Stack；用于执行上下文的栈结构；
执行上下文：Execution Context，代码在执行前会先创建执行上下文
变量对象：Variable Object，上下文关联的VO对象，用于记录函数和变量声明；
全局对象：Global Object，全局上下文关联的VO对象；
激活对象：Activation Object，函数执行上下文关联的VO对象
作用域链：scope chain，作用域链，用于关联指向上下文的变量查找。

在新的ECMA代码执行描述中ES5之上，对于代码的执行流程描述改成了另外一些词汇，但是基本思路是相同的，只是对于一些词汇的描述发生了改变，执行上下文栈和执行上下文也是相同的。

词法环境Lexical Environments

词法环境是一种规范类型，用于在词法嵌套结构中定义关联的变量，函数等标识符。一个词法环境经常用于关联一个函数声明，代码块语句，try-catch词句，当他们的代码被执行时，词法环境被创建出来

也就是在ES5之后，执行一个代码，通常会关联对于的词法环境。那么执行上下文会关联哪些词法环境呢？

执行上下文通常关联的词法环境有词法环境LexicalEnvironment 和 变量环境VariableEnvironment

词法环境LexicalEnvironment 和 变量环境VariableEnvironment

为什么又要分为词法环境和变量环境呢？

词法变量LexicalEnvironment是用来定义我们的let，const声明的标识符。
变量环境VariableEnvironment用于处理var和function声明的标识符。

环境记录（Environment Record）

在这个规范中又两种主要的环境记录值：声明式环境记录和对象环境记录。

声明式环境记录：声明性环境记录用于定义ECMAScript语言语法元素的效果，如函数声明，变量声明和直接将标识符绑定与ECMAScript语言值关联起来的Catch子句
对象式环境记录：对象环境记录用于定义ECMAScript元素的效果，例如WithStatement，它将标识符绑定与某些对象的属性关联起来。

Javascript在执行过程中会产生AO，GO，VO，LE，VE，ER都是什么对象？

AO：是我们执行上下文正在执行的对象中会内部创建一个环境AO
GO：是我们全局作用域Goable Object
VO:英文全称Variable Object,是每个执行上下文关联的数据容器，存储变量、函数声明和形参。全局VO与 GO 是同一个对象（VO === GO）。函数VO，在函数执行前创建，称为活动对象（AO, Activation Object）
LE：是词法环境
VE：是变量环境
ER：环境记录