C# 析构函数（又名：终结器）涉及的成本？

Question

析构函数应该只释放对象所持有的非托管资源，并且不应该引用其他对象。 如果您只有托管引用，则不需要（也不应该）实现析构函数。 您只需要这样做来处理非托管资源。 由于使用析构函数会产生一些成本，因此您应该仅在消耗宝贵的非托管资源的方法上实现此功能。

-- C# 中针对 C++ 的十大陷阱程序员

本文没有更深入地讨论这一点，但是在 C# 中使用析构函数会涉及哪些成本？

注意：我了解 GC，并且知道析构函数不会在可靠的时间被调用，除此之外，还有其他什么吗？

Answer 1

任何具有终结器（与析构函数相比，我更喜欢该术语，以强调与 C++ 析构函数的区别）的对象都会添加到终结器队列中。 这是对对象的引用列表，这些对象具有在删除之前必须调用的终结器。

当对象准备进行垃圾回收时，GC 会发现它位于终结器队列中，并将引用移动到易碎 (f-reachable) 队列。 这是终结器后台线程依次调用每个对象的终结器方法所经过的列表。

一旦调用了对象的终结器，该对象就不再位于终结器队列中，因此它只是 GC 可以删除的常规托管对象。

这一切都意味着，如果一个对象有终结器，那么它在被删除之前至少会经历一次垃圾回收。 这通常意味着该对象将被移动到下一个堆生成，这实际上涉及将内存中的数据从一个堆移动到另一个堆。

Answer 2

我见过的关于如何所有这些作品都是由 Joe Duffy 完成的。 它包含的细节比您想象的还要多。

接下来，我整理了实用方法 每天都这样做 - 较少关注成本，但更多关注实施。

Answer 3

Guffa 和 JaredPar 很好地涵盖了细节，因此我将在终结器或析构函数上添加一些深奥的注释，不幸的是，C# 语言规范如此称呼它们。

需要记住的一件事是，由于终结器线程按顺序运行所有终结器，因此终结器中的死锁将阻止所有剩余（和未来）终结器运行。 由于这些实例在其终结器完成之前不会被收集，死锁的终结器也会导致内存泄漏。

Answer 4

Guffa 很好地总结了终结器成本的因素。 最近有一篇关于 Java 中终结器的成本的文章，其中也提供了一些见解。

.net 中的部分成本可以通过使用 GC.SuppressFinalize 从终结器队列中删除对象来避免。 我根据文章在 .net 中运行了一些快速测试并将其发布到 这里< /a> （尽管重点更多地集中在 Java 方面）。

---

下面是结果图 - 它实际上没有最好的标签;-)。 “debug=true/false”指的是空终结器与简单终结器：

~ConditionalFinalizer()  
{  
    if (DEBUG)  
    {  
        if (!resourceClosed)  
        {  
            Console.Error.WriteLine("Object not disposed");  
        }  
        resourceClosed = true;  
    }  
} 

“Suppress=true”指的是 Dipose 方法中是否调用了 GC.SuppressFinalize。

摘要

对于 .net，通过调用 GC.SuppressFinalize 从终结器队列中删除对象的成本是将该对象留在队列上的成本的一半。