闭包是函数与其词法环境的组合，编译时通过[[Environment]]确定作用域结构，运行时构建作用域链实现变量访问。
JavaScript中的闭包、作用域链、编译时与运行时行为是理解函数执行机制的核心。很多人困惑于“为什么内层函数能访问外层变量”，其实这背后涉及JavaScript引擎在编译和执行阶段的协同工作。下面从编译时和运行时两个维度，解析闭包与作用域链的形成过程。
编译时：作用域的静态建立
JavaScript采用词法（静态）作用域，这意味着作用域结构在代码编写时就已经确定，并在编译阶段完成构建。- 当JavaScript引擎开始处理代码时，会进行语法分析并创建函数的执行环境框架。
- 每个函数在定义时就记录了它所在的词法环境，也就是它的外层作用域是谁——这个信息被绑定在函数对象上，称为[[Environment]]内部插槽。
- 例如，一个函数定义在全局作用域中，它的[[Environment]]就指向全局环境；如果定义在另一个函数内部，就指向那个外层函数的词法环境。
- 这种绑定发生在函数创建时，而非调用时，因此是“编译时”决定的。
function outer() {
let a = 1;
function inner() {
console.log(a); // 可访问a
}
return inner;
}
在inner函数被定义的那一刻，它的[[Environment]]就已经指向outer的作用域环境，即使outer之后被调用甚至执行完毕，inner依然保留对那个环境的引用。
运行时：执行上下文与作用域链的激活
虽然作用域结构是编译时确定的，但变量的实际访问发生在运行时，依赖于执行上下文的创建和作用域链的连接。- 当函数被调用时，JavaScript引擎创建新的执行上下文，其中包括变量环境、词法环境和this绑定。
- 此时，函数的[[Environment]]被用来构建其作用域链。作用域链本质上是一个指向外部词法环境的链式结构。
- 在查找变量时，引擎从当前函数的局部环境开始，逐级向上沿着作用域链查找，直到全局环境为止。
- 由于闭包保留了对外部变量环境的引用，即使外层函数已经执行结束，其变量仍可能存活在内存中，不会被垃圾回收。
const fn = outer(); // outer执行完毕，正常情况下其变量应被释放 fn(); // 但这里仍然能输出1之所以还能访问到a，是因为inner函数在运行时通过作用域链找到了它所绑定的那个outer执行环境中的变量。这个环境因为被inner引用而未被销毁。
闭包的本质：函数+词法环境的组合
闭包不是魔法，它是JavaScript词法作用域和函数作为一等公民特性的自然结果。- 闭包是指一个函数能够记住并访问其所在的词法作用域，即使该函数在其词法作用域外被执行。
- 关键在于函数在创建时携带了[[Environment]]引用，这是编译时的产物。
- 而在运行时，这个引用构成了作用域链的一部分，使得变量查找可以跨越执行上下文的生命周期。
- 因此，闭包 = 函数 + 编译时确定的词法环境引用。
总结：编译时定结构，运行时连链条
JavaScript闭包的作用域链机制可以归纳为：- 编译阶段确定函数的词法嵌套关系，设置[[Environment]]。
- 运行阶段通过执行上下文激活作用域链，实现变量查找。
- 闭包让函数携带了对外部环境的持久引用，打破了“函数执行完变量就消失”的直觉。
