javascript - V8 是否对作用域的各个部分进行垃圾回收？

Question

我感兴趣的是 V8 是对一个范围内的单个变量的内容进行垃圾回收，还是只对整个范围进行垃圾回收？

所以，如果我有这段代码:

function run() {
    "use strict";
    var someBigVar = whatever;
    var cnt = 0;

    var interval = setInterval(function() {
        ++cnt;
        // do some recurring action
        // interval just keeps going
        // no reference to someBigVar in here
    }, 1000);

    someBigVar = somethingElse;
}

run();

V8 会收集垃圾 someBigVar 吗？ run() 中的闭包由于 setInterval() 回调而保持事件状态，显然 cnt 变量仍在使用，因此整个范围run() 不能被垃圾回收。但是，没有实际持续引用 someBigVar。

V8 是否一次只收集整个作用域的垃圾？那么，run() 的范围在interval 停止之前不能被垃圾回收？还是因为它可以看到间隔回调中没有实际引用 someBigVar 的代码，所以它足够聪明地进行垃圾收集 someBigVar？

仅供引用，这是一个 interesting overview article on V8 garbage collection (它没有解决这个具体问题)。

Answer 1

是的，确实如此。仅保留在闭包内部实际使用的变量。否则闭包必须捕获在外部作用域中定义的所有内容，这可能会很多。

唯一的异常(exception)是在闭包中使用 eval。由于无法静态确定 eval 的参数引用的内容，引擎必须保留所有内容。

这是一个使用 weak 演示此行为的简单实验模块(使用 --expose-gc 标志运行):

var weak = require('weak');
var obj = { val: 42 };

var ref = weak(obj, function() {
  console.log('gc');
});

setInterval(function() {
  // obj.val;
  gc();
}, 100)

如果闭包内没有对 ref 的引用，您将看到打印出 gc。