七、JavaScript之执行上下文

发表于 分类于 阅读次数：

定义

每次当控制器转到 ECMAScript 可执行代码的时候，即会进入到一个执行上下文。执行上下文(简称-EC)是 ECMA-262 标准里的一个抽象概念，用于同可执行代码(executable code)概念进行区分。

标准规范没有从技术实现的角度定义 EC 的准确类型和结构，这应该是具体实现 ECMAScript 引擎时要考虑的问题。

活动的执行上下文组在逻辑上组成一个堆栈。堆栈底部永远都是全局上下文(global context)，而顶部就是当前(活动的)执行上下文。堆栈在 EC 类型进入和退出上下文的时候被修改（推入或弹出）。

思考题

这里我们结合前面几篇文章来看看执行上下文的具体处理过程：

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

执行过程如下： 1.执行全局代码，创建全局执行上下文，全局上下文被压入执行上下文栈；全局上下文初始化；创建 checkscope 函数，并保存作用域链到函数的内部属性[[scope]]。

1
2
3
4
5
6
7
8
9
ECStack = [globalContext];

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

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

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

1
ECStack = [checkscopeContext, globalContext];

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

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

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

1
ECStack = [fContext, checkscopeContext, globalContext];

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

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

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

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

1
ECStack = [checkscopeContext, globalContext];

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

1
ECStack = [globalContext];

参考文献

https://github.com/mqyqingfeng/Blog/issues/8