闭包捕获的是变量绑定而非值，关键取决于声明方式与作用域状态：var共享函数作用域绑定，let/const每次迭代创建独立块级绑定；TDZ使let/const在声明前访问抛错，而var提升后值为undefined。
闭包和变量提升看似独立，但在实际执行中会相互干扰，尤其影响变量捕获的准确性。关键不在“有没有声明”，而在于“执行时变量处于什么状态、绑定在哪个作用域”。
闭包捕获的是变量绑定，不是值
闭包记住的是词法环境中的变量引用，不是快照式的值。只要外部变量仍存在且未被释放，闭包每次调用都读取其当前值。
- 若变量是 let/const 声明，在块级作用域内每次迭代都会创建新绑定 → 每个闭包捕获各自独立的变量实例
- 若变量是 var 声明，整个函数作用域共享一个绑定 → 所有闭包共用同一个变量，最终看到的是循环结束后的值
- 函数内部对闭包变量重新赋值（如
x = 5），不加nonlocal或let会触发局部变量定义逻辑，导致UnboundLocalError或ReferenceError
变量提升让声明“提前”，但初始化不提前
var 声明会被提升到函数顶部，但赋值保留在原位置；let/const 虽也提升，但处于“暂时性死区”（TDZ），访问会报错。这直接影响闭包能否成功捕获变量。
- 在
var场景下，即使闭包在声明前定义，也能捕获该变量（值为undefined） - 在
let/const场景下，若闭包在声明语句前执行，会直接抛出ReferenceError，无法形成有效闭包 - 函数声明整体提升，所以用函数声明定义的外层函数，其内部闭包总能安全访问已声明的
let变量（只要不在 TDZ 内调用）
作用域链决定谁能被闭包捕获
只有 Enclosing（外层嵌套函数）作用域 中的局部变量才可能进入闭包；全局变量或内置名只是正常查找结果，不会出现在 __closure__ 或 [[Scopes]] 中。
- 闭包不捕获参数（参数属于 Local 作用域，但不视为自由变量）
- 若内部函数只读取外层变量，Python 自动将其标记为自由变量；JS 中只要引用即纳入词法环境
- 使用
eval()或with会动态改变作用域链，导致闭包行为不可预测，应避免
验证与调试的关键线索
不要只看代码结构，要观察运行时状态：
- Python：检查
fn.__closure__是否为None，非空则看fn.__code__.co_freevars列出哪些变量被捕获 - JavaScript：在 DevTools 中断点停在闭包内，展开
Scope面板查看Closure条目，确认变量是否按预期绑定 - 内存泄漏风险：若闭包长期存活（如挂载到全局、绑定事件但未解绑），它捕获的大对象（DOM 节点、大型数组）将持续驻留内存
