智能指针原理与简单实现(转)

以下实现没有考虑线程安全的问题。

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

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

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

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

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

实现智能指针有两种经典策略:一是引入辅助类,二是使用句柄类。

下面是辅助类:


1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

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;

}

  

使用该方式的内存结构图如下:

下面是句柄类:

为了避免上面方案中每个使用指针的类自己去控制引用计数,可以用一个类把指针封装起来。封装好后,这个类对象可以出现在用户类使用指针的任何地方,表现为一个指针的行为。我们可以像指针一样使用它,而不用担心普通成员指针所带来的问题,我们把这样的类叫句柄类。在封装句柄类时,需要申请一个动态分配的引用计数空间,指针与引用计数分开存储。实现示例如下:


#include <iostream>
#include <stdexcept>
using namespace std;

#define TEST_SMARTPTR
class Stub
{
public:
    void print() {
        cout<<"Stub: print"<<endl;
    }
    ~Stub(){
        cout<<"Stub: Destructor"<<endl;
    }
};

template <typename T>
class SmartPtr 
{
public:
    SmartPtr(T *p = 0): ptr(p), pUse(new size_t(1)) { }
    SmartPtr(const SmartPtr& src): ptr(src.ptr), pUse(src.pUse) {
        ++*pUse;
    }
    SmartPtr& operator= (const SmartPtr& rhs) {
        // self-assigning is also right
        ++*rhs.pUse;
        decrUse();
        ptr = rhs.ptr;
        pUse = rhs.pUse;
        return *this;
    }
    T *operator->() {
        if (ptr)
            return ptr;
        throw std::runtime_error("access through NULL pointer");
    }
    const T *operator->() const { 
        if (ptr)
            return ptr;
        throw std::runtime_error("access through NULL pointer");
    }
    T &operator*() {
        if (ptr)
            return *ptr;
        throw std::runtime_error("dereference of NULL pointer");
    }
    const T &operator*() const {
        if (ptr)
            return *ptr;
        throw std::runtime_error("dereference of NULL pointer");
    } 
    ~SmartPtr() {
        decrUse();
#ifdef TEST_SMARTPTR
        std::cout<<"SmartPtr: Destructor"<<std::endl; // for testing
#endif
    }
    
private:
    void decrUse() {
        if (--*pUse == 0) {
            delete ptr;
            delete pUse;
        }
    }
    T *ptr;
    size_t *pUse;
};

int main()
{
    try {
        SmartPtr<Stub> t;
        t->print();
    } catch (const exception& err) {
        cout<<err.what()<<endl;
    }
    SmartPtr<Stub> t1(new Stub);
    SmartPtr<Stub> t2(t1);
    SmartPtr<Stub> t3(new Stub);
    t3 = t2;
    t1->print();
    (*t3).print();
    
    return 0;
}

智能指针原理与简单实现(转)

时间: 2024-11-11 05:13:22

智能指针原理与简单实现(转)的相关文章

智能指针原理与简单实现

当类中有指针成员时,一般有两种方式来管理指针成员:一是采用值型的方式管理,每个类对象都保留一份指针指向的对象的拷贝:另一种更优雅的方式是使用智能指针,从而实现指针指向的对象的共享. 智能指针(smart pointer)的一种通用实现技术是使用引用计数(reference count).智能指针类将一个计数器与类指向的对象相关联,引用计数跟踪该类有多少个对象共享同一指针.    每次创建类的新对象时,初始化指针并将引用计数置为1:当对象作为另一对象的副本而创建时,拷贝构造函数拷贝指针并增加与之相

【C++】智能指针auto_ptr的简单实现

//[C++]智能指针auto_ptr的简单实现 #include <iostream> using namespace std; template <class _Ty> class auto_ptr { public: auto_ptr(_Ty *_P = 0) :_Owns(_Ptr != 0), _Ptr(_P) {} auto_ptr<_Ty>(const auto_ptr <_Ty> &p):_Owns(p._Owns),_Ptr(p.r

