C++11新特性之智能指针

应用

当我们需要从堆上申请空间时,可以将new出来的指针交由智能指针管理,比如:shared_ptr<int> a(new int);,这样当a出作用域时,在a对象析构的时候,就会释放持有的堆上指针,这是通过C++的析构函数实现的。

智能指针的原理

将基本指针类型封装为类对象指针,并在其析构函数里编写delete语句删除指针指向的内存空间。
智能指针都是栈上的对象,所以当函数(或程序)结束时,会自动释放。
应用场景举例:抛出异常后续语句不执行,之前申请空间无法释放,造成内存泄漏

C++11中的三个智能指针

unique_ptr

同一时刻只能由唯一的unique_ptr指向指定对象,不支持复制和赋值;

shared_ptr

可以多个指针指向相同的对象,通过引用计数机制,支持复制和赋值。每引用一次,内部计数+1;析构一次;内部计数-1;计数为0时,释放该指针;

weak_ptr

弱引用,为解决引用计数的互相引用形成环,这样两个指针指向的内存都无法释放的问题。只引用,不计数,使用前需要检查其是否为空。

引用计数的意义

当一个智能指针对象拷贝赋值给另外一个智能指针时,比如shared_ptr<int> b = a;a和b两个智能指针指向了同一块堆上的空间,a或b中的任意一个对象出作用域时,都不应该释放堆上的空间,因为还有另外一个智能指针对象在引用这个堆空间,于是就引入了引用计数机制来解决这个问题。当一个智能指针对象被创建时,会在堆上创建一个用于计数的空间,当shared_ptr<int> b = a;执行后,b对象浅拷贝a对象的计数区指针,然后将计数区的值+1。这样就相当于拷贝赋值出的一组智能指针都指向同一块堆上的数据空间,同时还共享另外一块堆上计数区(这也是叫做shared_ptr的原因)。在智能指针对象析构时,不是简单的直接释放持有的堆数据空间,而是先将共享的引用计数-1,之后发现引用计数为0的话,才调用delete。

实现一个简单的智能指针

/*实现一个简单的智能指针(shared_ptr模板)*/
#include <iostream>

template <typename T>
class SmartPointer
{
private:
    T * _ptr;
    size_t * Count;

    void destory()      //计数为0时,释放该指针
    {
        if(*Count==0)
        {
            delete _ptr;
            delete Count;
        }
    }

    void releaseCount()
    {
        if(_ptr)
        {
            (*Count)--;
            destory();
        }
    }

public:
    SmartPointer(T * p=0):_ptr(p),Count(new size_t) //构造函数
    {
        if(p)
            *Count = 1;
        else
            *Count = 0;
    }

    SmartPointer(const SmartPointer<T> & obj) //复制构造函数
    {
        if(this != &obj)
        {
            _ptr=obj._ptr;
            Count=obj.Count;
            ++(*Count);
        }
    }

    SmartPointer & operator = (const SmartPointer & obj)//重载赋值运算符
    {
        if(_ptr=obj._ptr) return *this; //相等,直接返回自己
        releaseCount();//不等,先清空本智能指针内内容;
        _ptr=obj._ptr;
        Count=obj.Count;
        ++(*Count); //计数加1

        return *this;
    }

    T& operator *() //重载解指针运算符
    {
        if(_ptr) return *_ptr;
    }

    T* operator->()
    {
        if(_ptr) return _ptr;
    }

    size_t count()
    {
        return *Count;
    }

    ~SmartPointer()
    {
        destory();
    }

};


using namespace std;

int main()
{
    SmartPointer<char> cp1(new char ('a'));
    cout<<cp1.count()<<endl;

    SmartPointer<char> cp2(cp1);
    cout << cp1.count() << endl;
    cout << cp2.count() << endl;

    SmartPointer<char> cp3;
    cp3 = cp2;
    cout << cp1.count() << endl;
    cout << cp2.count() << endl;
    cout << cp3.count() << endl;

    return 0;
}
image.png

处理循环引用问题

两个对象互相使用一个shared_ptr成员变量指向对方的会造成循环引用。
更直白的解释:即A内部有指向B,B内部有指向A,这样对于A,B必定是在A析构后B才析构,对于B,A必定是在B析构后才析构A,这就是循环引用问题,违反常规,导致内存泄露。

class B;
class A
{
public:
  shared_ptr<B> m_b;
};
 
class B
{
public:
  shared_ptr<A> m_a;
};
 
int main()
{
  while (true)
  {
    shared_ptr<A> a(new A); //new出来的A的引用计数此时为1
    shared_ptr<B> b(new B); //new出来的B的引用计数此时为1
    a->m_b = b; //B的引用计数增加为2
    b->m_a = a; //A的引用计数增加为2
  }
}

b先出作用域,B的引用计数减少为1,不为0,所以堆上的B空间没有被释放,且B持有的A也没有机会被析构,A的引用计数也完全没减少
a后出作用域,同理A的引用计数减少为1,不为0,所以堆上A的空间也没有被释放
解决方法
在不得不使用循环引用的时候,让引用链上的一方持用普通指针(或弱智能指针weak_ptr)即可。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 218,607评论 6 507
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 93,239评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,960评论 0 355
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,750评论 1 294
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,764评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,604评论 1 305
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,347评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,253评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,702评论 1 315
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,893评论 3 336
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 40,015评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,734评论 5 346
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,352评论 3 330
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,934评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,052评论 1 270
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,216评论 3 371
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,969评论 2 355

推荐阅读更多精彩内容

  • C#、Java、python和go等语言中都有垃圾自动回收机制,在对象失去引用的时候自动回收,而且基本上没有指针的...
    StormZhu阅读 3,735评论 1 15
  • 原作者:Babu_Abdulsalam 本文翻译自CodeProject,转载请注明出处。 引入### Ooops...
    卡巴拉的树阅读 30,099评论 13 74
  • 1.C和C++的区别?C++的特性?面向对象编程的好处? 答:c++在c的基础上增添类,C是一个结构化语言,它的重...
    杰伦哎呦哎呦阅读 9,526评论 0 45
  • 前言 Java 和 C/C++ 的一个重大区别,就是它没有"指针"的概念,这并不代表 Java 不需要只用指针,而...
    seraphzxz阅读 2,489评论 0 54
  • 前言 把《C++ Primer》[https://book.douban.com/subject/25708312...
    尤汐Yogy阅读 9,519评论 1 51