天天看点

主流RAII class的存在价值——不存在能够完全替代Dumb Pointer的RAII class

前言

前几天在很多地方老是碰到RAII(Resouce Acqusition Is Initialition)相关的话题,对于这一块,由于自己以前在代码中很少用到,从来都习惯于使用dumb pointer,所以从没仔细去研究过。当它足够频繁的出现在我的眼前时,我渐渐意识到,是时候该做个了断了(说“了断”貌似有些夸张,其实也只是想把它研究透,以免以后老出现在我的眼前而不知其内部原理。。)。事实上,我当早该写这篇博文了,只是当我在看标准库的auto_ptr源码时,又发现里面的exception handling声明很多,困惑的地方总有该了结的时候,情急之下,又去钻透了exception handling(可以看看我之前的一篇博文:C++华丽的exception handling(异常处理)背后隐藏的阴暗面及其处理方法)。

在诸多大师书籍中,关于smart pointer的话题,《effective c++》中在讨论resource management时有涉及到,但仅仅是简单的一点用法,实质性原理方面没涉及到;《c++ primer》同样很少;《the c++ standard library》中倒是对auto_ptr讲解的很透彻,对于同样在TR1标准库中存在的shard_ptr却一笔带过,究其原因是由于作者在写书时,tr1库还未纳入C++标准;而Scott Meyers在《more effective c++》中对于smart pointer的原理性剖析非常详细,以至于像是在教我们如何设计一个良好的auto_ptr class和shard_ptr class。。 事实上,当我在不清楚smart pointer原理的时候,我开始在想:以后的代码中一定要用smart pointer代替dumb pointer,但当我真正了解了其内部机制后,却多少有些胆怯,因为相对于smart pointer所带来的方便性而言,由于使用其而带来的负面后果着实让人望而生畏。。

auto_ptr并非一个四海通用的指针

对于auto_ptr在解决exception handling时内存管理方面所作出的贡献是值得肯定的,这方面我不再想阐述具体内容,可以看看这里,在此我只想讨论起所带来的负面性后果。总结起来,值得注意的地方有以下几点:

1.auto_ptrs不能共享拥有权;

2.并不存在针对array而设计的auto_ptr;

3.auto_ptr不满足STL容器对其元素的要求;

4.派生类dumb pointer所对应的auto_ptr对象不能转换为基类dumb pointer所对应的auto_ptr对象;

