闭包是函数与其定义时的词法环境绑定形成的结构；需同时满足存在内部函数且该函数访问外部变量；可实现数据私有化、状态保存与逻辑复用，但需注意内存泄漏风险。

闭包的本质就是函数和它定义时所处的词法环境打包在一起。这个“打包”不是语法上的操作，而是 javascript 引擎在函数创建时自动完成的——只要内部函数引用了外部作用域的变量，闭包就自然形成。

识别闭包形成的两个必要条件

不是所有嵌套函数都是闭包，必须同时满足：

• 存在一个内部函数（无论是否被返回）
• 该内部函数实际访问（读或写）了外部函数作用域中的变量（即自由变量）

例如：
function makeCounter() {
  let count = 0;
  return function() {
    count++;
    return count;
  };
}
const counter = makeCounter();
这里 function() { count++; return count; } 就是一个闭包：它记住了 count 这个变量所在的词法环境，即使 makeCounter 已执行完毕，count 仍保留在内存中供后续调用使用。

利用闭包实现数据私有化

外部无法直接访问闭包内部的变量，只能通过暴露的函数接口间接操作：

• 把敏感数据（如配置、计数器、缓存）放在外层函数局部作用域中
• 只返回能安全操作这些数据的函数，不暴露原始变量
• 避免全局污染，也防止意外修改

比如封装一个带验证的用户名管理器：
const createUserManager = (initialName) => {
  let name = initialName;
  return {
    getName: () => name,
    setName: (newName) => { if (typeof newName === 'string' && newName.length > 0) name = newName; },
  };
};
name 只能通过 getName 和 setName 访问，真正做到了封装。

用闭包保存状态并复用逻辑

闭包让“函数工厂”成为可能——同一个函数体，搭配不同的词法环境，生成行为各异的实例：

• 把变化的参数（如乘数、前缀、API 基地址）作为外层函数的入参
• 内层函数体保持不变，但每次调用都绑定专属环境
• 适合做装饰器、事件处理器预设、API 封装等

示例：生成不同倍率的加法器
const createMultiplier = (factor) => (value) => value * factor;
const double = createMultiplier(2);
const triple = createMultiplier(3);
console.log(double(5)); // 10
console.log(triple(4)); // 12
double 和 triple 是两个独立闭包，各自记住自己的 factor，互不影响。

注意闭包带来的内存影响

闭包会持续持有对外部变量的引用，导致这些变量无法被垃圾回收：

• 如果闭包长期存活（如绑定到全局对象、DOM 事件、定时器），且引用了大对象（如 DOM 节点、大型数组），容易造成内存泄漏
• 不需要时，可手动解除引用：myClosure = null; 或将内部引用设为 null
• 避免在循环中不加区分地创建闭包（如 for (var i...) { setTimeout(() => console.log(i), 100); }），可用 let 或立即执行函数修正

本质上，闭包不是魔法，它是 JavaScript 词法作用域机制的自然结果。理解它，就能主动设计状态隔离、逻辑复用与接口封装，而不是被动应付“为什么变量没被释放”。