闭包的核心是函数能记住并访问其定义时的词法作用域，即使在外部执行。JavaScript采用词法作用域，函数创建时会绑定当前环境形成作用域链，该链由变量对象指针组成，决定变量查找顺序。例如，inner 函数可访问 outer 中的变量 a，因其 [[Environment]] 指向 outer 的作用域。每当函数执行，引擎创建执行上下文，包含变量对象、作用域链和 this。作用域链从当前函数变量对象向外层延伸至全局对象，变量查找沿此链进行。闭包形成于外层函数返回内层函数且后者引用前者变量时。尽管外层函数执行完毕，其变量对象仍被内层函数的 [[Environment]] 引用，故不会被垃圾回收，使变量持久存在于内存中。典型例子为计数器函数 counter，返回的函数持续访问并修改 count。ES6 中，函数的 [[Environment]] 内部插槽保存其创建时的词法环境，调用时作用域链由自身词法环境与 [[Environment]] 共同构成。因此，闭包本质是函数携带了创建时的环境引用，依赖词法作用域、执行上下文和作用域链协同实现，非魔法而是机制结果，理解这些

JavaScript闭包的核心在于函数能够记住并访问其所在的词法作用域，即使这个函数在其定义的作用域外部执行。这背后的关键机制是作用域链和执行上下文的创建过程。

词法作用域与作用域链

JavaScript采用词法作用域（也叫静态作用域），这意味着函数的作用域在函数定义时就已经确定，而不是在运行时决定。

当一个函数被定义时，它会绑定当前的环境，形成一个作用域链。这个作用域链是一个指向变量对象的指针列表，它决定了变量的查找顺序。

例如：

立即学习“Java免费学习笔记（深入）”；

function outer() {
  let a = 1;
  function inner() {
    console.log(a); // 可以访问 outer 中的 a
  }
  return inner;
}
const fn = outer();
fn(); // 输出 1

虽然 inner 在 outer 执行结束后才被调用，但它依然能访问到 a。这是因为 inner 函数在创建时，它的内部属性 [[Environment]] 指向了 outer 函数的作用域。

执行上下文与变量对象

每当函数执行时，JavaScript 引擎会创建一个执行上下文，包含变量对象（VO）、作用域链和 this 指向。

作用域链本质上是一个由变量对象组成的链表，最前端是当前函数的变量对象，然后依次是外层函数的变量对象，直到全局对象。

在查找变量时，引擎从当前作用域开始，沿着作用域链逐层向上搜索，直到找到匹配的标识符或到达全局作用域。

deep-java-review

Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...

下载

闭包的形成：函数携带作用域链

闭包发生在一个函数返回另一个函数，并且内层函数引用了外层函数的变量。

关键点在于：外层函数的执行上下文虽然“出栈”了，但由于内层函数的 [[Environment]] 仍然引用着外层的变量对象，垃圾回收机制不会销毁这些变量。

这就是为什么闭包中的变量能长期驻留在内存中。

常见例子：

function counter() {
  let count = 0;
  return function() {
    return ++count;
  };
}
const inc = counter();
inc(); // 1
inc(); // 2

每次调用 inc，它都能访问并修改之前定义的 count，因为 count 被保留在闭包的作用域链中。

底层原理：[[Environment]] 与词法环境

在 ES6 的规范中，每个函数都有一个内部插槽 [[Environment]]，它保存了函数创建时所处的词法环境。

这个 [[Environment]] 决定了函数在执行时如何解析变量。当函数被调用时，它的作用域链由自身的词法环境和 [[Environment]] 链接而成。

也就是说，闭包的本质是函数携带了创建时的环境引用，从而可以持续访问那些外部变量。

基本上就这些。闭包不是魔法，而是词法作用域、执行上下文和作用域链共同作用的结果。理解这些底层机制，才能真正掌握闭包的行为和性能影响。