我将逐个详细阐述说明这4点,为此,先来看标准库中auto_ptr的一段源码:

  1. template<class _Ty>  
  2.     class auto_ptr  
  3.         {    // wrap an object pointer to ensure destruction  
  4. public:  
  5.     typedef _Ty element_type;  
  6.     explicit auto_ptr(_Ty *_Ptr = 0) _THROW0()  
  7.         : _Myptr(_Ptr)  
  8.         {    // construct from object pointer  
  9.         }  
  10.     auto_ptr(auto_ptr<_Ty>& _Right) _THROW0()  
  11.         : _Myptr(_Right.release())  
  12.         {    // construct by assuming pointer from _Right auto_ptr  
  13.         }  
  14.     auto_ptr(auto_ptr_ref<_Ty> _Right) _THROW0()  
  15.         {    // construct by assuming pointer from _Right auto_ptr_ref  
  16.         _Ty *_Ptr = _Right._Ref;  
  17.         _Right._Ref = 0;    // release old  
  18.         _Myptr = _Ptr;    // reset this  
  19.         }  
  20.     template<class _Other>  
  21.         operator auto_ptr<_Other>() _THROW0()  
  22.         {    // convert to compatible auto_ptr  
  23.         return (auto_ptr<_Other>(*this));  
  24.         }  
  25.     template<class _Other>  
  26.         operator auto_ptr_ref<_Other>() _THROW0()  
  27.         {    // convert to compatible auto_ptr_ref  
  28.         _Other *_Cvtptr = _Myptr;    // test implicit conversion  
  29.         auto_ptr_ref<_Other> _Ans(_Cvtptr);  
  30.         _Myptr = 0;    // pass ownership to auto_ptr_ref  
  31.         return (_Ans);  
  32.         }  
  33.     template<class _Other>  
  34.         auto_ptr<_Ty>& operator=(auto_ptr<_Other>& _Right) _THROW0()  
  35.         {    // assign compatible _Right (assume pointer)  
  36.         reset(_Right.release());  
  37.         return (*this);  
  38.         }  
  39.     template<class _Other>  
  40.         auto_ptr(auto_ptr<_Other>& _Right) _THROW0()  
  41.         : _Myptr(_Right.release())  
  42.         {    // construct by assuming pointer from _Right  
  43.         }  
  44.     auto_ptr<_Ty>& operator=(auto_ptr<_Ty>& _Right) _THROW0()  
  45.         {    // assign compatible _Right (assume pointer)  
  46.         reset(_Right.release());  
  47.         return (*this);  
  48.         }  
  49.     auto_ptr<_Ty>& operator=(auto_ptr_ref<_Ty> _Right) _THROW0()  
  50.         {    // assign compatible _Right._Ref (assume pointer)  
  51.         _Ty *_Ptr = _Right._Ref;  
  52.         _Right._Ref = 0;    // release old  
  53.         reset(_Ptr);    // set new  
  54.         return (*this);  
  55.         }  
  56.     ~auto_ptr()  
  57.         {    // destroy the object  
  58.         delete _Myptr;  
  59.         }  
  60.     _Ty& operator*() const _THROW0()  
  61.         {    // return designated value  
  62. #if _HAS_ITERATOR_DEBUGGING  
  63.         if (_Myptr == 0)  
  64.             _DEBUG_ERROR("auto_ptr not dereferencable");  
  65. #endif   
  66.         __analysis_assume(_Myptr);  
  67.         return (*get());  
  68.         }  
  69.     _Ty *operator->() const _THROW0()  
  70.         {    // return pointer to class object  
  71. #if _HAS_ITERATOR_DEBUGGING  
  72.         if (_Myptr == 0)  
  73.             _DEBUG_ERROR("auto_ptr not dereferencable");  
  74. #endif   
  75.         return (get());  
  76.         }  
  77.     _Ty *get() const _THROW0()  
  78.         {    // return wrapped pointer  
  79.         return (_Myptr);  
  80.         }  
  81.     _Ty *release() _THROW0()  
  82.         {    // return wrapped pointer and give up ownership  
  83.         _Ty *_Tmp = _Myptr;  
  84.         _Myptr = 0;  
  85.         return (_Tmp);  
  86.         }  
  87.     void reset(_Ty* _Ptr = 0)  
  88.         {    // destroy designated object and store new pointer  
  89.         if (_Ptr != _Myptr)  
  90.             delete _Myptr;  
  91.         _Myptr = _Ptr;  
  92.         }  
  93. private:  
  94.     _Ty *_Myptr;    // the wrapped object pointer  
  95.     };  
  96. _STD_END 

对于第一点,容易犯的一个错误是很多时候试图将同一个dumb pointer赋给多个auto_ptr,不管是不知道auto_ptr的用法而导致或是因为忘记了是否已经将一个dumb pointer之前移交给了一个auto_ptr管理,结果将是灾难性的(尽管编译能通过)。比如这样:

  1. class BaseClass{}; 
  2. int test() 
  3.     BaseClass *pBase = new BaseClass; 
  4.     auto_ptr<BaseClass> ptrBaseClass1(pBase); 
  5.     auto_ptr<BaseClass>  ptrBaseClass2(pBase); 
  6.     return 0; 

auto_ptr源码中看出来对于对象的_Mypt在constructor中进行了初始化,而在destructor中对_Mypt又进行了delete,这意味着在上述代码中,test函数执行完时对同一个pBase连续delete了两次。在WIN32下会出现assert然后终止运行。如果想让多个RAII对象共享同一个dumb pointer,却依然不想考虑由谁来释放pointer的内存,那么在通盘考虑合适的情况下可以去用shard_ptr(后面会详细讲解)。

