详解JavaScript中的闭包是如何产生的

这次从内存管理的角度来看看，闭包是怎么产生的。

我们知道，在调用函数时，其实会产生临时的 调用栈。这些调用栈保存的是 执行上下本，并实际保存在 栈内存 中。

每执行一个函数，函数内的局部临时变量会临时保存起来。如果此时函数又调用了另一个函数，另一个函数下的局部变量也要保存下来，就这样，我们产生了栈。

当一个函数执行完后，它对应的局部临时变量就会被销毁。

局部变量保存下来，是为了保护上下文现场。

举例说明一下：

function a() {
  const a_num = 99;
  const a_obj = { val: "a" };
  b();
}

function b() {
  const b_str = "text";
  c();
}

function c() {
  const c_bool = true;
  // debugger
}

a();

这里我们嵌套调用了 a、b、c 函数，会产生如下的调用栈。

基本类型的临时变量，会直接保存到栈内存中，对于引用类型，则是在堆内存中生成，然后将地址拿到，保存到栈内存中。

引用类型为什么不直接放到栈内存中？因为栈内存不是很大，很容易就栈溢出，而引用类型通常很大。

闭包的产生

函数调用完成后，它内部声明的临时变量会被销毁。理论上应该如此，但如果使用了闭包，可以会让临时变量一直保留不被销毁。

例子：

function createCounter() {
  let count = 0;
  let otherVal = "other val";
  return function counter() {
    // debugger;
    console.log(count++);
  };
}

const counter = createCounter();

console.log(counter());

执行过程为：

• 执行函数 createCounter 时，会创建一个空的上下文对象。
• 遇到内部函数 counter，会 预扫描内部函数 counter 使用了 createCounter 下的哪些便利，最终扫描出 count 变量。于是在堆内存创建一个闭包 Closure (createCounter) 对象，将 count 加进去。otherVal 不会加到闭包对象上，因为它没有被使用。
• 这个内部函数最后被返回，被引用，闭包就一直不会销毁。

使用 DevTool 可以观察到这个闭包对象：

所以，如果一个闭包返回的函数执行完后不用了，要设置为 null。否则它关联的闭包对象会一直在那里占用内存。

多个内部函数共享一个闭包对象

另外，如果有多个内部函数，这些函数会共用同一个闭包对象。即使其中的一个内部函数不会返回，它也会给闭包对象加东西。

下面我们加了一个 printOtherVal 的内部函数，它并不返回，但还是会导致返回 counter 函数对应的闭包对象带上了它不需要的 otherVal 变量。

这是 JS 引擎处理闭包策略问题，理论不应该有这样奇怪的效果。

结尾

调用函数时，会产生调用栈，将当前函数上下文入栈，会保存基本类型变量。引用变量会在堆内存中创建，然后在栈内存中引用过来。

因为 JavaScript 中函数是第一公民，所以会有闭包的概念。当发现内部函数，会创建一个闭包对象，将其中使用到的外部函数变量保存到该闭包对象下。之后内部函数被调用时，就会从闭包里提取变量，如果找不到则从全局上下文提取。

到此这篇关于详解JavaScript中的闭包是如何产生的的文章就介绍到这了,更多相关JavaScript闭包内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！