C++中智能指针的实现原理

智能指针：它的一种通用实现方法是采用引用计数的方法。智能指针将一个计数器与类指向的对象相关联，引用计数跟踪共有多少个类对象共享同一指针。

每次创建类的新对象时，初始化指针并将引用计数置为1；

当对象作为另一对象的副本而创建时，拷贝构造函数拷贝指针并增加与之相应的引用计数；

对一个对象进行赋值时，赋值操作符减少左操作数所指对象的引用计数（如果引用计数为减至0，则删除对象），并增加右操作数所指对象的引用计数；这是因此左侧的指针指向了右侧指针所指向的对象，因此右指针所指向的对象的引用计数+1；

调用析构函数时，构造函数减少引用计数（如果引用计数减至0，则删除基础对象）。

实现智能指针有两种经典策略：一是引入辅助类，二是使用句柄类。这里主要讲一下引入辅助类的方法，看下面的例子：

class Point                                       //基础对象类，要做一个对Point类的智能指针

{

public:

    Point(int xVal = 0, int yVal = 0):x(xVal),y(yVal) { }

    int getX() const { return x; }

    int getY() const { return y; }

    void setX(int xVal) { x = xVal; }

    void setY(int yVal) { y = yVal; }

private:

    int x,y;

};

class RefPtr                                  //辅助类

{//该类成员访问权限全部为private，因为不想让用户直接使用该类

 friend class SmartPtr;      //定义智能指针类为友元，因为智能指针类需要直接操纵辅助类

 RefPtr(Point *ptr):p(ptr), count(1) { }

 ~RefPtr() { delete p; }

  

 int count;                                                     //引用计数

 Point *p;                                                      //基础对象指针

};

  

class SmartPtr                                             //智能指针类

{

public:

 SmartPtr(Point *ptr):rp(new RefPtr(ptr)) { }                                 //构造函数

 SmartPtr(const SmartPtr &sp):rp(sp.rp) { ++rp->count; }            //复制构造函数

 SmartPtr& operator=(const SmartPtr& rhs) {                              //重载赋值操作符

  ++rhs.rp->count;                                                         //首先将右操作数引用计数加1，

  if(--rp->count == 0)                                                                     //然后将引用计数减1，可以应对自赋值

   delete rp;

  rp = rhs.rp;

  return *this;

 }

 ~SmartPtr() {                                            //析构函数

  if(--rp->count == 0)                                  //当引用计数减为0时，删除辅助类对象指针，从而删除基础对象

   delete rp;

 }

  

private:

 RefPtr *rp;                                                //辅助类对象指针

};

  

int main()

{

 Point *p1 = new Point(10, 8);

 SmartPtr sp1(p1);    //此时sp1.rp->count = 1

 SmartPtr sp2(sp1);    //首先将sp1.rp->count赋给sp2.rp->count,之后sp2.rp->count++,这时sp1,sp2的rp是同一个对象

 Point *p2 = new Point(5, 5);

 SmartPtr sp3(p2);

 sp3 = sp1;

  

 return 0;

}