Dispose 和 finalizer

Dispose 和 finalizer

一：托管资源，非托管资源，GC，CLR
托管资源：一般是指被CLR控制的内存资源，这些资源的管理可以由CLR来控制，例如程序中分配的对象，作用域内的变量等。
非托管资源：是CLR不能控制或者管理的部分，这些资源有很多，比如文件流，数据库的连接，系统的窗口句柄，打印机资源等等……这些资源一般情况下不存在于Heap（内存中用于存储对象实例的地方）中。

GC的作用是很明显的，当系统内存资源匮乏时，它就会被激发，然后自动的去释放那些没有被使用的托管资源（也就是程序员没有显式释放的对象）。
CLR的GC功能也只能释放托管资源，对于非托管资源例如窗口，文件和网络连接等，它都只能跟踪非托管资源的生存期，而不知道如何去释放它。这样就会出现当资源用尽时就不能提供资源能够提供的服务，windows的运行速度就会变慢。这样的情况会出现在数据库的连接当中，当你没有显式的释放一个数据库资源时，如果还是不断的申请数据库资源，那么到一定时候程序就会抛出一个异常。

所以，当我们在类中封装了对非托管资源的操作时，我们就需要显式，或者是隐式的释放这些资源。

二：finalizer工作原理
1：finalizer的调用是在对象被标记为垃圾之后，GC回收对象之前的这个时间段里发生的。
2：具体什么时候调用无法预测。finalizer的调用和GC的调用是运行在两个不同的线程里。如下：
    class ObjectWithFinalizer
    {
        ~ObjectWithFinalizer()
        {
            Thread.Sleep(1000);
            Console.WriteLine("Finalize in thread {0}", Thread.CurrentThread.ManagedThreadId);
        }
    }
    public static void Main()
    {
        Console.WriteLine("Run in thread {0}", Thread.CurrentThread.ManagedThreadId);
        ObjectWithFinalizer owf = new ObjectWithFinalizer();
        GC.Collect();
        Console.WriteLine("GC.Collect() end");
    }
    执行效果如下：
    Run in thread 1
    GC.Collect() end
    Finalize in thread 2

3：GC会将带有finalizer的垃圾对象标记，放入一个专门的队列，然后启动另一个线程来执行这个队列中的所有 finalizer。同时，GC继续回收其他垃圾对象占用的内存。等到下一次GC被调用时，GC会回收这个队列中执行过finalizer的垃圾对象。换句话说，带有finalizer的对象至少要经过两个GC调用才能被回收。


三：Dispose 和 析构函数(finalizer)
    public class BaseResource : IDisposable
    {
        // 非托管资源
        private IntPtr handle;
        // 托管资源
        private Component Components;
        //设置标志表明该对象已经被处理过了。你必须在自己的公共方法中检查这种状态标志并抛出ObjectDisposed异常（如果某个对象被处理过之后再次被调用的话）
        private bool disposed = false;

        public BaseResource()
        {
            //  Insert appropriate constructor code here.
        }

        //如果显式的调用了Dispose方法，我们就在Dispose方法中实现托管资源和非托管资源的释放，使用 GC.SuppressFinalize 方法来停止Finalize方法。因为如果用户调用了Dispose方法，那么我们就不必隐式的完成资源的释放，应为Finalizes会大大的减损性能。(Finalize一般只用于用户没有显式的调用Dispose方法，需要我们隐式完成时才使用)
        public void Dispose()
        {
            //告诉垃圾搜集器不需要给这个对象调用析构函数了
            //禁止终结操作（finalization）。你调用GC.SuppressFinalize(this)来完成这种事务
            //当为true时，我们就需要释放托管资源和非托管资源，并且禁止GC的Finalize操作，因为用户可以直接通过显示调用来减小性能开销。
            Dispose(true);
            GC.SuppressFinalize(this);
        }

        //受保护的虚函数，并且如果派生类自己有对非托管资源的调用，那么派生类就要按照上面提到的要求，首先释放自己的资源，然后调用base.Dispose来实现基类的资源释放
        protected virtual void Dispose(bool disposing)
        {
            // 如果已经释放，不做再次的操作，出现在用户多次调用的情况下
            if (!this.disposed)
            {
                if (disposing)
                {
                    //通过调用托管对象的Dispose方法清除托管对象
                    // 用户是显示调用的话，我们就要手工的操作托管资源
                    Components.Dispose();
                }
                //释放非托管对象资源
                //CloseHandle(handle);
                handle = IntPtr.Zero;
            }
            disposed = true;
        }

        //写析构函数，这种方法执行时间是不确定的，而且增加系统开销
        ~BaseResource()
        {
            //析构函数是由GC调用，所以不能访问其它托管对象，所以这里设置为false;
            // 表示本次调用是隐式调用，由Finalize方法调用，即托管资源释放由GC来完成
            //如果为false时，表示我们只需要释放非托管资源，因为本次调用是由GC的Finalize引起的，所以托管资源的释放可以让GC来完成。
            Dispose(false);
        }
    }

    public class MyResourceWrapper : BaseResource
    {
        private ManagedResource addedManaged;
        private NativeResource addedNative;
        private bool disposed = false;

        public MyResourceWrapper()
        {
            // Insert appropriate constructor code here.
        }

        //类型的 Dispose 方法应该释放它拥有的所有资源。它还应该通过调用其父类型的 Dispose 方法释放其基类型拥有的所有资源。该父类型的Dispose 方法应该释放它拥有的所有资源并同样也调用其父类型的 Dispose 方法，从而在整个基类型层次结构中传播该模式。
        protected override void Dispose(bool disposing)
        {
            if (!this.disposed)
            {
                try
                {
                    if (disposing)
                    {
                        addedManaged.Dispose();
                    }
                    CloseHandle(addedNative);
                    this.disposed = true;
                }
                finally
                {
                    base.Dispose(disposing);
                }
            }
        }
    }

    //不再调用析构函数了
    BaseResource rw = new BaseResource();
    rw.Dispose();

    //没有调Dispose，则会触发调finalizer，析构函数
    BaseResource rw2 = new BaseResource();