另外一个比较容易犯的错误是:试图将auto_ptr以by value或by reference方式传递给一个函数形参,其结果同样是灾难性的,因为这样做这意味着所有权进行了移交,比如试图这样做:

  1. void test(auto_ptr<int> ptrValue1)  
  2. {  
  3.     if (ptrValue1.get())  
  4.     {  
  5.         cout<<*ptrValue1<<endl;  
  6.     }  
  7. }  
  8. int main()  
  9. {  
  10.     auto_ptr<int> ptrValue(new int);  
  11.     *ptrValue = 100;  
  12.     test(ptrValue);  
  13.     *ptrValue = 10;  
  14.     cout<<*ptrValue<<endl;  
  15.     return 0;  

如果用习惯了dumb pointer,或许会以为这样做没有任何错误,但实际结果却是跟上述例子一样:出现assert然后teminate了当前程序。test之后ptrValue已经成为NULL值,对一个NULL进行引用并赋值,结果是未定义的。。倘若以by reference方式替代by value方式呢?那么将test改为如下:

  1. void test(auto_ptr<int> &ptrValue1)  
  2. {  
  3.     if (ptrValue1.get())  
  4.     {  
  5.         cout<<*ptrValue1<<endl;  
  6.     }  

如此以来,所得出的结果也正是我们所期望的,看起来貌似不错,但倘若有人这样做:

  1. void test(auto_ptr<int> &ptrValue1)  
  2. {  
  3.     auto_ptr<int> ptrValue2 = ptrValue1;  
  4.     if (ptrValue2.get())  
  5.     {  
  6.         cout<<*ptrValue2<<endl;  
  7.     }  

结果会和之前的by value方式一样,同样是灾难性的。如果非要让auto_ptr通过参数传递进一个函数中,而且不影响其后续时候,那么只有一种方式:by const reference。如此的话,如果试图这样做:

  1. void test(const auto_ptr<int> &ptrValue1)  
  2. {  
  3.     auto_ptr<int> ptrValue2 = ptrValue1;  
  4.     if (ptrValue2.get())  
  5.     {  
  6.         cout<<*ptrValue2<<endl;  
  7.     }  

将不会通过编译,因为ptrValue2 = ptrValue1试图在改变const reference的值。

对于第二点,从源码中看出来,destructor只执行delete _Mypt,而不是delete []_Mypt;所以如果试图这样做:

  1. class BaseClass{}; 
  2. int test() 
  3.     BaseClass *pBase = new BaseClass[5]; 
  4.     auto_ptr&lt;BaseClass> ptrBaseClass1(pBase); 
  5.     return 0; 

注意如此会发生内存泄露,pBase实际指向的是数组首元素,这意味着只有pBase[0]被正常释放了,其它对象均没被释放。标准库中至今不存在一个可以管理动态分配数组的auto_ptr或shared_ptr,这方面,boost::scoped_array和boost::shared_array可以提供这样的功能,或许以后在适当的时候我会再次深入讲解这两个RAII class。

对于第三点,auto_ptr在=操作符和copy constructor中的行为可从源码中看出来,其实质是进行了_Mypt管理权限的交接,这也正是auto_ptr一开始奉行的遵旨:只让一个RAII class object来管理同一个dumb pointer,若非如此,那么auto_ptr的存在是毫无意义的。而STL容器对其元素的值语意的要求是:可拷贝构造意味着其元素与被拷贝元素的值相同。事实上,诸如vector等容器经常push_back,pop_back或之类的操作会返回一个副本或拷贝一个副本,所以要求其值语意为拷贝后与原元素值还要保持相同就理所当然了。auto_ptr进行拷贝后,元素值就会发生改变,如此即不符合STL的值语意要求。

对于第四点而言,dumb poiter的派生类可以自由的转换为其所对应的基类的dumb pointer,而auto_ptr却不能,因为auto_ptr是个单独的类,意味着任何两个auto_ptr对象不能像普通指针那样进行这类转换,比如这样做:

  1. class BaseClass{}; 
  2. class DerivedClass{}; 
  3. int test() 
  4.     auto_ptr<BaseClass> ptrBaseClass; 
  5.     auto_ptr<DerivedClass> ptrDerivedClass(new DerivedClass); 
  6.     ptrBaseClass = ptrDerivedClass; 
  7.     return 0; 

是个错误的做法,这段代码将不会通过编译;事实上,这也正是所有现行RAII class存在的瓶颈,除非自己去设计一个RAII class,可以自由定义隐式转换操作符,比如这样做:

  1. template<typename T> 
  2. class SmartPointBaseClass 
  3. private: 
  4.     T* ptr; 
  5. public: 
  6.     SmartPointBaseClass(T* point = NULL):ptr(point){} 
  7.     ~SmartPointBaseClass() 
  8.     { 
  9.         delete ptr; 
  10.     } 
  11. }; 
  12. template<typename T> 
  13. class SmartPointDerivedClass:public SmartPointBaseClass<T> 
  14. private: 
  15.     T* ptr; 
  16. public: 
  17.     SmartPointDerivedClass(T* point = NULL):ptr(point) 
  18.     {} 
  19.     operator SmartPointBaseClass() 
  20.     { 
  21.         SmartPointBaseClass basePtr(ptr); 
  22.         ptr = NULL; 
  23.         return basePtr; 
  24.     }; 
  25.     ~SmartPointDerivedClass() 
  26.     { 
  27.         delete ptr; 
  28.     } 
  29. }; 
  30. int test() 
  31.     SmartPointBaseClass<int> ptrBaseClass; 
  32.     SmartPointDerivedClass<int> ptrDerivedClass(new int); 
  33.     ptrBaseClass = ptrDerivedClass; 
  34.     return 0; 

这里我重载了SmartPointBaseClass的隐式转换操作符,从而得以让派生类auto_ptr可以隐式转换为基类的auto_ptr。这是一个很简陋的RAII class,简陋到我自己都不敢用了^_^。。其实只是用来说明原理而用(这段代码在VS下测试通过),倘若真想设计一个良好的通用性强的RAII class,个人认为要仔细看看《more effective c++》中的条款28和29了,另外还得考虑到结合自身需求制定出性能和功能都比较折中或更良好的auto_ptr。All in all,auto_ptr绝对不是一个四海通用的指针。

auto_ptr的替代方案——shared_ptr

对于shared_ptr,其在很多方面能解决auto_ptr的草率行为(如以by value或by reference形式传递形参的灾难性后果)和限制性行为(如当做容器元素和多个RAII object共同拥有一个dumb pointer主权),它通过reference counting来使得多个对象同时拥有一个主权,当所有对象都不在使用其时,它就自动释放自己。如此看来,Scott Meyers称其为一个垃圾回收体系其实一点也不为过。由于TR1中的shared_ptr代码比较多,而且理解起来很困难。那么看看下面代码,这是《the c++ stantard library》中的一个简易的reference counting class源码,其用来说明shared_ptr原理来用是足够了的:

  1. template<typename T>  
  2. class CountedPtr 
  3. private: 
  4.     T* ptr; 
  5.     long *count; 
  6. public: 
  7.     explicit CountedPtr(T* p = NULL):ptr(p),count(new long(1)) 
  8.     {} 
  9.     CountedPtr(const CountedPtr<T> &p)throw():ptr(p.ptr),count(p.count) 
  10.     { 
  11.         ++*count; 
  12.     } 
  13.     ~CountedPtr()throw() 
  14.     { 
  15.         dispose(); 
  16.     } 
  17.     CountedPtr<T>& operator = (const CountedPtr<T> &p)throw() 
  18.     { 
  19.         if (this != &p) 
  20.         { 
  21.             dispose(); 
  22.             ptr = p.ptr; 
  23.             count = p.count; 
  24.             ++*count; 
  25.         } 
  26.         return *this; 
  27.     } 
  28.     T& operator*() const throw() 
  29.     { 
  30.         return *ptr; 
  31.     } 
  32.     T* operator->()const throw() 
  33.     { 
  34.         return ptr; 
  35.     } 
  36. private: 
  37.     void dispose() 
  38.     { 
  39.         if (--*count == 0) 
  40.         { 
  41.             delete count; 
  42.             delete ptr; 
  43.         } 
  44.     } 
  45. }; 

TR1的shared_ptr比这复杂很多,它的counting机制由一个专门的类来处理,因为它还得保证在多线程环境中counting的线程安全性;另外对于对象的析构工作具体处理形式,其提供了一个函数对象来供用户程序员来自己控制,在构造时可以通过参数传递进去。

shared_ptr在构造时,引用计数初始化为1,当进行复制控制时,对于shared_ptr先前控制的资源进行引用计数减1(为0时销毁先前控制的资源),因为此时当前shared_ptr要控制另外一个dumb pointer,所以其又对新控制的shared_ptr引用计数加1。

这样好了,由于其支持正常的赋值操作,所以能做容器的元素使用,也因此可以放心的用来进行函数形参的传递而不用担心像auto_ptr那样的权利转交所带来的灾难性后果了。但事实不尽如此,auto_ptr的权利转交所带来的便利性就是:永远不会存在循环引用的对象而导致内存泄露,而shared_ptr却开始存在这样的问题了,比如下面代码:

  1. class BaseClass; 
  2. class DerivedClass;  
  3. class BaseClass 
  4. public: 
  5.     tr1::shared_ptr<DerivedClass> sptrDerivedClass; 
  6. }; 
  7. class DerivedClass 
  8. public: 
  9.     tr1::shared_ptr<BaseClass> sptrBaseClass; 
  10. };  
  11. void InitData() 
  12.     tr1::shared_ptr<BaseClass> baseClass(new BaseClass); 
  13.     tr1::shared_ptr<DerivedClass> derivedClass(new DerivedClass);  
  14.     baseClass->sptrDerivedClass = derivedClass; 
  15.     derivedClass->sptrBaseClass = baseClass; 
  16. }  
  17. int test() 
  18.     InitData(); 
  19.     return 0; 

