学步园

智能指针算是很多人喜欢思考的一种内存管理方案了...虽然这种方案本身存在一些硬伤,但是在很多需要智能,且使用方式相对较简单的场合里应用还是比较多的.

先发一个我最初写好的版本:

//////////////////////////////////////////////////////////////////<br /> // TSmartPtr - 智能指针类模板<br /> //<br /> // Author: 木头云<br /> // Blog: http://hi.baidu.com/markl22222<br /> // E-Mail: mark.lonr@tom.com<br /> // Version: 1.0.819.1654(2009/08/19)<br /> //<br /> // History:<br /> // - 1.0.813.1148(2009/08/13) @ 完成基本的类模板构建<br /> // - 1.0.814.1758(2009/08/14) + 添加TSmartPtr类相关操作符重载(==)<br /> // + 添加CSmartPtrManager智能指针管理类及全局的智能指针管理链表<br /> // - 1.0.817.1508(2009/08/17) ^ 优化CSmartPtrManager使之支持引用计数<br /> // + 添加TSmartPtr类相关操作符重载(*)<br /> // - 1.0.818.1600(2009/08/18) ^ 优化CSmartPtrManager指针管理链表的list为map<br /> // - 删除CSmartPtrManager类的Find()函数<br /> // = 调整TSmartPtr类模板参数,将is_ary改为DelFunction函数指针<br /> // = 调整CSmartPtrManager类,将其函数改为静态函数,并定义自动回收对象CAutoRecycle<br /> // + 添加CDelFunc类,用于统一管理指针删除<span class='wp_keywordlink'><a href="http://www.xuebuyuan.com/category/%E7%AE%97%E6%B3%95" title="算法" target="_blank">算法</a></span><br /> // - 1.0.819.1654(2009/08/19) + TSmartPtr类添加相关操作符重载([],+,-)<br /> // # 修正当指针自我复制时导致的指针被销毁的bug<br /> //////////////////////////////////////////////////////////////////</p> <p>#pragma once</p> <p>#include <map></p> <p>using namespace std;</p> <p>//////////////////////////////////////////////////////////////////</p> <p>// 指针类型重定义<br /> typedef void* _Ptr;</p> <p>// 指针销毁函数指针重定义<br /> typedef void (*_DelFun)(_Ptr p);</p> <p>//////////////////////////////////////////////////////////////////</p> <p>// CDelFunc - 指针删除算法类<br /> class CDelFunc<br /> {<br /> public:<br /> inline static void DelSingle(_Ptr p)<br /> {<br /> if(p) delete p;<br /> }</p> <p> inline static void DelArray(_Ptr p)<br /> {<br /> if(p) delete [] p;<br /> }<br /> };<br /> // CDelFunc - 指针删除算法类 结束</p> <p>//////////////////////////////////////////////////////////////////</p> <p>// CSmartPtrManager - 智能指针管理类<br /> class CSmartPtrManager<br /> {<br /> // 内部数据结构<br /> protected:<br /> // 内部指针结构<br /> struct _PTR<br /> {<br /> _Ptr p_ptr;<br /> _DelFun p_fun;<br /> unsigned int u_ref;</p> <p> _PTR()<br /> : p_ptr(NULL)<br /> , p_fun(NULL)<br /> , u_ref(0)<br /> {<br /> }</p> <p> _PTR(const _PTR& _ptr)<br /> : p_ptr(_ptr.p_ptr)<br /> , p_fun(_ptr.p_fun)<br /> , u_ref(_ptr.u_ref)<br /> {<br /> }</p> <p> void operator=(const _PTR& _ptr)<br /> {<br /> this->p_ptr = _ptr.p_ptr;<br /> this->p_fun = _ptr.p_fun;<br /> this->u_ref = _ptr.u_ref;<br /> }</p> <p> operator _Ptr()<br /> {<br /> return this->p_ptr;<br /> }</p> <p> void DelPtr()<br /> {<br /> (*(this->p_fun))(this->p_ptr);<br /> }<br /> };<br /> // 内部指针结构 结束</p> <p> // 自动回收对象<br /> class CAutoRecycle<br /> {<br /> public:<br /> ~CAutoRecycle()<br /> {<br /> /*<br /> 当程序退出时可以自动回收<br /> 所有仍未被回收的指针<br /> */<br /> CSmartPtrManager::ClrRef();<br /> }<br /> };<br /> // 自动链表对象 结束</p> <p> // 友元<br /> private:<br /> friend CAutoRecycle;</p> <p> // 成员变量<br /> protected:<br /> static map<_Ptr, _PTR> lst_ptr;<br /> static CAutoRecycle auto_rec;</p> <p> // 操作<br /> public:<br /> static void AddRef(_Ptr ptr, _DelFun _del_fun)<br /> {<br /> map<_Ptr, _PTR>::iterator iter = lst_ptr.find(ptr);<br /> if( iter != lst_ptr.end() )<br /> {<br /> iter->second.u_ref ++ ;<br /> return ;<br /> }<br /> _PTR _ptr;<br /> _ptr.p_ptr = ptr;<br /> _ptr.p_fun = _del_fun;<br /> _ptr.u_ref = 1;<br /> lst_ptr.insert( map<_Ptr, _PTR>::value_type(ptr, _ptr) );<br /> }</p> <p> static void DelRef(_Ptr ptr)<br /> {<br /> map<_Ptr, _PTR>::iterator iter = lst_ptr.find(ptr);<br /> if( iter != lst_ptr.end() )<br /> {<br /> if( iter->second )<br /> {<br /> if( -- iter->second.u_ref ) return ;<br /> iter->second.DelPtr(); // 删除指针<br /> lst_ptr.erase( iter );<br /> return ;<br /> }<br /> }<br /> }</p> <p>protected:</p> <p> static void ClrRef()<br /> {<br /> // 回收所有指针<br /> map<_Ptr, _PTR>::iterator iter = lst_ptr.begin();<br /> while( iter != lst_ptr.end() )<br /> {<br /> _PTR _ptr( iter++->second );<br /> if( !_ptr.u_ref ) continue ;<br /> _ptr.DelPtr(); // 删除指针<br /> }<br /> lst_ptr.clear();<br /> }<br /> };<br /> // CSmartPtrManager - 智能指针管理类 结束</p> <p>//////////////////////////////////</p> <p>// 初始化静态变量<br /> map<_Ptr, CSmartPtrManager::_PTR> CSmartPtrManager::lst_ptr;<br /> CSmartPtrManager::CAutoRecycle CSmartPtrManager::auto_rec;</p> <p>//////////////////////////////////////////////////////////////////</p> <p>// TSmartPtr - 智能指针类模板<br /> template<class TYPE, _DelFun DelFunction = CDelFunc::DelSingle><br /> class TSmartPtr<br /> {<br /> // 成员变量<br /> protected:<br /> TYPE* m_ptr;</p> <p> // 构造/析构<br /> public:<br /> TSmartPtr(void)<br /> {<br /> m_ptr = NULL;<br /> }</p> <p> TSmartPtr(TYPE* pt)<br /> {<br /> (*this) = pt;<br /> }</p> <p> TSmartPtr(const TSmartPtr& ptr)<br /> {<br /> (*this) = ptr;<br /> }</p> <p> virtual ~TSmartPtr(void)<br /> {<br /> Release();<br /> }</p> <p> // 操作<br /> public:<br /> void Release()<br /> {<br /> if( m_ptr )<br /> {<br /> CSmartPtrManager::DelRef(m_ptr);<br /> m_ptr = NULL;<br /> }<br /> }</p> <p> //////////////////////////////////</p> <p> void operator=(TYPE* pt)<br /> {<br /> if( (*this) == pt ) return ;<br /> Release();<br /> m_ptr = pt;<br /> CSmartPtrManager::AddRef(m_ptr, DelFunction);<br /> }</p> <p> void operator=(const TSmartPtr& ptr)<br /> {<br /> if( (*this) == ptr ) return ;<br /> Release();<br /> this->m_ptr = ptr.m_ptr;<br /> CSmartPtrManager::AddRef(m_ptr, DelFunction);<br /> }</p> <p> bool operator==(TYPE* pt) const<br /> {<br /> return (m_ptr == pt);<br /> }</p> <p> bool operator==(const TSmartPtr& ptr) const<br /> {<br /> return (this->m_ptr == ptr.m_ptr);<br /> }</p> <p> TYPE* operator+(int offset) const<br /> {<br /> return (m_ptr + offset);<br /> }</p> <p> TYPE* operator-(int offset) const<br /> {<br /> return (m_ptr - offset);<br /> }</p> <p> TYPE* operator->() const<br /> {<br /> return m_ptr;<br /> }</p> <p> TYPE& operator*()<br /> {<br /> return *m_ptr;<br /> }</p> <p> TYPE& operator[](int inx)<br /> {<br /> return m_ptr[inx];<br /> }</p> <p> operator TYPE*() const<br /> {<br /> return m_ptr;<br /> }<br /> };<br /> // TSmartPtr - 智能指针类模板 结束

