JavaScript中的闭包常常被描述为一个函数能够记住并访问其词法作用域，即便该函数在其作用域外执行。要真正理解这一现象，必须从作用域链的建立过程和函数执行时的环境绑定机制说起。闭包并不是某种特殊的语法结构，而是词法作用域规则与自然函数嵌套结合的必然结果。
一、词法作用域与执行上下文
JavaScript采用词法作用域，也称为静态作用域。这意味着函数的作用域在编写代码、也就是函数定义的时候就已经确定了，而不是在函数调用时确定。每一个函数对象在创建时，都会关联一个所谓的“词法环境”，这个环境记录了函数定义时所在的外层作用域引用。这种绑定关系在函数存活期间都不会改变，这也是闭包能够成立的底层前提。
当函数被调用时，引擎会创建一个执行上下文，其中包含一个变量环境和一个词法环境。词法环境由环境记录与对外层词法环境的引用组成。函数内部查找变量时，会先在当前环境记录中搜索，如果找不到，就沿着外层引用一层层向上，直到全局环境。这条由外层引用串联起来的链路，就是作用域链。理解这一点，就能明白为什么内部函数可以读取外部函数的局部变量。
二、闭包的形成过程
闭包形成的最典型场景是：在一个函数内部定义另一个函数，并且内部函数被返回或在外部被持有。此时，内部函数保留了对外部函数词法环境的引用，外部函数执行完毕后，其执行上下文本应被销毁，但由于内部函数仍引用着其中的变量对象，垃圾回收机制不会回收这部分内存，从而导致变量被“持久化”保留下来。
下面通过一个基础示例说明闭包如何捕获外部变量：
function createCounter() {
let count = 0; // 外部函数局部变量
return function() {
// 内部函数沿作用域链访问count
count = count + 1;
return count;
};
}
const counter = createCounter();
console.log(counter()); // 输出 1
console.log(counter()); // 输出 2
在上面的代码中，createCounter执行结束后，按理说count应该随调用栈弹出而消失。但返回的匿名函数始终持有对createCounter词法环境的引用，因此count在后续调用中依旧存在并累加。这就是闭包使变量突破函数生命周期限制的直接体现。
1. 环境记录的结构
环境记录分为声明式环境记录和对象式环境记录。函数作用域通常使用声明式环境记录来存储变量与函数声明，而全局作用域使用对象式环境记录（即全局对象的相关绑定）。当多个嵌套函数同时存在时，它们共享同一外层环境记录，这也是为什么多个闭包可以操作同一份外部变量的原因。
如果外层函数多次调用，每次调用都会生成独立的词法环境。因此每一次调用产生闭包，都拥有自己独立的变量副本，彼此之间互不影响。这一特性在事件绑定、模块封装中非常有用，但也可能因为滥用而导致内存占用上升。
三、作用域链查找规则
作用域链的查找是单向且有序的。标识符解析严格按照“由内向外”的顺序进行，不会反向查找。也就是说，内层作用域可以覆盖外层同名变量，但外层无法感知内层的私有变量。下面示例展示了变量遮蔽现象：
const name = 'global';
function outer() {
const name = 'outer';
function inner() {
const name = 'inner';
return name; // 优先使用inner中的name
}
return inner();
}
console.log(outer()); // 输出 inner
console.log(name); // 输出 global
从代码可以看出，inner函数中的name位于其作用域链最前端，因此遮蔽了outer和全局的name。这种规则保证了作用域隔离，也要求开发者在书写嵌套函数时注意命名冲突问题。
1. 性能层面的影响
过深的作用域链会增加标识符解析的时间，但在现代引擎中这种开销极小。真正需要关注的是闭包带来的内存占用。由于闭包使外层变量无法被回收，如果闭包生命周期过长且引用了大对象，就容易造成内存泄漏。开发时应及时解除对闭包的引用，例如在不需要时将其赋值为null。
此外，在循环中创建闭包是常见的误区。如果直接在for循环里使用var定义变量并返回闭包，由于var不存在块级作用域，所有闭包会共享同一个变量。使用let则可以天然解决该问题，因为每次迭代都会产生新的词法绑定。
四、闭包的实际应用
闭包被广泛用于模块模式、函数柯里化、防抖节流等场景。通过闭包，我们可以隐藏实现细节，仅暴露必要的接口，实现近似于私有变量的效果。如下是一个简单的模块封装示例：
function createUserModule() {
let users = []; // 私有数据，外部无法直接访问
return {
add: function(username) {
users.push(username);
},
count: function() {
return users.length;
}
};
}
const userModule = createUserModule();
userModule.add('alice');
console.log(userModule.count()); // 输出 1
上述代码中，users变量被封闭在createUserModule的作用域中，外部只能通过返回对象的方法间接操作，这增强了代码的安全性与可维护性。闭包在此扮演了访问控制的核心角色。
1. 常见误区提醒
不少初学者认为闭包一定要返回函数才算成立，其实只要内部函数被传递到外层作用域并被调用，闭包就已经产生。例如在定时器中引用外部变量，同样形成了闭包。认清这一点，有助于在调试时快速定位变量来源。
另一个误区是认为闭包一定会造成内存泄漏。事实上，只有不当的长期持有大对象引用才会引发问题。在绝大多数业务代码中，闭包带来的内存开销可以忽略，合理使用反而能提升代码结构清晰度。
五、总结
JavaScript闭包的本质是函数与其定义时词法环境的绑定关系，而作用域链则是变量查找的通路。二者结合，使函数能够跨越调用边界访问原本应销毁的局部变量。掌握环境记录、变量对象以及引用释放时机，才能在日常开发中正确运用闭包，既享受其封装与状态保持的便利，又规避潜在的内存风险。
JavaScript闭包作用域链修改时间：2026-08-02 18:09:36