闭包是函数与其词法环境的组合，编译时通过[[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]]。 运行阶段通过执行上下文激活作用域链，实现变量查找。 闭包让函数携带了对外部环境的持久引用，打破了“函数执行完变量就消失”的直觉。理解这一点，就能明白为什么“函数是一等公民”和“词法作用域”是JavaScript灵活编程能力的基础。基本上就这些。
以上就是JavaScript闭包作用域链的编译时与运行时分析的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1534244.html
微信扫一扫 
支付宝扫一扫 
