c# – 即使没有根据,为什么不用终结器收集对象？

如果没有显式调用Dispose(),我遇到了可以通过GC收集的终结对象的问题.
我知道如果一个对象实现了IDisposable,我应该显式调用Dispose(),但我一直认为依赖框架是安全的,当一个对象变为未引用时,它可以被收集.

但在使用windbg / sos / sosex进行一些实验后,我发现如果没有为可终结对象调用GC.SuppressFinalize(),它就不会被收集,即使它没有被引导.因此,如果您广泛使用可终结对象(DbConnection,FileStream等)并且未明确处理它们,则可能会遇到过高的内存消耗或甚至OutOfMemoryException.

这是一个示例应用程序：

public class MemoryTest
{
    private HundredMegabyte hundred;

    public void Run()
    {
        Console.WriteLine("ready to attach");
        for (var i = 0; i < 100; i++)
        {
            Console.WriteLine("iteration #{0}",i + 1);
            hundred = new HundredMegabyte();
            Console.WriteLine("{0} object was initialized",hundred);
            Console.ReadKey();
            //hundred.Dispose();
            hundred = null;
        }
    }

    static void Main()
    {
        var test = new MemoryTest();
        test.Run();
    }
}

public class HundredMegabyte : IDisposable
{
    private readonly Megabyte[] megabytes = new Megabyte[100];

    public HundredMegabyte()
    {
        for (var i = 0; i < megabytes.Length; i++)
        {
            megabytes[i] = new Megabyte();
        }
    }

    public void Dispose()
    {
        Dispose(true);
        GC.SuppressFinalize(this);
    }

    ~HundredMegabyte()
    {
        Dispose(false);
    }

    private void Dispose(bool disposing)
    {
    }

    public override string ToString()
    {
        return String.Format("{0}MB",megabytes.Length);
    }
}

public class Megabyte
{
    private readonly Kilobyte[] kilobytes = new Kilobyte[1024];

    public Megabyte()
    {
        for (var i = 0; i < kilobytes.Length; i++)
        {
            kilobytes[i] = new Kilobyte();
        }
    }
}

public class Kilobyte
{
    private byte[] bytes = new byte[1024];
}

即使经过10次迭代,您仍然可以发现内存消耗过高(从700MB到1GB),并且随着迭代次数的增加会更高.使用WinDBG附加到进程后,您可以发现所有大对象都是无根,但未收集.

如果你明确地调用SuppressFinalize(),情况就会改变：即使在高压下,内存消耗也会稳定在300-400MB左右,而WinDBG显示没有无根对象,内存是免费的.

所以问题是：它是框架中的错误吗？有合理的解释吗？

更多细节：

每次迭代后,windbg显示：

>终结队列为空
>可释放队列为空
>第2代包含先前迭代中的对象(百)
>以前迭代中的对象是无根的