C/C++知识要点5——智能指针原理及自己定义实现

智能指针概述: 智能指针用来管理动态对象.其行为类似于常规指针,重要的差别是:它负责自己主动释放所指向的对象. C++ 11标准库提供两种智能指针:shared_ptr.unique_ptr 差别是:shared_ptr同意多个指针指向同一个对象:unique_ptr则独占所指向的对象. 另外.另一种weak_ptr的伴随类,它是一种弱引用.指向shared_ptr所管理的对象. 自己定义智能指针实现方法: 实现方法使用引用计数方法. 智能指针将一个计数器与类指向的对象相关联,引用计数跟踪一共同

C/C++知识要点5——智能指针原理及自定义实现

智能指针概述: 智能指针用来管理动态对象.其行为类似于常规指针,重要的区别是:它负责自动释放所指向的对象. C++ 11标准库提供两种智能指针:shared_ptr.unique_ptr 区别是:shared_ptr允许多个指针指向同一个对象:unique_ptr则独占所指向的对象. 另外,还有一种weak_ptr的伴随类,它是一种弱引用,指向shared_ptr所管理的对象. 自定义智能指针实现方法: 实现方法使用引用计数方法. 智能指针将一个计数器与类指向的对象相关联,引用计数跟踪一共有多少

智能指针原理及实现(2)- unique_ptr

只允许基础指针的一个所有者. 可以移到新所有者(具有移动语义),但不会复制或共享(即我们无法得到指向同一个对象的两个unique_ptr). 替换已弃用的 auto_ptr. 相较于 boost::scoped_ptr. unique_ptr 小巧高效:大小等同于一个指针,支持 rvalue 引用,从而可实现快速插入和对 STL 集合的检索.在头文件<memory>中. unique_ptr 为了避免和库里面的名称混淆,我自己实现的时候用的UniquePtr加以区分. 同一时刻,只能有一个un

智能指针分析及auto_ptr源码

简介 C++没有内存自动回收机制,对堆内存的管理就是简单的new和delete,每次new出来的内存都需要手动delete释放.但由于忘记.流程复杂或者异常退出等,都有可能导致没有执行delete释放内存,造成内存泄漏. 在实际工程中,我们往往希望将精力放在应用层上而不是费劲心思处理语言的细枝末节(内存释放),于是就有了最原始的只能指针auto_ptr. 智能指针原理 智能指针是一种资源管理类,这个类在构造函数中传入一个原始指针,在析构函数中释放传入的指针.智能指针都是栈上的对象,所以当函数(或

基于引用计数的智能指针

编程语言中实现自动垃圾回收机制方式有好几种,常见的有标记清除,引用计数,分代回收等. C++需要手动管理垃圾,可以自己实现一个智能指针.最简单的是引用计数的思路 template <class T> class SmartPointer { T* obj; unsigned int* count; SmartPointer(T* ptr) { obj = ptr; count = new int; *count = 1; } SmartPointer(SmartPointer &p)

再谈智能指针

http://www.cnblogs.com/lewiskyo/p/4214592.html  之前写过一篇文章介绍智能指针,并且简单实现了auto_ptr. 里面提到 auto_ptr 不能做为Stl容器的元素,原因具体是 http://www.360doc.com/content/14/0429/16/1317564_373230218.shtml 简要来说就是在对Stl容器元素进行复制构造时,不能改变原来的值(const T2& value),而auto_ptr在复制构造的时候,一定会修改

auto_ptr,shared_ptr 智能指针的使用

Q: 那个auto_ptr是什么东东啊?为什么没有auto_array?A: 哦,auto_ptr是一个很简单的资源封装类,是在<memory>头文件中定义的.它使用“资源分配即初始化”技术来保证资源在发生异常时也能被安全释放(“exception safety”).一个auto_ptr封装了一个指针,也可以被当作指针来使用.当其生命周期到了尽头,auto_ptr会自动释放指针.例如: #include<memory> using namespace std;  struct X