js 闭包是 JavaScript 中一个既强大又令人迷惑的机制，它让变量在函数作用域之外依然保持“生命”，从而实现了内存管理与状态维护的复杂逻辑。在深入探讨其底层原理之前，我们需要先对 js 闭包底层原理进行一个综合。闭包的核心并非仅仅是“函数引用函数”，而是一种基于严格模式执行环境与隐式函数返回值的机制。当外层函数执行完毕，其内部定义的所有函数对象（包括立即执行函数）都会作为一个独立的函数对象被保存下来。闭包的形成，本质上是因为外部函数捕获了内部函数的代码片段，或者更准确地说，是因为外部函数定义了一个返回该捕获函数的函数。这个返回的函数随后在内部函数的执行过程中被返回，并作为内部函数的执行上下文被调用。正是这种机制，使得闭包能够在程序执行结束后，依然保留对捕获变量的引用，从而实现了在闭包执行过程中“一直拥有”。这种设计极大地扩展了 JavaScript 的功能，但也引入了对引用原子的理解门槛。
严格模式执行是闭包生效的前提，即闭包只能在严格模式（Strict Mode）下运行；
隐式函数返回是闭包生成的基础，即没有返回值，就没有闭包；
生命周期管理是闭包最大的挑战，即要理解函数调用链中的上下文传递；
引用原子是闭包存储的关键，即调用的是函数对象本身，而非其属性；
防撕裂策略是闭包的生命线，即及时清理不再需要的引用，否则内存会累积导致性能问题。
1、闭包生成的三个必要条件缺一不可
1.1 外层函数存在
闭包形成必须有外层的函数存在，并且该函数内部定义了变量。没有外层函数，就没有捕获的对象；如果没有内部变量，也就没有被捕获；如果没有严格模式，代码无法被捕获。这三者共同构成了闭包产生的静态基础。
1.2 返回值存在且有效
外层函数必须能够返回一个函数对象，这个函数对象必须有效且没有被销毁。若返回值为 null 或 undefined，或者在返回后被过早调用导致函数调用链中断，闭包将无法形成。此外，返回的函数对象必须是引用类型，而非字面值，否则无法保存。
1.3 执行上下文传递
闭包依赖于内部函数在调用外层函数时获得的执行上下文。如果内部函数执行后没有返回给外层函数调用，或者在内存中丢失了调用栈信息，那么外部函数将无法持有内部函数的引用。因此，必须确保内部函数返回了一个有效的函数对象，才能维持闭包的存续。
2、经典案例：购物车数量管理与广告拦截
2.1 未捕获变量的场景
首先看一个简单例子，尝试在未捕获变量的情况下定义变量。这在非严格模式下是正常的，但在严格模式下会报错，因为 JavaScript 不允许变量未定义。此时，我们无法通过访问变量来使用其值，因为变量本身已经不存在于作用域中。
2.2 捕获变量与使用场景
接下来，我们来看一个经典的闭包案例，一个未捕获变量的情况。在这个示例中，我们通过闭包捕获了变量 x 的值，并在外部函数中再次使用它。虽然 x 本身没有被捕获，但闭包机制允许我们访问到它的值。这是因为闭包保存了函数对象，而函数对象中包含了对 x 的引用。
2.3 广告拦截器的闭包应用
再来看一个非常实用的应用——广告拦截器。当用户输入广告链接时，系统可以判断该链接是否属于广告。这个判断逻辑被封装在一个函数中，该函数被作为闭包返回。当用户输入链接时，系统调用这个闭包函数，判断链接是否合法。即使断开连接，这个闭包依然可以访问原始的输入变量。例如，假设有一个变量 `inputValue` 存储用户输入的 HTML 链接，闭包函数 `isAd` 接收 `inputValue` 作为参数，一旦用户输入广告链接，它就判定为广告并阻止显示。
2.4 复用与状态的隔离
这种闭包结构特别适合用于复用一个变量。在广告拦截器中，我们可以将判断逻辑封装在闭包中，这样无论多少次调用，都能访问到同一个 `inputValue` 变量。同时，闭包还起到了状态隔离的作用，即使外部代码修改了 `inputValue` 的值，闭包内部的逻辑也不会受到影响。
2.5 跨函数访问原值
另一种常见的闭包用法是跨函数访问原值。例如，在函数 A 中定义一个变量 `counter`，然后将其作为参数传递给函数 B。函数 B 在内部访问这个变量，此时函数 B 实际上就是函数 A 的闭包，它捕获了 `counter` 的值。这种机制使得多个函数可以在同一作用域下共享状态，同时保持各自的独立性。
2.6 内存泄漏的潜在风险
然而，闭包的使用也伴随着内存泄漏的风险。如果在某个函数中定义了多个闭包，且这些闭包都尝试访问同一个变量，那么随着函数调用次数增加，内存占用也会随之增加。例如，如果有一个循环调用多次闭包函数，且每次调用都捕获了同一个变量，那么每个调用都会增加一个额外的引用，最终可能导致内存耗尽。因此，在使用闭包时，需要注意如何正确地清理不再需要的引用。
3、关于引用原子的深度思考
3.1 调用即引用
在闭包中，我们并不是直接访问函数引用，而是访问函数对象本身。当我们通过闭包访问变量时，实际上访问的是函数对象内部的属性。如果函数对象被销毁，那么它的属性也会随之消失，变量访问也会失效。这就是为什么必须注意引用原子的原因。
3.2 防撕裂的必要性
由于闭包依赖于函数对象，而函数对象是引用对象，因此当自由函数（Free Function）被调用时，它拥有自己的引用栈。如果某个闭包函数被多次调用，而每次调用都返回引用，那么这个闭包函数就会被多次调用，导致内存累积。为了防止这种情况，必须使用防撕裂策略，例如将闭包函数作为局部变量保存，而不是作为自由函数调用。
3.3 代码可读性与维护性
当代码中出现闭包时，理解其引用关系变得尤为重要。如果错误的理解了闭包的引用机制，可能会导致意想不到的行为。例如，错误地认为闭包是独立的引用，而忽略了它与父函数的依赖关系。因此，在处理闭包代码时，必须仔细检查变量的引用路径，确保逻辑正确。
4、综合运用：Closures 与 作用域链
4.1 概念融合
JS 闭包与作用域链是紧密相关的。作用域链决定了变量在哪里被查找，而闭包则决定了在哪个作用域中查找。当变量作用域确定后，闭包机制允许我们在更高层的作用域中访问到这个变量。例如，在一个作用域链中，外层作用域查找变量，如果找不到，则向上寻找，直到顶层或窗口对象。当变量存在时，内部函数可以通过闭包直接访问到这个变量，无需向上查找。
4.2 实际场景：滚动监听与状态保存
在实际开发中，我们经常使用闭包来保存状态。例如，在滚动监听器中，一个函数需要访问当前滚动的高度，这个函数通过闭包捕获了外层作用域中的变量，从而在每次滚动时都能访问到当前的滚动高度，实现状态保存。
4.3 动态场景下的灵活应用
闭包还可以用于动态场景。例如，在循环中，每次循环都返回一个新的闭包，这个闭包可以访问循环变量，从而实现列表生成。或者，在事件处理中，通过闭包将事件逻辑与数据绑定，使得逻辑更加灵活。
5、最佳实践与总结
5.1 保持引用的生命周期
在使用闭包时，必须注意保持引用的生命周期。如果某个闭包函数不需要再被调用，应该将其取消引用或移除。例如，在循环结束后，可以将不再需要的闭包函数赋值给一个临时变量，然后将其移动到内存中，避免重复调用导致内存泄漏。
5.2 严格模式下的验证
在开发过程中，建议使用严格模式来验证闭包行为。通过运行代码，可以及时发现闭包执行是否正常，变量是否被正确捕获。这有助于避免在调试过程中出现难以定位的闭包问题。
5.3 维护代码健壮性
在使用闭包时，要时刻关注代码的健壮性。如果外部变量发生变化，闭包内的逻辑是否仍然正确？如果闭包被多次调用，内存是否会累积？这些问题都需要我们在编写代码时加以考虑。
5.4 总结
综上所述，JS 闭包的核心在于函数对象的捕获与隐式返回，它在内存管理与状态维护方面提供了强大的能力。通过理解闭包生成的三个必要条件和引用原子的机制，我们可以更好地利用闭包解决复杂的编程问题。同时，在使用闭包时，必须注意保持引用的生命周期，防止内存泄漏。通过结合作用域链的概念，我们可以设计出更加灵活、健壮的代码。理解闭包不仅是掌握 JavaScript 的关键，也是提升编程效率的重要技能。希望本文能帮助你深入理解闭包的底层原理，并在实际开发中加以应用。