smart pointer用来做class的data member的话,比起dumb pointer来方便很多:如不用担心因此而产生的野指针的存在,也不用担心资源的管理操作。

这段看似正常的代码在test完了后的结果就是InitData中的类对象都在程序结束前一直不会被正常释放,因为其baseClass和derivedClass一直占用着对方而使其引用计数永远不会为0。如果因此而试图将所有的shared_ptr改为auto_ptr,那么结果会更惨,比如将上述部分代码改为这样:

  1. class BaseClass 
  2. public: 
  3.     auto_ptr<DerivedClass> sptrDerivedClass; 
  4. }; 
  5. class DerivedClass 
  6. public: 
  7.     auto_ptr<BaseClass> sptrBaseClass; 
  8. };  
  9. void InitData() 
  10.     auto_ptr<BaseClass> baseClass(new BaseClass); 
  11.     auto_ptr<DerivedClass> derivedClass(new DerivedClass);  
  12.     baseClass->sptrDerivedClass = derivedClass; 
  13.     derivedClass->sptrBaseClass = baseClass; 

在InitData的这一句:derivedClass->sptrBaseClass = baseClass 时候其实derivedClass所管理的指针已经为NULL了,试图对NULL进行引用会Teminate了当前程序。但至少在debug状态下,teminate前出现的assert信息能帮助我们知道自己不小心进行了循环引用,如此便能改正错误。倘若非要使用这样的操作而且还想避免循环引用,那么使用weak_ptr可以进行完美改善(后面会讲到)。

