智能指针的实现--使用引用计数实现以及原理

一、智能指针

  在C++语言编程时,当类中有指针成员时,一般有两种方式来管理指针成员:一是采用值型的方式管理,每个类对象都保留一份指针指向的对象的拷贝;另一种更优雅的方式是使用智能指针,从而实现指针指向的对象的共享。

智能指针(smart pointer)的一种通用实现技术是使用引用计数(reference count)。智能指针类将一个计数器与类指向的对象相关联,引用计数跟踪该类有多少个对象共享同一指针。

  每次创建类的新对象时,初始化指针并将引用计数置为1;当对象作为另一对象的副本而创建时,拷贝构造函数拷贝指针并增加与之相应的引用计数;对一个对象进行赋值时,赋值操作符减少左操作数所指对象的引用计数(如果引用计数为减至0,则删除对象),并增加右操作数所指对象的引用计数;调用析构函数时,析构函数减少引用计数(如果引用计数减至0,则删除基础对象)。

二、智能指针的一般实现

  智能指针通常使用类模板来实现。模拟类指针的各种行为。但是,其最重要的作用是对类指针成员的管理,防止悬垂指针的出现。

template<class T>
class SmartPointer{
    public:
        SmartPointer(T *t):pt(t){}
        T& operator *(){ return *pt; }
        T* operator ->() { return pt; }
    private:
        T *pt;
};  

三、引用计数的实现

  为了实现引用计数,我们定义一个_counter类来记录引用次数,把_counter类的所有成员设定为private,因为其他的类型并不需要访问_counter,只有SmartPointer对其进行操作就行了,SmartPointer将设为其友元类。

class _counter{
    template<class T> friend class SmartPointer;
    _counter(int u):use(u){}
    ~_counter(){}
    int use;
};  

在SmartPointer类中,保留_counter的指针。

template<class T>
class SmartPointer{
    public:
        SmartPointer(T *t):pc(new _counter(1)){
            cout<<"SmartPointer::SmartPointer() invoded use is: "<<pc->use<<endl;
            this->pt = t;
        }  

        SmartPointer(SmartPointer<T> &rhs){
            this->pc = rhs.pc;
            this->pt = rhs.pt;
            this->pc->use++;
            cout<<"SmartPointer copy invoked use is: "<<pc->use<<endl;
        }  

        ~SmartPointer(){
            pc->use--;
            cout<<"SmartPointer::~SmartPointer() invoded use is: "<<pc->use<<endl;
            if(pc->use == 0)
            {
                delete pt;
                delete pc;
            }
        }  

        SmartPointer<T>& operator=(SmartPointer<T> rhs){
            if(rhs == *this){
                return *this;
            }
          
        if(--pc->use==0){

            delete pt;

            delete pc;

        }

            this->pt = rhs.pt;
            this->pc = rhs.pc;
            this->pc->use++;
            cout<<"SmartPointer::operator=() invoked  use is: "<<pc->use<<endl;
            return *this;
        }  

    private:
        T *pt;
        _counter* pc;
};  

例如:我们有一个HasPtr类,其类成员中有一个为指针*p。

class HasPtr{
    public:
        HasPtr(int val):value(val),p(new int(3)){
            cout<<"HasPtr::HasPtr() invoked"<<endl;
        }
        ~HasPtr(){ delete p; cout<<"HasPtr::~HasPtr() invoded"<<endl;}  

    private:
        int *p;
        int value;
};  

如果如下调用:

HasPtr *php = new HasPtr(3);
SmartPointer<HasPtr> psp(php);
SmartPointer<HasPtr> npsp(psp);

我们现在有两个智能指针对象,指向同一个HasPtr对象,其模型如下:

_counter的use成员(引用计数)为2.

四、测试

int main(void)
{
    HasPtr *php = new HasPtr(3);
    SmartPointer<HasPtr> psp(php);
    SmartPointer<HasPtr> npsp(psp);
    SmartPointer<HasPtr> nnpsp = npsp;  

    return 0;
}  

使用gcc编译器,运行结果如下:

再找一份实现:

#include <iostream>
#include <windows.h>
using namespace std;

#define SAFE_DELETE(p) if (p) { delete p; p = NULL; }

