`
eriol
  • 浏览: 408992 次
  • 性别: Icon_minigender_1
  • 来自: 上海
社区版块
存档分类
最新评论

智能指针的原理和实现

    博客分类:
  • C++
阅读更多

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

 

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

 

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

 

   实现引用计数有两种经典策略:一是引入辅助类,二是使用句柄类。下面分别介绍这些内容。

 

 

问题描述

 

   假设有一个名为TestPtr的类,里面有一个指针成员,简化为如下代码:

 

class TestPtr 
{
public:
    TestPtr(int *p): ptr(p) { }
    ~TestPtr( ) { delete ptr; }
    // other operations
private:
    int *ptr;
    // other data
};

 

    在这种情况下,类TestPtr对象的任何拷贝、赋值操作都会使多个TestPtr对象共享相同的指针。但在一个对象发生析构时,指针指向的对象将被释放,从而可能引起悬垂指针。

 

   现在我们使用引用计数来解决这个问题,一个新的问题是引用计数放在哪里。显然,不能放在TestPtr类中,因为多个对象共享指针时无法同步更新引用计数。

 

 

方案一

 

   这里给出的解决方案是,定义一个单独的具体类(RefPtr)来封装指针和相应的引用计数。由于这个类只是用于对类TestPtr中的成员指针ptr进行了封装,无其它用途,所以把引用计数类RefPtr的所有成员均定义为private,并把类TestPtr声明为它的友元类,使TestPtr类可以访问RefPtr类。示例代码如下:

 

class RefPtr 
{
    friend class TestPtr;
    int *ptr;
    size_t count;
    RefPtr (int *p): ptr(p), count(1) {}
    ~RefPtr () {
        delete ptr;
    }
};

class TestPtr 
{
public:
    TestPtr(int *p): ptr(new RefPtr(p)) { }
    TestPtr(const TestPtr& src): ptr(src.ptr) {
        ++ptr->count;
    }
    TestPtr& operator= (const TestPtr& rhs) {
        // self-assigning is also right
        ++rhs.ptr->count;
        if (--ptr->count == 0)
            delete ptr;
        ptr = rhs.ptr;
        return *this;
    }
    ~TestPtr() {
        if (--ptr->count == 0)
            delete ptr;
    }
private:
    RefPtr *ptr;
};

 

   当希望每个TestPtr对象中的指针所指向的内容改变而不影响其它对象的指针所指向的内容时,可以在发生修改时,创建新的对象,并修改相应的引用计数。这种技术的一个实例就是写时拷贝(Copy-On-Write)。

 

   这种方案的缺点是每个含有指针的类的实现代码中都要自己控制引用计数,比较繁琐。特别是当有多个这类指针时,维护引用计数比较困难。

 

 

方案二

 

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

 

#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;
}

 

 

原文地址:http://www.cublog.cn/u/18517/showart_241240.html

分享到:
评论

相关推荐

    智能指针的简单实现

    通过查看`Test.cpp`中的代码,我们可以进一步了解这个自定义智能指针的具体实现和用法,以及它在实际场景中的应用。学习和理解这个实现可以帮助我们更好地掌握C++中智能指针的概念和使用技巧,以及如何在实际项目中...

    Chromium学习之智能指针

    ### Chromium中的智能指针实现分析 #### 一、引言 在C++编程语言中,内存管理是一项重要的任务。为了防止资源泄露或悬挂指针等问题的发生,开发者们常常需要手动管理对象的创建与销毁。然而,这样的做法不仅繁琐...

    C++智能指针的原理和实现.pdf

    三、智能指针的实现原理 智能指针通常包含一个原始指针成员,用于存储动态分配的对象。它们的构造函数接收一个原始指针,并在析构函数中调用`delete`释放内存。此外,智能指针还提供了操作符重载,如`*`和`-&gt;`,...

    智能指针的介绍和用法

    智能指针通过引用计数机制自动管理内存的分配和释放,使得开发者能够更专注于程序逻辑的实现而不必担心手动管理内存的复杂性。 C++标准库中提供了几种智能指针类型,如std::auto_ptr、std::shared_ptr、std::unique...

    智能指针实现

    在C++标准库中,`auto_ptr`是最早的智能指针实现之一,但在C++11及更高版本中,推荐使用`unique_ptr`、`shared_ptr`和`weak_ptr`等更安全的智能指针类型。 `auto_ptr`的实现原理主要是利用了C++的析构函数机制。当`...

    智能指针与引用计数详解

    通过阅读和理解这个demo,开发者可以深入理解智能指针的工作原理,并能更好地应用到实际项目中,避免因手动管理内存而导致的错误和隐患。 执行步骤资料可能会涵盖以下内容: 1. 创建并初始化智能指针对象。 2. 使用...

    C++中智能指针的设计和使

    引用计数智能指针的基本工作原理可以通过以下步骤概括: 1. **初始化**:当创建一个新的智能指针时,会初始化指向对象的指针,并将引用计数设置为1。 ```cpp template class SmartPointer { private: T *_...

    智能指针的一个实现 中科大 面向对象课程

    智能指针是C++编程中一个非常重要的概念,它是一种对象,可以自动管理动态分配的内存。...在文件"pointer"中,可能包含有关计数指针的具体实现代码或练习,这对于理解智能指针的工作机制和实践应用是非常有价值的。

    84、智能指针的原理、常用的智能指针及实现.pdf

    本文将详细解析智能指针的原理以及常见的四种智能指针:`shared_ptr`、`unique_ptr`、`weak_ptr`和`auto_ptr`。 首先,智能指针是一个类,它持有一个指向动态分配对象的指针,并在对象生命周期结束时自动调用析构...

    C++智能指针原理.pdf

    1. `auto_ptr`:早期的智能指针实现,具有所有权的概念,但其行为并不完全符合C++11及更高版本的标准,已被弃用。它的赋值操作会转移所有权,因此赋值后原`auto_ptr`不再管理内存,可能导致意外的内存泄漏。 2. `...

    C++智能指针实现原理及demo

    本篇文章将深入探讨两种主要的智能指针类型:`shared_ptr`和`unique_ptr`,以及它们的实现原理和使用示例。 ### `shared_ptr` `shared_ptr`是C++11引入的一种共享所有权智能指针,它通过引用计数来管理对象的生命...

    智能指针最全资料-5篇经典讲义

    本资料集包含了5篇经典讲义,详细阐述了智能指针的原理、Boost库中的智能指针实现以及在Visual C++(VC)中的应用。 首先,我们来看智能指针的基本原理。智能指针的核心思想是将动态分配的内存与对象的生命周期绑定...

    C++ 智能指针实现

    通过理解智能指针的工作原理和选择合适的智能指针库,开发者可以有效地避免内存管理相关的错误,提高软件的质量和性能。然而,智能指针并非万能,正确地应用和理解其限制对于开发高质量的C++程序至关重要。

    C++智能指针实现(包含拷贝构造,赋值函数,引用解引用重载)

    在C++编程中,智能指针...通过这种方式,初学者可以理解智能指针的工作原理,并学习如何在C++中实现它们。这不仅有助于提高内存管理技能,也有助于更好地理解和利用C++标准库中的`std::shared_ptr`和其他智能指针类型。

    C++智能指针及容器测试用例

    通过阅读和运行这些测试,你可以更好地理解智能指针和容器的工作原理,并学习如何在实际项目中有效地使用它们。 总之,C++的智能指针和容器提供了强大的内存管理和数据组织功能,而`CppTest`则为验证这些功能的正确...

    C++实现 带引用计数的智能指针

    在C++中,智能指针的主要目的是解决内存管理的问题,避免出现悬挂指针和内存泄漏。本文将详细讨论如何在C++中实现一种带引用计数的智能指针。 引用计数是一种常见的智能指针策略,它维护了一个内部计数,记录有多少...

    Boost智能指针示例源码

    通过阅读和分析这些示例,我们可以学习到如何在实际项目中有效地使用这两种智能指针,以实现更加安全和高效的内存管理。 总的来说,这个源码集合是学习和巩固Boost智能指针知识的宝贵资源。通过实践,我们可以更好...

    Android系统智能指针

    在计算机系统中,资源是数量有限且对系统正常运行具有一定作用的元素。...不过系统为我们提供了智能指针,避免出现上述问题,本文将系统地分析Android系统智能指针(轻量级指针、强指针和弱指针)的实现原理。

Global site tag (gtag.js) - Google Analytics