.Net 垃圾回收机制详细介绍

析构函数

析构函数不能有修饰符，如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);用于阻止编译器在这个对象上执行析构。

感谢阅读，希望能帮助到大家，谢谢大家对PHP中文网的支持！