对于shared_ptr,说到这里就差不多了,最后对于面试中常问到的shared_ptr的线程安全性,boost类库实现的shared_ptr的文档中有这么一句:

shared_ptr objects offer the same level of thread safety as built-in types. A shared_ptr instance can be "read " (accessed using only const operations) simultaneously by multiple threads. Different shared_ptr instances can be "written to " (accessed using mutable operations such as operator= or reset) simultaneosly by multiple threads (even when these instances are copies, and share the same reference count underneath.)

Any other simultaneous accesses result in undefined behavior

即可以放心的像内置类型数据一样在线程中使用shared_ptr。究其源码,我看到的结果是只对counting机制实现了线程安全性,VS下的tr1库counting机制的线程安全实现宏如下:

  1. #ifndef _DO_NOT_DECLARE_INTERLOCKED_INTRINSICS_IN_MEMORY 
  2. extern "C" long __CLRCALL_PURE_OR_CDECL _InterlockedIncrement(volatile long *); 
  3. extern "C" long __CLRCALL_PURE_OR_CDECL _InterlockedDecrement(volatile long *); 
  4. extern "C" long __CLRCALL_PURE_OR_CDECL _InterlockedCompareExchange(volatile long *, 
  5.     long, long);  
  6.  #pragma intrinsic(_InterlockedIncrement) 
  7.  #pragma intrinsic(_InterlockedDecrement) 
  8.  #pragma intrinsic(_InterlockedCompareExchange) 
  9. #endif   
  10.  #define _MT_INCR(mtx, x)    _InterlockedIncrement(&x) 
  11.  #define _MT_DECR(mtx, x)    _InterlockedDecrement(&x) 
  12.  #define _MT_CMPX(x, y, z)    _InterlockedCompareExchange(&x, y, z) 

