闭包的变量捕获由其定义位置静态决定，即源码中闭包表达式所在处的词法作用域；该位置确定可捕获变量范围、捕获方式及生命周期，编译时即固定，与运行时调用位置无关。

函数定义的位置，直接决定闭包能“看到”哪些变量，以及这些变量是否会被捕获、以何种方式被捕获——进而影响它们的生命周期。这不是运行时才决定的事，而是在代码写成、编译器解析作用域那一刻就固定下来的。

看清楚变量是否在闭包的词法作用域内

闭包只能捕获它**定义时所在位置**的外层作用域中的变量，而不是调用时所在位置的变量。这个“位置”指源码中 闭包表达式（如 lambda、匿名函数）出现的那一行 所嵌套的函数或块级作用域。

• 如果变量声明在闭包定义语句的外层函数中，且未被遮蔽，那它就属于可捕获范围
• 如果变量只在另一个平行函数里，或在闭包调用时才创建的局部块中，那它根本不可见，更谈不上捕获
• JavaScript、Python、C#、Go 等语言都遵循这一词法作用域规则，和执行栈无关

定义位置决定了变量是否被提升到堆上

当闭包捕获一个本该是栈分配的局部变量时，编译器/运行时必须把它“挪”到堆上，否则闭包后续调用时该变量早已销毁。这个决策发生在定义阶段，不是调用阶段。

• 例如：在 for 循环内部定义闭包，但循环变量 i 的声明位置在循环外（如 for (int i = 0; ...)），那么所有闭包共享同一个 i 的地址——它会被整体提升到堆
• 若在循环体内先声明新变量（如 let j = i 或 int j = i），再让闭包捕获 j，那每次迭代的 j 是独立的局部变量，各自被提升，生命周期互不干扰
• Rust 中甚至会根据捕获方式（move / 引用）决定是否要求外部变量 必须存活到闭包结束，这同样由定义位置及上下文静态判定

定义位置还隐含了谁持有闭包引用

闭包一旦被定义，它所捕获的变量生命周期，就和**持有该闭包的对象或变量的生命周期**绑定。而谁持有它，往往由定义位置附近的赋值、传参或注册行为决定。

• 定义在事件监听注册处（如 btn.addEventListener('click', () => {...})），闭包很可能被 DOM 元素长期持有，导致捕获的变量无法释放
• 定义在函数返回值中（如 return () => x + y），外部调用者拿到闭包后，只要没丢弃它，x 和 y 就一直活着
• 定义在局部变量并立即执行（如 (() => { ... })()），没有外部引用，捕获变量通常随作用域退出而回收

调试时可借助语言特性验证捕获关系

多数语言提供机制查看闭包实际绑定了什么，帮你反推定义位置的影响：

• Python：检查 func.__closure__，每个 cell 对应一个被捕获的变量，其 cell_contents 显示当前值，但注意这是引用，不是快照
• C#：用 ILSpy 查看编译后生成的“显示类”（DisplayClass），里面字段名直接对应原始变量名，能清晰看到哪些变量被提升
• JavaScript：虽然不能直接读闭包内容，但可通过修改外层变量观察闭包输出变化，确认是引用捕获而非值拷贝