我知道有关闭包的精彩帖子 here和 here ，但似乎都没有解决我想到的特定情况。这个问题最好用代码来证明:

function foo() {
    var x = {};
    var y = "whatever";

    return function bar() {
        alert(y);
    };
}

var z = foo();

在 bar 中引用 y 会调用一个闭包，只要我将 z 保持在垃圾收集器周围就不会清理 y。问题是——x 会发生什么？即使它没有被引用，它是否也被那个闭包持有？垃圾收集器会发现没有引用 x 并清理它吗？或者只要我坚持使用 z，x 就会与 y 一起持续存在吗？ (一个理想的答案是引用 ECMA 规范。)

最佳答案

The question is -- what happens to x?

答案因理论与实现而异。

理论上，是的，x保持事件状态，因为闭包(匿名函数)引用了调用 foo 的上下文的绑定(bind)对象, 其中包括 x .

在实践中，现代 JavaScript 引擎非常智能。如果他们能向自己证明 x 不能从闭包中引用，他们可以将其省略。他们这样做的程度因引擎而异。示例:V8(Chrome 和其他地方的引擎)将从 x 开始, y ，甚至是 x 的对象指的是堆栈，而不是堆；然后退出时 foo ，它会查看哪些内容仍有未完成的引用，并将它们移动到堆中。然后弹出栈指针，其他的东西都不存在了。 :-)

那么，他们如何证明呢？基本上，如果闭包中的代码不引用它并且不使用 eval或 new Function ，JavaScript 引擎很可能能够知道 x不需要。

如果你需要确定即使x仍然存在，该对象即使在旧版浏览器上也可用于 GC，这些浏览器可能是字面上的(愚蠢的)，您可以这样做:

x = undefined;

这意味着没有任何东西保留对对象 x 的引用用来指代。所以即使x仍然存在，至少它所指的对象已经准备好收割了。而且它是无害的。但同样，现代引擎会为你优化事情，我不会担心它，除非你遇到特定的性能问题并将其追踪到一些代码分配一旦函数返回就不会被引用的大对象，但是不要'似乎正在清理。

不幸的是，正如您在下面指出的那样，对此有限制，例如 this question 中提到的限制。 .但这并不全是厄运和忧郁，请参阅下面的个人资料快照，了解您可以做什么...

让我们看看 V8 中的这段代码，使用 Chrome 的堆快照功能:

function UsedFlagClass_NoFunction() {}
function UnusedFlagClass_NoFunction() {}
function build_NoFunction() {
  var notused = new UnusedFlagClass_NoFunction();
  var used = new UsedFlagClass_NoFunction();
  return function() { return used; };
}

function UsedFlagClass_FuncDecl() {}
function UnusedFlagClass_FuncDecl() {}
function build_FuncDecl() {
  var notused = new UnusedFlagClass_FuncDecl();
  var used = new UsedFlagClass_FuncDecl();
  function unreachable() { notused; }
  return function() { return used; };
}

function UsedFlagClass_FuncExpr() {}
function UnusedFlagClass_FuncExpr() {}
function build_FuncExpr() {
  var notused = new UnusedFlagClass_FuncExpr();
  var used = new UsedFlagClass_FuncExpr();
  var unreachable = function() { notused; };
  return function() { return used; };
}

window.noFunction = build_NoFunction();
window.funcDecl = build_FuncDecl();
window.funcExpr = build_FuncExpr();

这是扩展的堆快照:

处理 build_NoFunction 时函数，V8成功识别出notused引用的对象无法到达并摆脱它，但在其他任何一种情况下都不会这样做，尽管 unreachable无法到达，因此 notused无法通过它到达。

那么我们可以做些什么来避免这种不必要的内存消耗呢？

好吧，对于任何可以通过静态分析处理的东西，我们都可以使用 JavaScript-to-JavaScript 编译器，比如 Google 的 Closure Compiler。即使在“简单”模式下，使用 Closure Compiler“编译”上述代码的美化结果如下所示:

function UsedFlagClass_NoFunction() {}
function UnusedFlagClass_NoFunction() {}
function build_NoFunction() {
    new UnusedFlagClass_NoFunction;
    var a = new UsedFlagClass_NoFunction;
    return function () {
        return a
    }
}

function UsedFlagClass_FuncDecl() {}
function UnusedFlagClass_FuncDecl() {}
function build_FuncDecl() {
    new UnusedFlagClass_FuncDecl;
    var a = new UsedFlagClass_FuncDecl;
    return function () {
        return a
    }
}

function UsedFlagClass_FuncExpr() {}
function UnusedFlagClass_FuncExpr() {}
function build_FuncExpr() {
    new UnusedFlagClass_FuncExpr;
    var a = new UsedFlagClass_FuncExpr;
    return function () {
        return a
    }
}
window.noFunction = build_NoFunction();
window.funcDecl = build_FuncDecl();
window.funcExpr = build_FuncExpr();

如您所见，静态分析告诉 CC unreachable是死代码，因此它完全删除了它。

当然，您可能使用过 unreachable在函数执行过程中的某些东西，在函数完成后就不需要它了。它不是死代码，但是函数结束时您不需要的代码。在这种情况下，您必须求助于:

unused = undefined;

最后。由于您不再需要该功能，您也可以释放它:

unused = unreachable = undefined;

(是的，您可以这样做，即使它是使用函数声明创建的。)

不，遗憾的是，只是在做:

unreachable = undefined;

...没有成功(截至撰写本文时)让 V8 计算出 unused可以清理。 :-(

关于关于未引用变量的 JavaScript 闭包，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24468713/