VC++ 2005确定性资源清理.pptVIP

* * VC++ 2005：确定性资源清理 李建忠 上海祝成科技 高级讲师 2005年2月24日 Agenda 托管编程与资源管理 Finalizer与Dispose模式 Destructor与RAII 栈对象与确定性资源清理 追踪句柄与delete 讲座总结 QA 资源及其分类 资源是软件永恒的主题 使用资源总是难免的，但是资源泄漏总是可以避免的 两大类资源——托管内存，非托管资源 托管内存：托管堆上的内存空间 非托管资源：本地堆内存，文件句柄，数据库链接，网络链接，GDI设备句柄…… 托管内存 void myfunc(){ ArrayList^ list=gcnew ArrayList(); …… } 不需要delete，list引用的对象会在myfunc执行之后某个适当的时候（不确定）被垃圾收集器自动回收 非托管资源 void myfunc(){ StreamReader^ sr=gcnew StreamReader(“book.txt”); …… } // 资源泄漏！ 虽然sr引用的对象内存不需要delete，但是该对象所使用的I/O资源需要被释放。 显式清理非托管资源 void myfunc(){ StreamReader^ sr=gcnew StreamReader(“book.txt”); …… sr-Dispose(); // OK,资源被显式清理 } Agenda 托管编程与资源管理 Finalizer与Dispose模式 Destructor与RAII 栈对象与确定性资源清理 追踪句柄与delete 讲座总结 QA .NET辅助非托管资源清理 垃圾收集器只能追踪托管对象的内存使用，而无从知道非托管资源何时不再被使用 内存释放并不会导致非托管资源被释放。 如何在内存被释放之前释放非托管资源？Finalizer ！ Object.Finalize方法 C++/CLI中的Finalizer ref class MyClass{ protected: !MyClass(){ … } }; 实际上是在重写Object.Finalize,必须为protected。C++/CLI不允许显式重写。 Finalizer的弊端 Finalizer会将对象的代龄延长，使无效的对象长时间存在于托管堆中，给托管堆带来内存负担 Finalizer只是为非托管资源清理提供了一层最后的保障，并不推荐使用。 IDisposable接口 目的：避免Finalizer的弊端，尽可能早地清理非托管资源 interface class IDisposable { void Dispose(); }; Dispose模式 程序员是这个世界上忘性最大的动物？ Dispose模式：Dispose+Finalize双保险 设置一个标志位来防止多次资源清理动作 在Dispose方法中调用System.GC::SuppressFinalize以告知垃圾收集器不再需要调用Finalize，从而减轻对象的负担 Agenda 托管编程与资源管理 Finalizer与Dispose模式 Destructor与RAII 栈对象与确定性资源清理 追踪句柄与delete 讲座总结 QA 禁止显式实现IDisposable接口 ref class StreamReader:IDisposable { public: void Dispose(){ … } }; C++/CLI并不允许这样做 ! 用destructor来取代 ref class StreamReader:IDisposable { public: ~StreamReader (){ … } }; 实际上就是在实现IDisposable接口!推荐public，但并非必须，因为是通过接口调用 RAII Dispose是如此特殊 Resource Acquisition is Initialization RAII的精神要求将Dispose实现为destructor Destructor与Dispose模式 同时实现Destructor与Finalizer Destructor自动调用了父类的Destructor Destructor中自动调用了System.GC::SuppressFinalize Destructor实现的Dispose模式并不完整，需要控制多次清理的标记位 Agenda 托管编程与资源管理 Finalizer与Dispose模式 Destructor与RAII 栈对象与确定性资源清理 追踪