前言

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

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

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

    在中,提出这样一道思考题:

    1. var scope = "global scope";
    2. function checkscope(){
    3. var scope = "local scope";
    4. function f(){
    5. return scope;
    6. }
    7. return f;
    8. }
    9. checkscope()();

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

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

    具体执行分析

    我们分析第一段代码:

    1. var scope = "global scope";
    2. function checkscope(){
    3. var scope = "local scope";
    4. function f(){
    5. return scope;
    6. return f();
    7. }
    8. checkscope();

    执行过程如下:

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

    1. ECStack = [
    2. globalContext
    3. ];

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

    1. checkscope.[[scope]] = [
    2. globalContext.VO
    3. ];

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

    1. ECStack = [
    2. checkscopeContext,
    3. globalContext
    4. ];

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

    • 复制函数 [[scope]] 属性创建作用域链,
    • 用 arguments 创建活动对象,
    • 初始化活动对象,即加入形参、函数声明、变量声明,
    • 将活动对象压入 checkscope 作用域链顶端。
      同时 f 函数被创建,保存作用域链到 f 函数的内部属性[[scope]]
    1. checkscopeContext = {
    2. AO: {
    3. arguments: {
    4. length: 0
    5. },
    6. scope: undefined,
    7. },
    8. Scope: [AO, globalContext.VO],
    9. this: undefined
    10. }

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

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

    • 复制函数 [[scope]] 属性创建作用域链
    • 用 arguments 创建活动对象
    • 初始化活动对象,即加入形参、函数声明、变量声明
    • 将活动对象压入 f 作用域链顶端
    1. fContext = {
    2. AO: {
    3. arguments: {
    4. length: 0
    5. }
    6. },
    7. Scope: [AO, checkscopeContext.AO, globalContext.VO],
    8. this: undefined
    9. }

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

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

    1. ECStack = [
    2. checkscopeContext,
    3. globalContext
    4. ];

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

    1. ECStack = [
    2. globalContext

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

    《JavaScript深入之闭包》

    相关链接

    《JavaScript深入之词法作用域和动态作用域》

    《JavaScript深入之变量对象》

    《JavaScript深入之从ECMAScript规范解读this》

    本文写的太好,给了我很多启发。感激不尽!

    深入系列

    JavaScript深入系列目录地址:。

    如果有错误或者不严谨的地方,请务必给予指正,十分感谢。如果喜欢或者有所启发,欢迎star,对作者也是一种鼓励。