如此的话,回答安全或者不安全都是含糊不清的。在我看来只能这样说:shared_ptr对counting机制实现了线程安全,在多线程中使用多个线程共享的shared_ptr而不做其它任何安全管理机制,同样会存在抢占资源而导致的一系列问题,但reference counting是永远正常进行的。。

相应于shared_ptr所引发的循环引用而生的weak_ptr

对于打破shared_ptr的循环引用的一个最好的方法就是使用weak_ptr,它所提供的功能类似shared_ptr,但相对于shared_ptr来说,其功能却弱很多,如同它的名字一样。以下是一份主流weak_ptr所应有的接口声明:

  1. template<class Ty> class weak_ptr { 
  2. public: 
  3.     typedef Ty element_type; 
  4.     weak_ptr(); 
  5.     weak_ptr(const weak_ptr&); 
  6.     template<class Other> 
  7.         weak_ptr(const weak_ptr<Other>&); 
  8.     template<class Other> 
  9.         weak_ptr(const shared_ptr<Other>&); 
  10.     weak_ptr& operator=(const weak_ptr&); 
  11.     template<class Other> 
  12.         weak_ptr& operator=(const weak_ptr<Other>&); 
  13.     template<class Other> 
  14.         weak_ptr& operator=(shared_ptr<Other>&); 
  15.     void swap(weak_ptr&); 
  16.     void reset(); 
  17.     long use_count() const; 
  18.     bool expired() const; 
  19.     shared_ptr<Ty> lock() const; 
  20.     }; 

weak_ptr中没有重载*和->操作符,因而不能通过它来访问元素。看起来更像是一个shared_ptr的观察者,如果用MVC架构来解释的话,weak_ptr就充当了view层,而shared_ptr充当了model层,因为对于shared_ptr的任何操作后的状态信息都可以通过其对应的weak_ptr来观察出来,而观察的同时自身却并不做任何具体操作(例如访问元素或进行counting),事实上,倘若weak_ptr也提供类似的访问操作的话,那么意味着每次访问都会改变count的值,如此以来,weak_ptr也就失去了其自身存在的价值。。 如果用weak_ptr来改善在上面阐述shared_ptr中的问题的话,只需将BaseClass或DerivedClass中任何一个类中的shared_ptr改为weak_ptr即可(注意不能全部改成weak_ptr),看起来情况好了很多,但如此所带来的问题是:程序员需提前预知将会发生的循环引用,如果不能提前预知呢?那就等待着内存泄露时刻的到来而自己却全无所知,因为表象上看起来程序的确没有任何异常情况。。

后记

对于auto_ptr这样的RAII class的使用,不得不说其所带来的繁琐程度不亚于其所带来的便利性,而对于其是否值得使用,Scott Meyers在《more effective c++》中给出的建议是:“灵巧指针应该谨慎使用, 不过每个C++程序员最终都会发现它们是有用的”,对于这一点,虽然我没有过由于大量使用其而带来很多束手无策的经验,但对于其内部原理的剖析足以让我望而生畏。。相对来说,shared_ptr却显得更人性些,但通过使用一个类来管理普通的dumb pointer,方便的同时所带来的资源消耗也不可小视,毕竟任何一个dumb pointer只占一个字节,而一个shared_ptr所造就的资源消耗却大了很多。通常情况下,对于一些经常使用的相同资源而却有很多pointer访问的情况,使用shared_ptr无疑是最好的适用场景了。对于由于使用shared_ptr所带来的环状引用而造就的内存泄露,weak_ptr确实能帮助全然解决困难,但当我们面对或写下成千上万行的代码时,我想没人能保证绝对能提前知晓所存在的所有环状引用。。

无论如何,不存在一个足够通用的RAII class能完全替代dumb pointer,唯有在能预知使用其而所带来的便利性远远大于其所带来的繁琐度的情况下,其使用价值也就值得肯定了。而reference counting的思想在现在主流的跨平台2d游戏引擎cocos2d-x中已被展现的淋漓至尽。或许我以后的博客中,会有更多cocos2d-x方面的文章。。

转载于:https://blog.51cto.com/clement/772929