如何垃圾收集JavaScript闭包

Question

我记录了以下Chrome bug，它导致了我的代码中许多严重的、不明显的内存泄漏：

（这些结果使用Chrome Dev Tools的内存探查器，它运行GC，然后获取所有未加载收集的内容的堆快照。）

在下面的代码中，someClass实例被垃圾收集（良好）：

var someClass = function() {};

function f() {
  var some = new someClass();
  return function() {};
}

window.f_ = f();

但在这种情况下不会被垃圾收集（bad）：

var someClass = function() {};

function f() {
  var some = new someClass();
  function unreachable() { some; }
  return function() {};
}

window.f_ = f();

以及对应的截图：

似乎一个闭包（在本例中为function(){})会使所有对象保持“活动”，如果该对象被同一上下文中的任何其他闭包引用，不管该闭包本身是否可达。

我的问题是关于其他浏览器(IE9+和Firefox)中闭包的垃圾收集。我非常熟悉WebKit的工具，比如JavaScript堆探查器，但是我对其他浏览器的工具知之甚少，所以我还没能对其进行测试。

在这三种情况下，IE9+和Firefox将垃圾收集someClass实例？

Answer 1

据我所知，这不是一个bug而是预期的行为。

从Mozilla的内存管理页面中可以看到：“截至2012年，所有的现代浏览器都提供了一个标记和扫描垃圾收集器。”“限制：需要使对象显式不可达”。

在失败的示例中，some仍然可以在闭包中访问。我尝试了两种方法来使它无法到达，但两种方法都奏效了。当您不再需要some=null时，您要么设置window.f_=null；然后它就会消失。

更新

我已经在Windows上的Chrome30、FF25、Opera12和IE10中试用过了。

该标准没有说任何关于垃圾收集的内容，但给出了一些应该发生的事情的线索。

• 第13节函数定义，步骤4：“让闭包是创建13.2中指定的新函数对象的结果”
• 第13.2节“scope指定的词汇环境”（scope=闭包）
• 第10.2节词汇环境:

“一个（内部）词汇环境的外部指称是对逻辑上围绕着内部词汇环境的词汇环境的指称。

当然，一个外部词汇环境可能有它自己的外部词汇环境。一个词汇环境可以作为多个词汇内部环境的外部环境。例如，如果一个函数声明包含两个嵌套的函数声明，那么每个嵌套函数的词汇环境都将以当前执行周围函数的词汇环境作为其外部词汇环境。“

因此，函数将可以访问父函数的环境。

因此，some应该在返回函数的闭包中可用。

那为什么它不总是可用的？

看起来Chrome和FF足够聪明，在某些情况下可以消除该变量，但在Opera和IE中，some变量在闭包中可用（注意：要查看这一点，请在返回null上设置一个断点，并检查调试器）。

可以改进GC来检测函数中是否使用了some，但这会比较复杂。

一个坏例子：

var someClass = function() {};

function f() {
  var some = new someClass();
  return function(code) {
    console.log(eval(code));
  };
}

window.f_ = f();
window.f_('some');

在上面的示例中，GC无法知道变量是否被使用（代码已测试并在Chrome30、FF25、Opera12和IE10中工作）。

如果通过为window.f_分配另一个值而中断了对对象的引用，则释放内存。

在我看来这不是一个窃听器。