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