智能指针(smart pointer)是存储指向动态分配(堆)对象指针的类,用于生存期控制,能够确保自动正确的销毁动态分配的对象,防止内存泄露。它的一种通用实现技术是使用引用计数(reference count)。智能指针类将一个计数器与类指向的对象相关联,引用计数跟踪该类有多少个对象共享同一指针。每次创建类的新对象时,初始化指针并将引用计数置为1;当对象作为另一对象的副本而创建时,拷贝构造函数拷贝指针并增加与之相应的引用计数;对一个对象进行赋值时,赋值操作符减少左操作数所指对象的引用计数(如果引用计数为减至0,则删除对象),并增加右操作数所指对象的引用计数;调用析构函数时,构造函数减少引用计数(如果引用计数减至0,则删除基础对象)。
下面是一个基于计数引用的智能指针的实现(模板),需要实现构造,析构,拷贝,=重载,*重载和->重载。
template<typename T>
class smartpointer{
private:
T *ptr;
int *ref_cnt;
void releasecnt(){
if(ptr){
(*ref_cnt)--;
if((*ref_cnt)==0){delete ptr;delete ref_cnt;}
}
}
public:
smartpointer(T*p=0):ptr(p),ref_cnt(new int){
if(p)*ref_cnt=1;//初始化
else *ref_cnt=0;//赋值后
}//构造函数
smartpointer(const smartpointer&src){
if(this!=&src){
ptr=src.ptr;
ref_cnt=src.ref_cnt;
(*src.ref_cnt)++;
}
}//拷贝构造函数
smartpointer& operator=(const smartpointer&src){
if(ptr==src.ptr)return *this;
releasecnt();//清空原来的
ptr=src.ptr;
ref_cnt=src.ref_cnt;
(*ref_cnt)++;
return *this;
}//重载赋值
T& operator*(){
if(ptr){
return *ptr;
}
}//重载指针1
T*operator ->(){
if(ptr)
return ptr;
}//重载指针2
~smartpointer(){
if(--(*(ref_cnt))==0){
delete ptr;
delete ref_cnt;
}
}//析构函数
};