手把手教会你JavaScript引擎如何执行JavaScript代码

在不同的运行环境中，变量和函数可访问的其他数据范围不同，环境的行为(比如创建和销毁)也有所区别。而每进入一个不同的运行环境时，JavaScript 都会创建一个新的执行上下文，该过程包括：

建立作用域链(Scope Chain);

创建变量对象(Variable Object，简称 VO);

确定 this 的指向。

由于建立作用域链过程中会涉及变量对象的概念，因此我们先来看看变量对象的创建，再看建立作用域链和确定 this 的指向。

创建变量对象

变量对象(VO)

每个执行上下文都会有一个关联的变量对象，该对象上会保存这个上下文中定义的所有变量和函数。

在浏览器中，全局环境的变量对象是window对象，因此所有的全局变量和函数都是作为window对象的属性和方法创建的。相应的，在 Node 中全局环境的变量对象则是global对象。

创建VO的过程

创建变量对象将会创建arguments对象(仅函数环境下)，同时会检查当前上下文的函数声明和变量声明。

对于变量声明：此时会给变量分配内存，并将其初始化为undefined(该过程只进行定义声明，执行阶段才执行赋值语句)。

对于函数声明：此时会在内存里创建函数对象，并且直接初始化为该函数对象。

变量声明和函数声明的处理过程，便是我们常说的变量提升和函数提升，其中函数声明提升会优先于变量声明提升。因为变量提升容易带来变量在预期外被覆盖掉的问题，同时还可能导致本应该被销毁的变量没有被销毁等情况。因此 ES6 中引入了let和const关键字，从而使 JavaScript 也拥有了块级作用域。

作用域

在各类编程语言中，作用域分为静态作用域和动态作用域。JavaScript 采用的是词法作用域(Lexical Scoping)，也就是静态作用域。词法作用域中的变量，在编译过程中会产生一个确定的作用域。

词法作用域中的变量，在编译过程中会产生一个确定的作用域，这个作用域即当前的执行上下文，在 ES5 后我们使用词法环境(Lexical Environment)替代作用域来描述该执行上下文。因此，词法环境可理解为我们常说的作用域，同样也指当前的执行上下文(注意，是当前的执行上下文)。

在 JavaScript 中，词法环境又分为词法环境(Lexical Environment)和变量环境(Variable Environment)两种，其中：