17370845950

JavaScript引擎解析_执行上下文与作用域链
执行上下文和作用域链是JavaScript核心机制,前者管理代码运行环境,后者决定变量查找路径。

JavaScript 是一门单线程、解释型语言,其执行机制依赖于执行上下文和作用域链来管理变量查找与函数执行。理解这两个概念是掌握 JS 变量提升、闭包、this 指向等问题的关键。

执行上下文:代码执行的环境

每当 JavaScript 执行一段可运行代码时,都会创建一个对应的执行上下文(Execution Context),它是代码运行时的环境抽象。执行上下文分为三种类型:

  • 全局执行上下文:代码首次运行时创建,只有一个。
  • 函数执行上下文:每次调用函数时创建,可以有多个。
  • eval 执行上下文:在 eval 函数中运行代码时创建,通常不推荐使用。

每个执行上下文的生命周期可分为两个阶段:

  1. 创建阶段:此时会确定 this 指向、进行变量提升(Hoisting)、建立词法环境和变量环境。
  2. 执行阶段:变量赋值、函数调用、代码逐行执行。

JS 引擎通过调用栈(Call Stack)管理执行上下文。全局上下文位于栈底,函数调用时入栈,执行完毕后出栈。

作用域链:变量查找的路径

作用域链(Scope Chain)是执行上下文的一部分,用于决定变量和函数的访问权限。它是一条由外层到内层的引用链,决定了变量的查找顺序。

作用域链的形成基于代码的词法结构(写代码时的位置),而不是运行时动态决定,这就是所谓的词法作用域(Lexical Scoping)

举个例子:

var name = 'global';

function outer() {
  var name = 'outer';
  function inner() {
    console.log(name); // 输出 'outer'
  }
  inner();
}
outer();

当 inner 函数执行时,它内部没有定义 name,于是沿着作用域链向上查找,在 outer 函数的作用域中找到 name。这条链就是在函数定义时就确定的。

每个执行上下文都包含一个指向其外部环境的引用,这个引用构成了作用域链。查找变量时,从当前上下文开始,逐层向外直到全局上下文。

执行上下文与作用域链的关系

执行上下文在创建阶段会生成变量对象(VO)或词法环境(LE),同时根据函数定义的位置确定其外部作用域,从而构建作用域链。

以函数为例,其作用域链在函数创建时就已经绑定,保存在函数的内部属性 [[Environment]] 中。当函数被调用时,它的执行上下文会继承这个 [[Environment]],并将其作为作用域链的起点。

这也是闭包能够访问外部函数变量的原因:即使外部函数已经执行完毕,其变量对象仍保留在内存中,因为内部函数的作用域链仍然引用它。

示例说明闭包:

function counter() {
  let count = 0;
  return function() {
    count++;
    return count;
  };
}

const inc = counter();
console.log(inc()); // 1
console.log(inc()); // 2

这里返回的函数在创建时绑定了 counter 的作用域。即使 counter 已执行完,其变量 count 依然可通过作用域链访问,不会被垃圾回收。

基本上就这些。执行上下文管理运行环境,作用域链决定变量如何查找,两者共同支撑起 JS 的作用域机制。理解它们有助于理清变量提升、闭包、this 等核心概念。