Javascript - 帮助理解变量行为

Question

请看下面的两个例子。 在这两个示例中，变量i被指定为0到9.在第一个示例中，在调用超时函数时， i已经被赋值为9.我不知道超时时i的值组。

for(var i = 0; i < 10; i++) {
    var callback = function() {
        alert('The first test returns: ' + i);
    };

    if(i === 0) setTimeout(callback, 2000);
}

在第二个选项中，我们可以通过将其传递到新的上下文来保持i的值（如果这个术语不正确，请纠正我）。

for(var i = 0; i < 10; i++) {
    var callback = (function(i) {
        return function() {
            alert('The second test returns: ' + i);
        }
    })(i);

    if(i === 0) setTimeout(callback, 2000);
}

第二个例子给了我期望的值， 0 - 所以就垃圾收集而言，这是如何工作的？ GC会在什么时候删除此值？ 在回调函数结束时？ 或者会有某种内存泄漏？

Answer 1

在第一个例子中， callback是函数function(){alert('...' + i);} ，其中i是定义callback的范围中的变量，即i in for(var i = 0; ...) 。

即使在i为0时setTimeout(callback, 2000) ，在2000ms之后，这是足够的时间来运行整个for循环， i将变为10，并且当callback时， The first test returns: 10将显示The first test returns: 10 。

但是，在进行闭包的第二个示例中， callback本身仍然是function(){alert('...' + i);} ，但由于匿名函数中的参数i其父作用域，因此i在callback是参数i在匿名函数中，而不是i in for(var i = 0; ...) 。

由于JavaScript使用call-by-value，当callback由(function(i){...}(i))设置时， i将被“修复”，这使得带有参数i的匿名函数然后立即通过值应用它i （ for(var i ...) ）。

GC在这里没有任何作用。 （GC的不同行为 - 除了内存使用和时间 - 意味着GC中存在错误。）