class KRefCount
{
public:
    KRefCount():m_nCount(0){}

public:
    unsigned AddRef(){ return InterlockedIncrement(&m_nCount); }
    unsigned Release(){ return InterlockedDecrement(&m_nCount); }
    void Reset(){ m_nCount = 0; }

private:
    unsigned long m_nCount;
};

template <typename T>
class SmartPtr
{
public:
    SmartPtr(void)
        : m_pData(NULL)
    {
        m_pReference = new KRefCount();
        m_pReference->AddRef();
    }

    SmartPtr(T* pValue)
        : m_pData(pValue)
    {
        m_pReference = new KRefCount();
        m_pReference->AddRef();
    }

    SmartPtr(const SmartPtr<T>& sp)
        : m_pData(sp.m_pData)
        , m_pReference(sp.m_pReference)
    {
        m_pReference->AddRef();
    }

    ~SmartPtr(void)
    {
        if (m_pReference && m_pReference->Release() == 0)
        {
            SAFE_DELETE(m_pData);
            SAFE_DELETE(m_pReference);
        }
    }

    inline T& operator*()
    {
        return *m_pData;
    }

    inline T* operator->()
    {
        return m_pData;
    }

    SmartPtr<T>& operator=(const SmartPtr<T>& sp)
    {
        if (this != &sp)
        {
            if (m_pReference && m_pReference->Release() == 0)
            {
                SAFE_DELETE(m_pData);
                SAFE_DELETE(m_pReference);
            }

            m_pData = sp.m_pData;
            m_pReference = sp.m_pReference;
            m_pReference->AddRef();
        }

        return *this;
    }

    SmartPtr<T>& operator=(T* pValue)
    {
        if (m_pReference && m_pReference->Release() == 0)
        {
            SAFE_DELETE(m_pData);
            SAFE_DELETE(m_pReference);
        }

        m_pData = pValue;
        m_pReference = new KRefCount;
        m_pReference->AddRef();
        return *this;
    }

    T* Get()
    {
        T* ptr = NULL;
        ptr = m_pData;

        return ptr;
    }

    void Attach(T* pObject)
    {
        if (m_pReference->Release() == 0)
        {
            SAFE_DELETE(m_pData);
            SAFE_DELETE(m_pReference);
        }

        m_pData = pObject;
        m_pReference = new KRefCount;
        m_pReference->AddRef();
    }

    T* Detach()
    {
        T* ptr = NULL;

        if (m_pData)
        {
            ptr = m_pData;
            m_pData = NULL;
            m_pReference->Reset();
        }
        return ptr;
    }

private:
    KRefCount* m_pReference;
    T* m_pData;
};

class CTest
{
public:
    CTest(int b) : a(b) {}
private:
    int a;
};

int main()
{
    SmartPtr<CTest> pSmartPtr1(new CTest(10));
    SmartPtr<CTest> pSmartPtr2(new CTest(20));

    pSmartPtr1 = pSmartPtr2;
}

时间: 2025-01-05 18:54:05

智能指针的实现--使用引用计数实现以及原理的相关文章

智能指针的模拟实现shared_ptr 循环引用 定置删除器

