闭包在函数定义时基于词法环境生成，需外层函数嵌套内层函数并引用其自由变量；Python中__closure__非None即存在闭包，JavaScript中通过Closure面板验证；本质是静态词法绑定。

闭包的生成，关键不在函数“怎么用”，而在它“怎么创建”——重点看定义那一刻的词法环境。

必须有嵌套结构

外层函数定义内层函数，这是闭包存在的物理前提。不是所有嵌套都构成闭包，但没有嵌套就一定没有闭包。

• 内层函数可以是命名函数，也可以是匿名函数或箭头函数
• 外层函数执行完毕后，内层函数仍可能被调用，此时才真正体现闭包价值

必须引用外部自由变量

内层函数要使用外层函数中声明的、非全局、非参数的变量，这个变量就是“自由变量”。它不是凭空而来，而是从外层作用域“捕获”来的。

• 比如 let count = 0 在外层，内层函数里写了 count++，这就满足条件
• 如果只用参数或全局变量，哪怕有嵌套，也不算闭包
• 自由变量可以是基本类型，也可以是对象、数组等引用类型

函数对象自带闭包证据

在 Python 中，一个函数对象只要它的 __closure__ 属性不为 None，且里面是 cell 对象，就说明它在定义时已经绑定了自由变量——闭包已生成。

• 这个判断和“是否返回该函数”无关，也和“是否被调用”无关
• 哪怕外层函数没返回内层函数，只要定义时引用了自由变量，__closure__ 就存在
• JavaScript 中虽无 __closure__ 属性，但可通过调试器查看 Closure 作用域面板确认

本质是词法绑定，不是运行时行为

闭包在函数被定义（即解析并创建函数对象）的那一刻就形成了，它记住的是“写代码时所在的位置”，而不是“执行时在哪里调用”。

• 哪怕把内层函数赋值给全局变量，它依然访问外层定义时的变量，不是调用时的环境
• 这种静态绑定叫“词法作用域”，是闭包可靠性的根本
• 所以闭包不是一种技巧，而是一种由语言设计决定的自然现象