.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);用于阻止编译器在这个对象上执行析构。

感谢阅读，希望能帮助到大家，谢谢大家对本站的支持！