JavaScript闭包作用域链的编译时与运行时分析

闭包是函数与其词法环境的组合，编译时通过[[Environment]]确定作用域结构，运行时构建作用域链实现变量访问。

JavaScript中的闭包、作用域链、编译时与运行时行为是理解函数执行机制的核心。很多人困惑于“为什么内层函数能访问外层变量”，其实这背后涉及JavaScript引擎在编译和执行阶段的协同工作。下面从编译时和运行时两个维度，解析闭包与作用域链的形成过程。

ViiTor实时翻译

AI实时多语言翻译专家！强大的语音识别、AR翻译功能。

116

查看详情

编译时：作用域的静态建立

• 当JavaScript引擎开始处理代码时，会进行语法分析并创建函数的执行环境框架。
• 每个函数在定义时就记录了它所在的词法环境，也就是它的外层作用域是谁——这个信息被绑定在函数对象上，称为[[Environment]]内部插槽。
• 例如，一个函数定义在全局作用域中，它的[[Environment]]就指向全局环境；如果定义在另一个函数内部，就指向那个外层函数的词法环境。
• 这种绑定发生在函数创建时，而非调用时，因此是“编译时”决定的。

function outer() {
  let a = 1;
  function inner() {
    console.log(a); // 可访问a
  }
  return inner;
}

运行时：执行上下文与作用域链的激活

• 当函数被调用时，JavaScript引擎创建新的执行上下文，其中包括变量环境、词法环境和this绑定。
• 此时，函数的[[Environment]]被用来构建其作用域链。作用域链本质上是一个指向外部词法环境的链式结构。
• 在查找变量时，引擎从当前函数的局部环境开始，逐级向上沿着作用域链查找，直到全局环境为止。
• 由于闭包保留了对外部变量环境的引用，即使外层函数已经执行结束，其变量仍可能存活在内存中，不会被垃圾回收。

const fn = outer(); // outer执行完毕，正常情况下其变量应被释放
fn(); // 但这里仍然能输出1

闭包的本质：函数+词法环境的组合

• 闭包是指一个函数能够记住并访问其所在的词法作用域，即使该函数在其词法作用域外被执行。
• 关键在于函数在创建时携带了[[Environment]]引用，这是编译时的产物。
• 而在运行时，这个引用构成了作用域链的一部分，使得变量查找可以跨越执行上下文的生命周期。
• 因此，闭包 = 函数 + 编译时确定的词法环境引用。

总结：编译时定结构，运行时连链条

• 编译阶段确定函数的词法嵌套关系，设置[[Environment]]。
• 运行阶段通过执行上下文激活作用域链，实现变量查找。
• 闭包让函数携带了对外部环境的持久引用，打破了“函数执行完变量就消失”的直觉。

以上就是JavaScript闭包作用域链的编译时与运行时分析的详细内容，更多请关注php中文网其它相关文章！