闭包是JavaScript中函数记住并访问其定义时词法作用域中自由变量的运行时现象；它由内部函数、对外层局部变量的引用及外层函数返回后内部函数仍被调用三要素构成，本质是引擎延长外层词法环境生命周期以维持变量引用。
闭包是 JavaScript 中一个函数**记住了它定义时所处的词法作用域，并能在之后继续访问该作用域中变量**的现象。它不是语法结构，而是一种运行时行为，核心在于“函数 + 其定义时的自由变量环境”的组合。
闭包的构成三要素
一个闭包必须同时满足以下三点：
- 存在一个内部函数：即在另一个函数（外层函数）内部声明的函数；
- 内部函数引用了外层函数的局部变量（自由变量）：这些变量既非参数也非自身声明，而是从外层作用域“捕获”而来；
- 内部函数在定义它的外层函数返回后仍被调用或持有：此时外层函数执行上下文本该销毁，但因内部函数仍需访问那些变量，引擎会保留该作用域链片段。
底层形成机制：词法环境与执行上下文的延续
JavaScript 引擎在函数定义时就确定其词法作用域链（Lexical Environment Chain），并将其绑定到函数对象的 [[Environment]] 内部槽位。当外层函数执行完毕，其执行上下文本应出栈销毁，但如果其内部函数被返回或赋值给外部变量，且该内部函数的 [[Environment]] 指向了外层的词法环境，那么这个环境就不会被垃圾回收——因为仍有活跃的引用。
换句话说，闭包的本质是：引擎为维持内部函数正确访问自由变量的能力，主动延长了外层词法环境的生命周期。
立即学习“Java免费学习笔记（深入）”；
一个典型例子说明闭包如何“留住”变量
```js
function createCounter() {
let count = 0;
return function() {
count++;
return count;
};
}
const counter = createCounter();
console.log(counter()); // 1
console.log(counter()); // 2
```
每次调用 counter()，实际是在访问 createCounter 执行时创建的那个 count 变量。虽然 createCounter 已执行完毕，但 counter 函数的 [[Environment]] 仍指向当初那个词法环境，因此 count 被持续持有和更新。
常见误区澄清
- 闭包 ≠ 匿名函数：具名函数同样可以形成闭包；
- 闭包 ≠ 外部变量被“复制”：闭包访问的是变量的引用，多个闭包可共享同一外层变量；
- 不是所有嵌套函数都是闭包：只有当内部函数真正引用了外层自由变量，且该函数逃逸出外层作用域时，才构成有效闭包。
