智能指针大家都知道,里面保存了一个形如 T* m_Pointer的指针,当引用计数为零时自动删除m_Pointer,
当T不为void时大家都会写,但是当T为void时,编译器在编译到delete m_Pointer时必定会报错。怎么办呢?我也是苦思冥想好久才用奇技淫巧解决之。而且不光解决void的删除问题,所有类型都可以用这种方法统一解决。解决的关键在成员函数指针。
delete是运算符没办法转化成成员函数,所以声明一个类用来封装之,为了之后统一处理的方便这个类会继承自一个叫VoidClass的类,代码如下:
class VoidClass { public: VoidClass() { m_Pointer=0; } VoidClass(void* p) { m_Pointer=p; } void* GetPointer(){return m_Pointer;} bool IsNull(){return m_Pointer==0?1:0;} private: void* m_Pointer; };
template<typename T> class Destructor:public VoidClass { public: Destructor(T* p):VoidClass(p) { } void Do() { delete ((T*)GetPointer()); } };
typedef void(Destructor<T1>::*RawDestructFunc)(); typedef void(VoidClass::*DestructFunc)();
下面的思路就是:
1,把任何指针封装进Destructor,并把Destructor转化为VoidClass保存。
2,把该指针封装进Destructor之后的Do函数(即实际的析构函数)转化成DestructFunc类型保存起来,delete时只用利用VoidClass对象调用DestructFunc即可。
有人说Do函数并没有出现在VoidClass里,为什么能把它转化成VoidClass的成员函数指针。这里不深究这个,我估计编译器只会认地址,只要指针的值不变,成员函数指针的地址值不变,任它类型怎么变都能正常调用。
在智能指针类里加上如下两个成员变量:
VoidClass* m_Destructor; DestructFunc m_DestructFunc;
奇技淫巧来啦,RawDestructFunc转换到DestructFunc的时候用到了一种在MFC里出现过的方法,用union来转换类型,我称之为All_Cast,代码如下:
template<class InputType,class OutPutType> union cast_union { InputType in; OutPutType out; }; template <class InputType, class OutPutType> OutPutType All_cast(InputType a) { cast_union<InputType,OutPutType> u; u.in=a; return u.out; }
构造函数如下:
template<typename T1> amyKeeper(T1* p) { typedef void(Destructor<T1>::*RawDestructFunc)(); Destructor<T1>* dtor=new Destructor<T1>(p); m_Destructor=(VoidClass*)(dtor); m_DestructFunc=All_cast<RawDestructFunc,DestructFunc>(&Destructor<T1>::Do); m_Counter=new Counter; IncKeeper(); }
(m_Destructor->*m_DestructFunc)(); delete m_Destructor; m_Destructor=0;
因为构造函数自动识别了B的类型:
Destructor<T1>* dtor=new Destructor<T1>(p);
无论mySmartPointer类的模板是什么,构造函数的模板参数永远是B,所以B类的析构函数被正确转化成m_DestructFunc保存起来了。
大家可以构造一些简单代码验证一下是否正确调用了析构函数。
原文:http://blog.csdn.net/a63140180/article/details/19073499