关于未引用变量的JavaScript闭包

Question

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规范。）

Answer 1

问题是，x会发生什么？

答案因理论和实施而异。

理论上，是的，X保持活动，因为闭包（匿名函数）引用了调用foo上下文的绑定对象，其中包括X。

x = undefined;

让我们看看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_noffunction函数时，V8成功地识别出无法到达从notused引用的对象并将其删除，但在其他任何一个场景中都不会这样做，尽管无法到达unreachable，因此无法通过它到达notused。

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();

正如您所看到的，静态分析告诉CCunreachable是死代码，因此它完全删除了它。

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

unused = undefined;

在最后。由于您不再需要该函数，您还可以释放它：

unused = unreachable = undefined;

unreachable = undefined;