执行上下文

From AI

在 JavaScript 中，执行上下文（Execution Context）是一个抽象的概念，它是 JavaScript 引擎在执行代码时创建的一个环境，用来存储代码执行过程中的所有信息，包括变量、函数、作用域、this 等信息。

每当 JavaScript 引擎执行一段代码时，都会创建一个对应的执行上下文，用来存储该代码执行过程中的所有信息。执行上下文可以分为以下三种类型：

全局执行上下文（Global Execution Context）全局执行上下文是在页面加载时创建的，它是整个页面的顶层执行上下文，用来存储全局变量和全局函数等信息。在整个页面的生命周期中，全局执行上下文只会被创建一次，并且在页面关闭时才会被销毁。
函数执行上下文（Function Execution Context）函数执行上下文是在函数被调用时创建的，它是函数的执行环境，用来存储函数内部的变量、函数和作用域等信息。在函数执行完毕后，函数执行上下文会被销毁。
Eval 执行上下文（Eval Function Execution Context） Eval 执行上下文是在调用 eval 函数时创建的，它是 eval 函数的执行环境，用来存储 eval 函数内部的变量、函数和作用域等信息。在 eval 函数执行完毕后，Eval 执行上下文会被销毁。

执行上下文的创建过程包括以下几个步骤：

创建变量对象（Variable Object）：变量对象用来存储当前执行上下文中的变量、函数声明和函数参数等信息。
创建作用域链（Scope Chain）：作用域链是用来解决变量访问权限和可见性的机制，它是由当前执行上下文的变量对象和上层执行上下文的作用域链组成的。
确定 this 的值：this 是一个关键字，用来引用当前函数的执行上下文中的对象，它的值取决于函数的调用方式和上下文。
解释和执行代码：JavaScript 引擎会解释和执行代码，包括变量赋值、函数调用、条件语句、循环语句等。

执行上下文是一个重要的概念，它会影响 JavaScript 代码的执行过程和结果。在执行上下文中，变量对象会被创建，作用域链会被建立，this 的值会被确定，代码会被解释和执行等。了解执行上下文的创建和作用可以帮助我们更好地理解 JavaScript 中的变量、函数和作用域等概念，并且可以帮助我们更好地理解代码的执行过程。

前言

在《JavaScript深入之执行上下文栈》中讲到，当 JavaScript 代码执行一段可执行代码(executable code)时，会创建对应的执行上下文(execution context)。

对于每个执行上下文，都有三个重要属性：

变量对象(Variable object，VO)
作用域链(Scope chain)
this

然后分别在《JavaScript深入之变量对象》、《JavaScript深入之作用域链》、《JavaScript深入之从ECMAScript规范解读this》中讲解了这三个属性。

阅读本文前，如果对以上的概念不是很清楚，希望先阅读这些文章。

因为，这一篇，我们会结合着所有内容，讲讲执行上下文的具体处理过程。

思考题

在《JavaScript深入之词法作用域和动态作用域》中，提出这样一道思考题：

var scope = "global scope";
function checkscope(){
    var scope = "local scope";
    function f(){
        return scope;
    }
    return f();
}
checkscope();

// -----------------

var scope = "global scope";
function checkscope(){
    var scope = "local scope";
    function f(){
        return scope;
    }
    return f;
}
checkscope()();

两段代码都会打印'local scope'。虽然两段代码执行的结果一样，但是两段代码究竟有哪些不同呢？

紧接着就在下一篇《JavaScript深入之执行上下文栈》中，讲到了两者的区别在于执行上下文栈的变化不一样，然而，如果是这样笼统的回答，依然显得不够详细，本篇就会详细的解析执行上下文栈和执行上下文的具体变化过程。

具体执行分析

我们分析第一段代码：

var scope = "global scope";
function checkscope(){
    var scope = "local scope";
    function f(){
        return scope;
    }
    return f();
}
checkscope();

执行过程如下：

1.执行全局代码，创建全局执行上下文，全局上下文被压入执行上下文栈

    ECStack = [
        globalContext
    ];

2.全局上下文初始化

    globalContext = {
        VO: [global],
        Scope: [globalContext.VO],
        this: globalContext.VO
    }

2.初始化的同时，checkscope 函数被创建，保存作用域链到函数的内部属性[[scope]]

    checkscope.[[scope]] = [
      globalContext.VO
    ];

3.执行 checkscope 函数，创建 checkscope 函数执行上下文，checkscope 函数执行上下文被压入执行上下文栈

    ECStack = [
        checkscopeContext,
        globalContext
    ];

4.checkscope 函数执行上下文初始化：

1. 复制函数 [[scope]] 属性创建作用域链，
1. 用 arguments 创建活动对象，
1. 初始化活动对象，即加入形参、函数声明、变量声明，
1. 将活动对象压入 checkscope 作用域链顶端。

同时 f 函数被创建，保存作用域链到 f 函数的内部属性[[scope]]

    checkscopeContext = {
        AO: {
            arguments: {
                length: 0
            },
            scope: undefined,
            f: reference to function f(){}
        },
        Scope: [AO, globalContext.VO],
        this: undefined
    }

5.执行 f 函数，创建 f 函数执行上下文，f 函数执行上下文被压入执行上下文栈

    ECStack = [
        fContext,
        checkscopeContext,
        globalContext
    ];

6.f 函数执行上下文初始化, 以下跟第 4 步相同：

1. 复制函数 [[scope]] 属性创建作用域链
1. 用 arguments 创建活动对象
1. 初始化活动对象，即加入形参、函数声明、变量声明
1. 将活动对象压入 f 作用域链顶端

    fContext = {
        AO: {
            arguments: {
                length: 0
            }
        },
        Scope: [AO, checkscopeContext.AO, globalContext.VO],
        this: undefined
    }

7.f 函数执行，沿着作用域链查找 scope 值，返回 scope 值

8.f 函数执行完毕，f 函数上下文从执行上下文栈中弹出

    ECStack = [
        checkscopeContext,
        globalContext
    ];

9.checkscope 函数执行完毕，checkscope 执行上下文从执行上下文栈中弹出

    ECStack = [
        globalContext
    ];

第二段代码就留给大家去尝试模拟它的执行过程。

var scope = "global scope";
function checkscope(){
    var scope = "local scope";
    function f(){
        return scope;
    }
    return f;
}
checkscope()();

不过，在下一篇《JavaScript深入之闭包》中也会提及这段代码的执行过程。

文章来源

作者：冴羽

链接：https://github.com/mqyqingfeng/Blog/issues/8

著作权归原作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

执行上下文

前言​

思考题​

具体执行分析​

前言

思考题

具体执行分析