使用示例:

TSmartPtr<int> pi = new int;<br /> (*pi) = 2;<br /> TSmartPtr<int> pi2 = pi;<br /> cout << (*pi) << " " << (*pi2) << endl;<br /> // ...<br /> TSmartPtr<ClassA> pc = new ClassA;<br /> pc->FuncA();<br /> // ...

以上的智能指针类解决了包括指针多次复制导致的析构删除错误等问题,利用一个静态的管理类纪录了所有当前存在的指针,每次添加新指针时就在静态指针map中登记,若当前指针已存在就将对应的引用计数加1...

不过使用这种方法管理引用计数有一个很大的缺点,就是每次添加或删除指针时必须要查找指针map,效率上会有所损失.但是这样做的好处是不会因为将普通指针赋值给智能指针而导致引用计数的管理混乱.

通常智能指针的解决方案是封装一个用于计数的指针封装类,在智能指针类创建新智能指针时new一个新的计数类并保存它的指针,当出现智能指针之间的拷贝时通过自己保存的计数类指针对计数进行操作,等同于操作了所有拥有这个计数类指针的智能指针的引用计数.这样做就不需要任何查表的操作了,但是不好的地方是一个指针引用计数类的实例并没有严格的与一个指针相绑定...但是只要严格注意使用规范(比如不要使用普通指针直接构造智能指针,在构造新智能指针时一定要使用new出来的新指针),是不会出现指针计数管理出现混乱的错误的.

