Javascript/ECMAScript 垃圾收集

Question

考虑以下代码（您可以将其放入 Chrome 的开发者控制台并检查）。

var obj = {
    f: function () {
        var myRef = this;
        val = setTimeout(function () { 
            console.log("time down!"); 
            myRef.f();
        }, 1000);
    }
};

如果我然后跑去

obj.f();

启动计时器，我可以看到每秒“时间到了！”

如果我然后运行

obj = null;

计时器仍然会触发。

只是好奇为什么垃圾收集不清除计时器？可怕的是，似乎现在无法删除计时器 - 我是对的吗？

我的猜测是，从技术上讲，窗口仍然保留对该对象的引用，因此该对象仍保留在内存中。我在另一种基于 ECMA 的语言（Actionscript）中遇到过这个问题，并构建了一个库来处理它，但我认为 Javascript 会采取不同的方法。

Answer 1

obj 不会被垃圾回收，因为传递给 setTimeout 的闭包必须保留下来才能执行。反过来，它保存对 obj 的引用，因为它捕获 myRef。

如果您将该闭包传递给任何其他保留它的函数（例如在数组中），情况会是相同的。

现在没有办法删除计时器，除非有可怕的黑客攻击¹。但这是很自然的：对象的工作就是清理自身。该对象的目的是无限地触发超时，因此该对象显然打算永远不会在自身之后进行清理，这可能是合适的。您不能指望某件事永远发生而不消耗至少一些内存。

---

¹ 可怕的 hack：由于计时器 ID 只是整数，因此您可以从 1 到 1000000000 循环，并对每个整数调用 clearTimeout。显然这会杀死其他正在运行的计时器！

Answer 2

回应K2xL的评论。

对您的功能进行细微调整，它的行为确实如您所建议的那样。如果 obj 被赋予一个新值，则 if 将失败，传播将停止，并且整个过程都可以被垃圾收集：

var obj = {
    f: function () {
        var myRef = this;
        if(myRef===obj){
            val = setTimeout(function () { 
                console.log("time down!"); 
                myRef.f();
            }, 1000);
        }
    }
};

我更喜欢稍微扁平的结构，你可以跳过对象容器并仅依赖于标准闭包：

(function(){
    var marker={}
    window.obj=marker
    function iterator(){
        if(window.obj===marker){
            setTimeout(iterator,1000)
            console.log("time down!")
        }
    }
    iterator()
})()

请注意，您可以使用您想要的任何对象作为标记，这很容易成为文档元素。即使在其位置建立了具有相同 id 的新元素，当该元素从文档中删除时，传播仍然会停止，因为新元素不等于旧元素：

(function(){
    var marker=document.getElementById("marker")
    function iterator(){
        if(document.getElementById("marker")===marker){
            setTimeout(iterator,1000)
            console.log("time down!")
        }
    }
    iterator()
})()

Answer 3

• 列表项

当然，计时器仍然会触发；您使用 myRef.f 在嵌套函数内递归调用它。

您的猜测是该窗口包含对 obj 的引用。确实如此，但是，这不是递归调用 setTimeout 的原因，也不是可以取消它的原因。

有几种方法可以提供定时器清除。一种方法是在一开始就传入一个条件函数。

要停止计时器，只需调用clearTimeout，然后不要递归调用setTimeout。一个基本示例：（

标识符 val 作为全局对象的属性创建。始终使用 var！）

var obj = {
    f : function (i) {
        // (GS) `this` is the base of `f` (aka obj).
        var myRef = this;
        var timer = setTimeout(function () { 
            if(i == 0) {
                clearTimeout(timer);
                return;
            }
            console.log(i, "time down!"); 
            myRef.f(--i);
        }, 1000);
    }
};

obj.f(4);

在此之上，isDone 方法可以通过来回传递的引用提供更具功能性的检查。 setTimeout可以改为setInterval。

var obj = {
    f : function (i, isDone, animEndHandler) {
        var timer = setInterval(function() { 
            console.log(i, "time down!"); 
            if(isDone(--i)) {
                animEndHandler({toString: function(){return"blast off!"}, i: i});  
                clearInterval(timer);
            }
        }, 1000);
    }
};

function isDone(i) {
  return i == 0;
}

function animEndHandler(ev) {
  console.log(""+ev);
}
obj.f(3, isDone, animEndHandler);

Answer 4

垃圾收集器不会清除计时器函数，因为 setTimeout() 实现中的某些内容会维护对它的引用，直到您调用 clearTimeout()。

您是正确的，如果您不清除它并删除对“setTimeout()”返回值的引用，那么您就引入了“内存泄漏”（因为计时器函数无法删除）。