auto_ptr与scoped_ptr的实现见本人的上篇博客. 三.shared_ptr shared_ptr的实现原理是通过引用计数来实现,只有当引用计数为1时才释放空间,否则只需将引用计数减1.拷贝和赋值将引用计数加1,具体代码如下: template <typename T> class SharedPtr { public: SharedPtr(); SharedPtr(T* ptr); SharedPtr(const SharedPtr<T>& ap); ~Sha

c++智能指针以及循环引用问题(转)

解决循环引用: 在知道存在循环引用的条件下,使用boost::weak_ptr,即弱引用来代替循环引用中的某个强引用,从而打破循环引用的环. 由于 C++ 语言没有自动内存回收机制,程序员每次 new 出来的内存都要手动 delete,比如流程太复杂,最终导致没有 delete,异常导致程序过早退出,没有执行 delete 的情况并不罕见,并造成内存泄露.如此c++引入 智能指针 . c++ 智能指针主要包括:unique_ptr,shared_ptr, weak_ptr, 这三种,其中auto

C++智能指针类模板

1.智能指针本质上是一个对象,这个对象可以像原生的一样来进行使用.原因是智能指针对象对应的类中,将指针相关的操作都进行了重载操作处理,所以才会达到这种像是原生的效果. 2.智能指针的意义: 现在C++开发库中最重要的类模板之一 C++中自动内存管理的主要手段 能够在很大程度上避开内存相关的问题 3.在QT中开发库中也提供了智能指针类模板,在STL标准库中也提供了,在c++的标准库忘了什么名了中也提供了智能指针类模板.所以智能指针类模板在C++中的地位很重要 4.STL中的智能指针类模板 auto

关于智能指针

对share_ptr,属于强引用型的智能指针.内部通过引用计数实现对对象的管理,在引用计数为0时,自动释放对象.使用share_ptr的缺点是:会造成对象的循环引用,导致对象永远无法释放,比如: Share_ptr可以在多线程中使用,确保指针指向的对象是有效的. Weak_ptr是弱引用性的智能指针.Weak_ptr不对造成对象的引用技术的增加.因此不会造成对象的循环引用,weak_ptr可以通过引用计数或者 成员函数expired来判断对象是否已经释放.在访问对象时.但是在使用时需要把weak

C++中的智能指针

众所周知.C++中对堆内存的申请与释放全然由用户来控制,这就造成用户在使用的时候常常造成内存泄漏.野指针.反复释放等常见的挂掉问题,所以我们有必要提供一套机制.使得用户仅仅需申请对应的内存,不用管释放的问题,事实上这属于著名的RAII(Resource Acquisition Is Initialization)技术 .在C++中这样的技术称作"智能指针",C++中的智能指针技术越来越受到广泛应用.以下简要介绍下智能指针. 从以上描写叙述中能够看出,我们须要提供一套内存显式申请与隐式释

Binder学习笔记(十一)—— 智能指针

轻量级指针 Binder的学习历程爬到驱动的半山腰明显感觉越来越陡峭,停下业务层的学习,补补基础层知识吧,这首当其冲的就是智能指针了,智能指针的影子在Android源码中随处可见.打开frameworkds/rs/cpp/util,RefBase.h和StrongPointer.h两个文件,代码多读几遍都能读懂,可是串起来总感觉摸不到骨架,把不住主线.闭上眼零零星星的点串不成一条线.究其原因应该是此处使用了模式,最好先剔除掉业务层的皮肉,把模式的骨架摸个门清,再回来看代码就会势如破竹了. 不是多

智能指针的使用与陷阱

在包含指针的类中需要注意复制控制,复制指针时只复制指针中的地址,不会复制指针指向的对象. 大多数c++类采用三种方法管理指针成员: 1)指针成员采用常规指针型行为. 2)采用智能指针 3)采取值型行为 常规指针缺陷:可能会出现悬垂指针.当一个指针复制到另一个指针,两个指针指向同一个对象,当一个指针删除对象时,另一个指针不知道,所以出现悬垂指针.即使使用默认合成复制构造函数也会出现,类本身无法避免. 智能指针:加入了引用计数.引用计数跟踪该类有多少对象共享同一指针.当引用计数为0 时,删除对象.创

用智能指针实行所有权

现在我们讨论下使用返回指针的函数的潜在错误.假设有一个函数返回一个指向某个MyClass类型的对象的指针. MyClass* MyFactoryClass::Create(const Inputs& inputs); 这个函数的一个非常显而易见的问题是,它的调用者是否负责删除这个对象?或者说这个指针所指向的MyClass类的实例是MyFactoryClass所拥有的实例?这个问题显然应该在声明这个函数的头文件中以注释的形式说明.但在软件的世界里,实际上很少能够做到这样.但是,即使函数的作者确实提

ReactNative 4Android源码分析二: 《JNI智能指针之实现篇》

文/Tamic http://blog.csdn.net/sk719887916/article/details/53462268 回顾 上一篇介绍了<ReactNative4Android源码分析2: JNI智能指针之介绍篇>JNI智能指针与wrapper class的作用,下面将对它们的具体实现进行分析,并解答上篇提出的几个问题 前文回顾了java object在JNI中的引用对象jobject的3种类型.智能指针自然也有相应的如下类型: global_ref 全局指针与jobject全局