js基础梳理-究竟什么是执行上下文栈（执行栈），执行上下文(可执行代码）？

时间：2018-11-25 13:14:42 阅读：255 评论：0 收藏：0 [点我收藏+]

日常在群里讨论一些概念性的问题，比如变量提升，作用域和闭包相关问题的时候，经常会听一些大佬们给别人解释的时候说执行上下文，调用上下文巴拉巴拉，总有点似懂非懂，不明觉厉的感觉。今天，就对这两个概念梳理一下，加深对js基础核心的理解。

1. 执行上下文(execution context)与可执行代码（execution code）

1.1 首先说一下，可执行代码的类型有哪些：

全局代码：例如加载外部的js文件或者本地标签内的代码。全局代码不包括 function 体内的代码
函数代码：function体内的代码
eval代码：eval()函数计算某个字符串，并执行其中的js代码。比如eval("alert(‘hello world‘)")。虽然很强大，但实际用得很少，不讨论。

当js引擎遇到这三种类型的代码的时候，都会进行一些准备工作，这些准备工作，专业的说法就叫执行上下文。或者说js引擎遇到这三种类型的代码的时候，就会进入到一个执行上下文。

简而言之，执行上下文是评估和执行javascript代码的环境的抽象概念。每当javascript代码在运行的时候，它都是在执行上下文中运行。执行上下文可以理解为当前代码的执行环境，它会形成一个作用域（╭(╯^╰)╮，作用域就作用域嘛，说得这么拗口，非要搞个什么执行上下文的概念）。

1.2 那么js引擎在遇到可执行代码的时候，它究竟会做哪些准备工作呢？

全局执行上下文：创建一个全局的window对象（浏览器的情况下），并且设置 this 的值等于这个全局对象。一个程序中只会有一个全局执行上下文。
函数执行上下文：每当一个函数被调用时，都会为该函数创建一个新的上下文。每个函数都有自己的执行上下文，不过是在函数被调用时创建的。函数上下文可以有任意多个。每当一个新的执行上下文被创建，它会按定义的顺序执行一系列步骤。
eval函数执行上下文：略

其实没必要刻意去区分可执行代码与执行上下文。个人理解，当别人跟你聊一些概念性的东西，聊到可执行代码，可执行上下文，执行环境的时候，其实他们可能是想说作用域，只不过表述方式不同罢了。

2. 执行上下文栈（Execution context stack, ECS）

在一个javascript程序中，必定会产生多个执行上下文，javascript引擎会以栈的方式来处理它们，也就是执行上下文栈（很多文章可能会称它为执行栈，执行上下文堆栈，函数调用栈，其实都是差不多的意思）。

关于栈的概念和特性在上一篇博客：js基础梳理-内存空间已有介绍。

为了模拟执行上下文栈的行为，可以把它定义为一个数组：

ECStack = [];

现在 javascript遇到下面这段代码了

let a = 'hello world';

function first () {
    console.log('进入 first 函数执行上下文');
    second();
    console.log('再次进入 first 函数执行上下文');
}

function second () {
    console.log('进入 second 函数执行上下文');
}

first();

console.log('进入 全局执行上下文（Global Execution Context）')

当上述代码在浏览器加载时，Javascipt引擎创建了一个全局执行上下文并把它压入了执行上下文栈，用 globalContext表示它，并且只有当整个应用程序结束的时候（浏览器关闭），ECStack才会被清空，所以程序结束之前，ECStack最底部永远有个 globalContext:

ECStack = [
    globalContext
];

当执行到一个函数的时候，就会创建一个执行上下文，并且压入执行上下文栈，当函数执行完毕的时候，就会将函数的执行上下文从栈中弹出。知道了这样的工作原理，就可以分析出 ECStack的变化过程：

// 伪代码

// first()
ECStack.push(<first> functionContext);

// first中调用了second,继续创建second的执行上下文
ECStack.push(<second> functionContext);

// second执行完毕
ECStack.pop();

// first执行完毕
ECStack.pop();

// javascript接着执行下面的代码，但是ECStack底层永远有个globalContext;

技术分享图片

注意：函数中，遇到return能终止可执行代码的执行，因此会直接将当前上下文弹出栈。

例如，看以下这个闭包例子：

function f1(){
    var n=999;
    function f2(){
        alert(n);
    }
    return f2;
}
var result=f1();
result(); // 999

因为f1中的函数f2在f1的可执行代码中，并没有被调用执行，因此执行f1时，f2不会创建新的上下文，而直到result执行时，才创建了一个新的。具体演变过程如下：

// 伪代码：
// 全局上下文入栈：
ECStack = [
    globalContext
];

// f1 EC入栈：
ECStack.push(<f1> functionContext);
// f1 EC出栈：
ECStack.pop();
// result EC入栈：
ECStack.push(<result> functionContext);
// result EC出栈：
ECStack.pop();

3.执行上下文的生命周期

3.1 创建阶段

生成变量对象（Variable object, VO）
建立作用域链（Scope chain）
确定this指向