智能指针自动识别类型，正确调用析构函数的方法

智能指针大家都知道，里面保存了一个形如 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
  
   
class Destructor:public VoidClass
{
public:
	Destructor(T* p):VoidClass(p)
	{
	}
	void Do()
	{
		delete ((T*)GetPointer());
	}
};
  

typedef void(Destructor
  
   ::*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
  
   
union cast_union
{
	InputType in;
	OutPutType out;
};
template 
   
     OutPutType All_cast(InputType a) { cast_union
    
      u; u.in=a; return u.out; }
    
   
  

构造函数如下：

	template
  
   
	amyKeeper(T1* p)
	{
		typedef void(Destructor
   
    ::*RawDestructFunc)(); Destructor
    
     * dtor=new Destructor
     
      (p); m_Destructor=(VoidClass*)(dtor); m_DestructFunc=All_cast
      
       (&Destructor
       
        ::Do); m_Counter=new Counter; IncKeeper(); }
       
      
     
    
   
  

	(m_Destructor->*m_DestructFunc)();
        delete m_Destructor;
        m_Destructor=0;

Destructor
    
     * dtor=new Destructor
     
      (p);