深入JavaScript执行上下文——Web前端进阶系列第七节

133 阅读3分钟

欢迎关注微信公众号:前端阅读室

前言

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

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

  • 变量对象(Variable object,VO)
  • 作用域链(Scope chain)
  • 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()();

虽然这两段代码执行的结果是一样的,但是他们执行的过程是不一样的。在深入 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]] 属性创建作用域链,
  2. 用 arguments 创建活动对象,
  3. 初始化活动对象,即加入形参、函数声明、变量声明,
  4. 将活动对象压入 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]] 属性创建作用域链
  2. 用 arguments 创建活动对象
  3. 初始化活动对象,即加入形参、函数声明、变量声明
  4. 将活动对象压入 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()();

欢迎关注微信公众号:前端阅读室