在实际使用中,我还发现上面的代码还有因指针型别不同导致指针转换不方便,以及当使用类指针时此智能指针析构函数不会调用其析构函数等一些问题.

下面是一个改进版的TSmartPtr:

//////////////////////////////////////////////////////////////////<br /> // TSmartPtr - 智能指针类模板<br /> //<br /> // Author: 木头云<br /> // Blog: http://hi.baidu.com/markl22222<br /> // E-Mail: mark.lonr@tom.com<br /> // Version: 1.1.831.1200(2009/08/31)<br /> //<br /> // History:<br /> // - 1.0.813.1148(2009/08/13) @ 完成基本的类模板构建<br /> // - 1.0.814.1758(2009/08/14) + 添加TSmartPtr类相关操作符重载(==)<br /> // + 添加CSmartPtrManager智能指针管理类及全局的智能指针管理链表<br /> // - 1.0.817.1508(2009/08/17) ^ 优化CSmartPtrManager使之支持引用计数<br /> // + 添加TSmartPtr类相关操作符重载(*)<br /> // - 1.0.818.1600(2009/08/18) ^ 优化CSmartPtrManager指针管理链表的list为map<br /> // - 删除CSmartPtrManager类的Find()函数<br /> // = 调整TSmartPtr类模板参数,将is_ary改为DelFunction函数指针<br /> // = 调整CSmartPtrManager类,将其函数改为静态函数,并定义自动回收对象CAutoRecycle<br /> // + 添加CDelFunc类,用于统一管理指针删除算法<br /> // - 1.0.819.1720(2009/08/19) + 添加TSmartPtr类相关操作符重载([],+,-)<br /> // = 调整TSmartPtr类=操作符的返回值为TSmartPtr&<br /> // # 修正当指针自我复制时导致的指针被销毁的bug<br /> // - 1.1.820.2300(2009/08/20) + 添加TSmartPtr类相关成员函数对不同型别指针的支持<br /> // - 删除CSmartPtrManager管理类,让TSmartPtr类使用TPtr指针计数类指针自动管理指针计数<br /> // = 调整_Ptr及_DelFun类型重定义到CDelFunc类内部<br /> // ^ 优化TSmartPtr(TYPE*)构造函数的执行效率<br /> // = 调整类及其成员函数的声明格式<br /> // - 1.1.821.1645(2009/08/21) + 添加TPtr类相关操作符重载(!=)<br /> // + 添加TSmartPtr类相关操作符重载(!=)<br /> // - 1.1.825.1255(2009/08/25) # 修正TSmartPtr类bool operator==()与bool operator!=()对NULL指针的判断错误<br /> // - 1.1.827.1353(2009/08/27) = 调整TPtr与TSmartPtr类模板TYPE参数的默认值为CDelFunc::_Ptr<br /> // - 1.1.831.1200(2009/08/31) # 修正当使用类指针,智能指针析构时不会调用其析构函数的bug<br /> //////////////////////////////////////////////////////////////////</p> <p>#ifndef __STDCPX_SMARTPTR_H__<br /> #define __STDCPX_SMARTPTR_H__</p> <p>#pragma once</p> <p>//////////////////////////////////////////////////////////////////</p> <p>// 指针类型重定义<br /> typedef void* _Ptr;</p> <p>//////////////////////////////////////////////////////////////////</p> <p>// TPtr - 指针计数类 声明<br /> template<class TYPE = _Ptr, bool ARRAY = false><br /> class TPtr;</p> <p>// TSmartPtr - 智能指针类模板 声明<br /> template<class TYPE = _Ptr, bool ARRAY = false><br /> class TSmartPtr;</p> <p>//////////////////////////////////////////////////////////////////</p> <p>// 指针计数类<br /> template<class TYPE, bool ARRAY><br /> class TPtr<br /> {<br /> // 友元<br /> protected:<br /> friend class TSmartPtr<TYPE, ARRAY>;</p> <p>// 成员变量<br /> protected:<br /> TYPE* p_ptr;<br /> unsigned int u_ref;</p> <p>// 构造/析构<br /> protected:<br /> TPtr()<br /> : p_ptr(NULL)<br /> , u_ref(0)<br /> {<br /> }</p> <p> explicit TPtr(TYPE* pt)<br /> : p_ptr(pt)<br /> , u_ref(1)<br /> {<br /> }</p> <p> virtual ~TPtr()<br /> {<br /> // 调用合适的清理函数<br /> if( ARRAY )<br /> delete [] p_ptr;<br /> else<br /> delete p_ptr;<br /> }</p> <p>// 操作<br /> protected:<br /> unsigned int GetRefCount()<br /> {<br /> return u_ref;<br /> }</p> <p> TYPE* GetPtr()<br /> {<br /> return p_ptr;<br /> }</p> <p> //////////////////////////////////</p> <p> bool operator==(TYPE* pt) const<br /> {<br /> return (p_ptr == pt);<br /> }</p> <p> bool operator!=(TYPE* pt) const<br /> {<br /> return (p_ptr != pt);<br /> }</p> <p> void operator++()<br /> {<br /> ++ u_ref;<br /> }</p> <p> void operator--()<br /> {<br /> if( -- u_ref )<br /> {<br /> return ;<br /> }<br /> delete this;<br /> }</p> <p> TYPE& operator*()<br /> {<br /> return *p_ptr;<br /> }</p> <p> operator TYPE*()<br /> {<br /> return p_ptr;<br /> }<br /> };<br /> // 指针计数类 结束</p> <p>//////////////////////////////////////////////////////////////////</p> <p>// TSmartPtr - 智能指针类模板<br /> template<class TYPE, bool ARRAY><br /> class TSmartPtr<br /> {<br /> // 友元<br /> protected:<br /> template<class TYPE2, bool ARRAY><br /> friend class TSmartPtr;</p> <p>// 成员变量<br /> protected:<br /> TPtr<TYPE, ARRAY>* m_ptr;</p> <p>// 构造/析构<br /> public:<br /> TSmartPtr(void)<br /> : m_ptr(NULL)<br /> {<br /> }</p> <p> TSmartPtr(TYPE* pt)<br /> : m_ptr(NULL)<br /> {<br /> if( !pt ) return ;<br /> m_ptr = new TPtr<TYPE, ARRAY>(pt);<br /> }</p> <p> TSmartPtr(const TSmartPtr<TYPE>& ptr)<br /> : m_ptr(NULL)<br /> {<br /> (*this) = ptr;<br /> }</p> <p> //////////////////////////////////</p> <p> template<class TYPE2><br /> TSmartPtr(TYPE2* pt)<br /> : m_ptr(NULL)<br /> {<br /> if( !pt ) return ;<br /> m_ptr = new TPtr<TYPE, ARRAY>((TYPE*)pt);<br /> }</p> <p> template<class TYPE2><br /> TSmartPtr(const TSmartPtr<TYPE2>& ptr)<br /> : m_ptr(NULL)<br /> {<br /> (*this) = ptr;<br /> }</p> <p> //////////////////////////////////</p> <p> virtual ~TSmartPtr(void)<br /> {<br /> if( m_ptr ) -- (*m_ptr);<br /> }</p> <p>// 操作<br /> public:<br /> unsigned int GetRefCount()<br /> {<br /> if( m_ptr )<br /> return m_ptr->GetRefCount();<br /> else<br /> return 0;<br /> }</p> <p> void Release()<br /> {<br /> if( m_ptr ) delete m_ptr;<br /> m_ptr = NULL;<br /> }</p> <p> //////////////////////////////////</p> <p> TSmartPtr<TYPE, ARRAY>& operator=(const TSmartPtr<TYPE, ARRAY>& ptr)<br /> {<br /> if( (*this) == ptr ) return (*this);<br /> if( m_ptr ) -- (*m_ptr);<br /> m_ptr = ptr.m_ptr;<br /> if( m_ptr ) ++ (*m_ptr);<br /> return (*this);<br /> }</p> <p> bool operator==(TYPE* pt) const<br /> {<br /> if( m_ptr )<br /> return ((*m_ptr) == (TYPE*)pt);<br /> else if( !pt )<br /> return true;<br /> else<br /> return false;<br /> }</p> <p> bool operator==(const TSmartPtr<TYPE, ARRAY>& ptr) const<br /> {<br /> return (m_ptr == (TPtr<TYPE>*)ptr);<br /> }</p> <p> bool operator!=(TYPE* pt) const<br /> {<br /> if( m_ptr )<br /> return ((*m_ptr) != (TYPE*)pt);<br /> else if( pt )<br /> return true;<br /> else<br /> return false;<br /> }</p> <p> bool operator!=(const TSmartPtr<TYPE, ARRAY>& ptr) const<br /> {<br /> return (m_ptr != (TPtr<TYPE, ARRAY>*)ptr);<br /> }</p> <p> TYPE* operator+(int offset) const<br /> {<br /> return (m_ptr + offset);<br /> }</p> <p> TYPE* operator-(int offset) const<br /> {<br /> return (m_ptr - offset);<br /> }</p> <p> TYPE* operator->() const<br /> {<br /> return m_ptr->GetPtr();<br /> }</p> <p> TYPE& operator*()<br /> {<br /> return *(*m_ptr);<br /> }</p> <p> TYPE& operator[](int inx)<br /> {<br /> return (m_ptr->GetPtr())[inx];<br /> }</p> <p> operator TYPE*() const<br /> {<br /> return m_ptr->GetPtr();<br /> }</p> <p> //////////////////////////////////</p> <p> template<class TYPE2><br /> TSmartPtr<TYPE, ARRAY>& operator=(const TSmartPtr<TYPE2, ARRAY>& ptr)<br /> {<br /> if( (*this) == ptr ) return (*this);<br /> if( m_ptr ) -- (*m_ptr);<br /> m_ptr = (TPtr<TYPE, ARRAY>*)(TPtr<TYPE2, ARRAY>*)ptr;<br /> if( m_ptr ) ++ (*m_ptr);<br /> return (*this);<br /> }</p> <p> template<class TYPE2><br /> bool operator==(TYPE2* pt) const<br /> {<br /> return ((*this) == (TYPE*)pt);<br /> }</p> <p> template<class TYPE2><br /> bool operator==(const TSmartPtr<TYPE2, ARRAY>& ptr) const<br /> {<br /> return (m_ptr == (TPtr<TYPE, ARRAY>*)(TPtr<TYPE2, ARRAY>*)ptr);<br /> }</p> <p> template<class TYPE2><br /> bool operator!=(TYPE2* pt) const<br /> {<br /> return ((*this) != (TYPE*)pt);<br /> }</p> <p> template<class TYPE2><br /> bool operator!=(const TSmartPtr<TYPE2, ARRAY>& ptr) const<br /> {<br /> return (m_ptr != (TPtr<TYPE, ARRAY>*)(TPtr<TYPE2, ARRAY>*)ptr);<br /> }</p> <p> template<class TYPE2><br /> operator TYPE2*() const<br /> {<br /> return (TYPE2*)(m_ptr->GetPtr());<br /> }</p> <p> //////////////////////////////////</p> <p> protected:<br /> operator TPtr<TYPE, ARRAY>*() const<br /> {<br /> return m_ptr;<br /> }<br /> };<br /> // TSmartPtr - 智能指针类模板 结束</p> <p>//////////////////////////////////////////////////////////////////</p> <p>#endif // __STDCPX_SMARTPTR_H__

现在的智能指针不再使用map存储指针表了,另外加上了指针型别不同的拷贝,转换支持.其使用方法没有很大的变化,但是要注意一定不能这样使用:

TSmartPtr<int> pi = new int;<br /> int* pint = (int*)pi;<br /> TSmartPtr<int> pj = pint; // 此处这样使用会在pj析构时将pint删除两次

而原来的代码版本即使这样使用也不会出问题.

以上代码在Microsoft Visual C++ 2005上编译通过.