闭包本质是内部函数持有对外部变量的引用，使垃圾回收器无法释放这些变量；它捕获的是词法环境中的绑定，而非刻意保存变量。
闭包对变量的保留，本质不是“刻意保存”，而是 JavaScript 引擎在执行过程中，因内部函数持续持有对外部变量的引用，导致垃圾回收器无法释放这些变量——它不“扣人”，只是“留了门禁卡”，让变量自然留在内存里。
变量声明位置决定它能否被闭包捕获
只有在函数内部用 let、const 或 var 声明的变量（包括参数），才可能被内部函数形成闭包所引用。全局变量或块级作用域外的变量不属于某个函数的词法环境，无法构成典型闭包。
- let/const 声明的变量绑定在块级词法环境中，闭包捕获的是这个绑定本身，支持块级隔离（比如 for 循环中每个迭代都有独立的 i）
- var 声明的变量存在变量提升和函数作用域，闭包捕获的是整个函数作用域下的同一份变量，容易引发意外共享（如经典 for + setTimeout 问题）
- 函数参数也属于外部函数的词法环境，同样可被闭包引用，比如
function makeAdder(x) { return y => x + y; }中的 x
闭包不是“延长租期”，而是“阻止退房”
变量声明时就确定了它的词法归属；函数执行时创建执行上下文，变量随上下文入栈；当函数返回一个内部函数，且该函数引用了外部变量，引擎会把这部分词法环境标记为“仍被活跃引用”。只要闭包函数还存在引用（比如赋值给变量、作为回调传入事件系统），对应变量就不会被回收。
- 没有被任何闭包引用的变量：函数执行结束，上下文销毁，变量立即释放
- 被闭包引用的变量：上下文不销毁，变量保留在堆内存中，直到闭包函数本身失去所有引用
- 注意：
console.log(count)这类只读访问不会阻止回收，但count++或count = ...这类写操作说明变量必须可访问、可修改，因此必然被保留
变量保留是动态的、按需的
闭包保留的不是全部变量，而是它实际访问到的那些自由变量。JavaScript 引擎会做静态分析，在函数定义时就确定哪些外部变量会被捕获（即所谓的 [[Environment]] 内部属性指向的词法环境记录项）。
立即学习“Java免费学习笔记（深入）”；
- 如果内部函数没引用外部变量，哪怕嵌套再深，也不构成闭包（如空 inner 函数）
- 多个闭包可以共享同一个外部变量（如两个计数器共用一份 count？不，每个
createCounter()调用生成独立词法环境，所以是各自独立的 count） - 变量值可变，但绑定关系不变——你改的是值，不是引用目标；闭包“记住”的是变量所在的那个内存槽位，不是初始值
常见误解澄清
很多人以为“函数返回后变量还在”是因为 JS 特别设计了“保留机制”，其实这只是词法作用域 + 引用计数式垃圾回收的自然结果。闭包不是语法特性，而是一种运行时现象。
- ❌ “闭包让变量不消失” → ✅ “闭包让变量不能被回收”
- ❌ “声明时就决定了是否闭包” → ✅ “定义函数时确定能访问谁，调用时才真正建立引用关系”
- ❌ “所有嵌套函数都是闭包” → ✅ “只有引用了外部自由变量，且在外部执行的函数才是闭包”
