闭包是如何产生的？你知道吗？

,大家好，我是前端西瓜哥。,这次从内存管理的角度来看看，闭包是怎么产生的。,我们知道，在调用函数时，其实会产生临时的 调用栈。这些调用栈保存的是 执行上下本，并实际保存在 栈内存 中。,每执行一个函数，函数内的局部临时变量会临时保存起来。如果此时函数又调用了另一个函数，另一个函数下的局部变量也要保存下来，就这样，我们产生了栈。,当一个函数执行完后，它对应的局部临时变量就会被销毁。,局部变量保存下来，是为了保护上下文现场。,举例说明一下：,这里我们嵌套调用了 a、b、c 函数，会产生如下的调用栈。,,基本类型的临时变量，会直接保存到栈内存中，对于引用类型，则是在堆内存中生成，然后将地址拿到，保存到栈内存中。,引用类型为什么不直接放到栈内存中？因为栈内存不是很大，很容易就栈溢出，而引用类型通常很大。,函数调用完成后，它内部声明的临时变量会被销毁。理论上应该如此，但如果使用了闭包，可以会让临时变量一直保留不被销毁。,例子：,执行过程为：,使用 DevTool 可以观察到这个闭包对象：,,所以，如果一个闭包返回的函数执行完后不用了，要设置为 null。否则它关联的闭包对象会一直在那里占用内存。,另外，如果有多个内部函数，这些函数会共用同一个闭包对象。即使其中的一个内部函数不会返回，它也会给闭包对象加东西。,下面我们加了一个 printOtherVal 的内部函数，它并不返回，但还是会导致返回 counter 函数对应的闭包对象带上了它不需要的 otherVal 变量。,,这是 JS 引擎处理闭包策略问题，理论不应该有这样奇怪的效果。,调用函数时，会产生调用栈，将当前函数上下文入栈，会保存基本类型变量。引用变量会在堆内存中创建，然后在栈内存中引用过来。,因为 JavaScript 中函数是第一公民，所以会有闭包的概念。当发现内部函数，会创建一个闭包对象，将其中使用到的外部函数变量保存到该闭包对象下。之后内部函数被调用时，就会从闭包里提取变量，如果找不到则从全局上下文提取。