Javascript 闭包是保留整个父词法环境还是仅保留闭包引用的值的子集？ [复制]

Question

考虑以下示例：

function makeFunction() {
  let x = 3;
  let s = "giant string, 100 MB in size";

  return () => { console.log(x); };
}

// Are both x and s held in memory here
// or only x, because only x was referred to by the closure returned
// from makeFunction?
let made = makeFunction();

// Suppose there are no further usages of makeFunction after this point

// Let's assume there's a thorough GC run here

// Is s from makeFunction still around here, even though made doesn't use it?
made();

因此，如果我只关闭父词法环境中的一个变量，该变量是否保留，或者其词法环境中的每个同级变量也保留？

另外，如果 makeFunction 本身嵌套在另一个外部函数中，即使 makeFunction 和 makeFunction 的返回值都没有引用该外部词法环境中的任何内容，是否会保留该外部词法环境？

我问的是性能原因 - 闭包是保留一堆东西还是只保留它们直接引用的东西？这会影响内存使用和资源使用（例如打开的连接、句柄等）。

这主要是在 NodeJS 上下文中，但也可以在浏览器中应用。

Answer 1

V8 开发人员在这里。这有点复杂;-)

简短的回答是：闭包只保留他们需要的东西。

因此，在您的示例中，makeFunction 运行后，s 引用的字符串将有资格进行垃圾回收。由于垃圾收集的工作方式，无法预测它何时会被释放。 “在下一个垃圾收集周期”。 makeFunction 是否再次运行无关紧要；如果它再次运行，将分配一个新字符串（假设它是动态计算的；如果它是源中的文字，那么它会被缓存）。 made 是否已经运行或将再次运行也无关紧要；重要的是你有一个引用它的变量，所以你可以运行它（再次）。引擎通常无法预测哪些函数会在未来执行或不会执行。

更长的答案是有一些脚注。一方面，正如 cmets 已经指出的那样，如果您的闭包使用 eval，那么一切都必须保留，因为无论源 sn-p 是 eval'ed 都可以引用任何变量。 （但是，关于可能引用eval 的全局变量的评论不是真的；“全局评估”（又名“间接评估”）存在语义差异：它看不到局部变量。这通常被认为是一个优势为了性能和可调试性——但更好的是根本不使用eval。）

另一个脚注有点不幸的是，跟踪并没有尽可能细粒度：每个闭包将保持任何闭包的需求。我们已经尝试解决这个问题，但事实证明，更细粒度的跟踪会导致更多的内存消耗（用于元数据）和 CPU 消耗（用于完成工作），因此对于实际代码通常不值得（尽管它可能会对人工测试正是强调这种情况）。举个例子：

function makeFunction() {
  let x = 3;
  let s = "giant string, 100 MB in size";
  let short_lived = function() { console.log(s.length); }
  // short_lived();  // Call this or don't, doesn't matter.
  return function long_lived() { console.log(x); };
}

let long_lived = makeFunction();

在这个修改后的例子中，尽管long_lived 只使用了x，short_lived 确实使用了s（即使它从未被调用！），并且只有一个桶用于“来自makeFunction 的局部变量这是一些关闭所需要的”，这样存储桶就可以同时保持x 和s 活着。但正如我之前所说：真正的代码很少会遇到这个问题，所以这通常是你不必担心的。

旁注：

还有资源使用情况（例如打开的连接、句柄等）

作为一个非常笼统的陈述（即，在任何语言或运行时环境中，无论闭包或其他什么），通常建议不要依赖垃圾收集来进行资源管理。我建议在合适的时候立即手动明确地释放资源。