.Net学习难点讨论系列12 垃圾回收

 

析构函数

析构函数不能有修饰符，如public。不能接受任何参数。

编译器自动将一个析构函数转换成对Object.Finalize方法的一个override版，如下。

class Test
{
    protected override void Finalize()
    {
        try {…}
        finally { base.Finalize(); }
    }
}

 

 

垃圾回收器

.NET垃圾回收器会保证：

l  每个对象都会被摧毁，它的析构函数一定会被运行。当一个程序结束后，所有对象都会被销毁。

l  每个对象只被销毁一次。

l  每个对象只有在不可抵达时（即不存在到该对象的引用时）才会被销毁。

工作方式：

1)         它构造包含所有可抵达对象的一个map。为此，它会反复跟随对象中的引用字段。垃圾回收器会非常小心地构造这个map，并确保循环引用不会无限递归。这个map中任意对象都不会被认为不可抵达。

2)         它检查是否有任何不可抵达的对象具有一个需要运行的析构函数（运行析构函数的过程称为finalization）。需要finalization的任何不可抵达的对象都会放到一个特殊的队列中。这个队列称为freachable队列。

3)         它回收剩余的不可抵达的对象（即不需要finalization的对象）。为此，它会在heap中向下移动可抵达的对象，从而对heap进行碎片整理，并释放位于heap顶部的内存。当垃圾回收器移动一个可抵达的对象时，还会更新对该对象的引用。

4)         然后，它允许其他线程恢复执行

5)         它在一个单独的线程中，对需要finalization的不可抵达的对象（位于freachable队列中）执行finalize操作。

 

有上面的总结可以看出，析构函数的存在会使上面的过程多执行2，5两步。所以考虑使用using块来代替泛型。如果所使用的一个类实现了Dispose方法（Close方法）。最好是在finally中调用这个方法（调用方法前需检查这个要被dispose的对象的disposed属性是否为false，只有在不为true时再dispose，这也是推荐使用using的原因，using很容易约束这个待析构的变量的作用域-即一对大括号之间）。或者使用using块将使用这个类的代码包围。放入using块的对象的类型必须实现IDisposable接口。

 

标准清理模式

最后给出一个.NET推荐使用的标准清理模式代码，示例代码：

 

class MyClass : IDisposable
{
    private bool disposed = false;//Disposal 状态

    public void Dispose()//公有Dispose方法（可选实现IDisposal接口）
    {
        Dispose(true);
        GC.SuppressFinalize(this);
    }

    ~MyClass()
    {
        Dispose(false);
    }

    protected virtual void Dispose(bool disposing)
    {
        if (!disposed)
        {
            if (disposing)
            {
                //Dispose the managed resources.
            }
            //Dispose the unmanaged resources.
        }
        disposed = true;
    }
}

 

上述代码中，我们从析构函数中调用Dispose方法，这样可以确保Dispose执行。，另外GC.SuppressFinalize(this);用于阻止编译器在这个对象上执行析构。