4

C#Javapythongo等语言中都有垃圾自动回收机制,在对象失去引用的时候自动回收,而且基本上没有指针的概念,而C++语言不一样,C++充分信任程序员,让程序员自己去分配和管理堆内存,如果管理的不好,就会很容易的发生内存泄漏问题,而C++11增加了智能指针(Smart Pointer)。主要分为shared_ptrunique_ptrweak_ptr三种,使用时需要引用头文件<memory>c++98中还有auto_ptr,基本被淘汰了,不推荐使用。而c++11shared_ptrweak_ptr都是参考的boost库中实现的。

我的简书链接

原始指针

c语言中最常使用的是malloc()函数分配内存,free()函数释放内存,而c++中对应的是newdelete关键字。malloc()只是分配了内存,而new则更进一步,不仅分配了内存,还调用了构造函数进行初始化。使用示例:

int main()
{
    // malloc返回值是 void*
    int* argC = (int*)malloc(sizeof(int));
    free(argC);

    char*c = (char*)malloc(100);
    free(c);

    char *age = new int(25); //做了两件事情 1.分配内存 2.初始化
    int* height = new int(160);

    delete height;
    delete age;
    
    char* arr = new int[100];
    delete[] arr;
    /*delete数组需要使用delete[],事实上,c++原始支持的数据结构组成的
    数组不需要[]也可以,但 自定义的数据类型组成的数组必须使用delete[]*/
}

newdelete必须成对出现,有时候是不小心忘记了delete,有时候则是很难判断在这个地方自己是不是该delete,这个和资源的生命周期有关,这个资源是属于我这个类管理的还是由另外一个类管理的,如果是我管理的,就由我来delete,由别人管理的就由别人delete,我就算析构了也不影响该资源的生命周期。例如:

// 情况1: 需要自己delete
const char* getName() {
    char *valueGroup = new char[1000];
    // do something
    return valueGroup;
}
// 情况2: 不需要自己delete
const char* getName2() {
    static char valueGroup[1000];
    // do something
    return valueGroup;
}

只通过函数签名来看,这两个函数没有什么区别,但是由于实现的不同,有时候需要自己管理内存,有时候不需要,这个时候就需要看文档说明了。这就是使用一个"裸"指针不好的地方。

一点改进是,如果需要自己管理内存的话,最好显示的将自己的资源传递进去,这样的话,就能知道是该资源确实应该由自己来管理。

char *getName(char* v, size_t bufferSize) {
    //do something
    return v;
}

上面还是小问题,自己小心一点,再仔细看看文档,还是有机会避免这些情况的。但是在c++引入异常的概念之后,程序的控制流就发生了根本性的改变,在写了delete的时候还是有可能发生内存泄漏。如下例:

void badThing(){
    throw 1;// 抛出一个异常
}

void test() {
    char* a = new char[1000];

    badThing();
    // do something
    delete[] a;
}
int main() {
    try {
        test();
    }
    catch (int i){
        cout << "error happened " << i << endl;
    }
}

上面的newdelete是成对出现的,但是程序在中间的时候抛出了异常,由于没有立即捕获,程序从这里退出了,并没有执行到delete,内存泄漏还是发生了。

C++中的构造函数和析构函数十分强大,可以使用构造和析构解决这种问题,比如:

class SafeIntPointer {
public:
    explicit SafeIntPointer(int v) : m_value(new int(v)) { }
    ~SafeIntPointer() {
        delete m_value;
        cout << "~SafeIntPointer" << endl;
    }
    int get() { return *m_value; }
private:
    int* m_value;
};

void badThing(){
    throw 1;// 抛出一个异常
}

void test() {
    SafeIntPointer a(5);

    badThing();
}
int main() {
    try {
        test();
    }
    catch (int i){
        cout << "error happened " << i << endl;
    }
}

// 结果
// ~SafeIntPointer
// error happened 1

可以看到,就算发生了异常,也能够保证析构函数成功执行!这里的例子是这个资源只有一个人使用,我不用了就将它释放掉。但还有种情况,一份资源被很多人共同使用,要等到所有人都不再使用的时候才能释放掉,对于这种问题,就需要对上面的SafeIntPointer增加一个引用计数,如下:

class SafeIntPointer {
public:
    explicit SafeIntPointer(int v) : m_value(new int(v)), m_used(new int(1)) { }
    ~SafeIntPointer() {
        cout << "~SafeIntPointer" << endl;
        (*m_used) --; //引用计数减1
        if(*m_used <= 0){
            delete m_used;
            delete m_value;
            cout << "real delete resources" << endl;
        }

    }
    SafeIntPointer(const SafeIntPointer& other) {
        m_used = other.m_used;
        m_value = other.m_value;
        (*m_used)++; //引用计数加1
    }
    SafeIntPointer& operator= (const SafeIntPointer& other) {
        if (this == &other) // 避免自我赋值!!
           return *this;

        m_used = other.m_used;
        m_value = other.m_value;
        (*m_used)++; //引用计数加1
        return *this;
    }

    int get() { return *m_value; }
    int getRefCount() {
        return *m_used;
    }

private:
    int* m_used;
    int* m_value;
};

int main() {
    SafeIntPointer a(5);
    cout << "ref count = " << a.getRefCount() << endl;
    SafeIntPointer b = a;
    cout << "ref count = " << a.getRefCount() << endl;
    SafeIntPointer c = b;
    cout << "ref count = " << a.getRefCount() << endl;
}

/*
ref count = 1
ref count = 2
ref count = 3
~SafeIntPointer
~SafeIntPointer
~SafeIntPointer
real delete resources
*/

可以看到每一次赋值,引用计数都加一,最后每次析构一次后引用计数减一,知道引用计数为0,才真正释放资源。要写出一个正确的管理资源的包装类还是蛮难的,比如上面那个上面例子就不是线程安全的,只能属于一个玩具,在实际工程中简直没法用。而到了C++11,终于提供了一个共享的智能指针解决这个问题。

shared_ptr共享的智能指针

shared_ptr的基本使用

shared_ptr的基本使用很简单,看几个例子就明白了:

#include <iostream>
#include <memory>

class Object {
public:
    Object(int id) : m_id(id) {
        std::cout << "init obj " << std::endl;
    }
    ~Object() {
        std::cout << "bye bye" << m_id << std::endl;
    }
    int id() const {
        return m_id;
    }
private:
      int m_id;
};

// 取个别名 让写起来更方便
typedef std::shared_ptr<Object> ObjectPtr;

void print(Object* obj) {
    std::cout << "in print(Object* obj) :  " << std::endl;
//    std::cout << "ref count is " << obj.use_count() << std::endl;
}

void print(Object obj) {
    std::cout << "in print(Object obj) :  " << std::endl;
//    std::cout << "ref count is " << obj.use_count() << std::endl;
}

void print(ObjectPtr obj) {
    std::cout << "in print(ObjectPtr obj) :  ";
    std::cout << "ref count is " << obj.use_count() << std::endl;
}

void printRef(const ObjectPtr& obj) {
    std::cout << "in print(const ObjectPtr& obj) :  ";
    std::cout << "ref count is " << obj.use_count() << std::endl;
}

int main() {
    // 创建一个智能指针,管理的资源就是 new出来的Object(1)
    //ObjectPtr obj=new Object(1); //不能将一个原始指针直接赋值给一个智能指针
    ObjectPtr obj(new Object(1)); // 正确
    std::cout << "ref count is " << obj.use_count() << std::endl; // 1
    ObjectPtr obj2(obj);
    std::cout << "ref count is " << obj.use_count() << std::endl; // 2
    std::cout << "ref count is " << obj2.use_count() << std::endl; // 2 obj和obj2管理的资源是一样的
    ObjectPtr obj3 = obj2;
    std::cout << "ref count is " << obj.use_count() << std::endl; // 3

    obj2.reset(); // obj2不再管理之前的资源,资源的引用计数会减1
    // 或者可以写成 obj2 = nullptr;
    std::cout << "ref count is " << obj.use_count() << std::endl; // 2

    ObjectPtr obj4; //obj4 开始没有管理资源
    // 将管理的资源 相互交换
    // 交换后 obj3没有再管理资源, obj4管理obj3之前管理的资源
    // 或者写成 std::swap(obj3, obj4);
    obj3.swap(obj4);
    std::cout << "ref count is " << obj.use_count() << std::endl; // 还是 2

    // 还可以从智能指针中获取原始指针
    auto p = obj.get(); // auto = Object*
    // 需要判断这个obj是否确实管理着资源, 可能为 nullptr
    if( p ) {
        std::cout << "p->id() is " << p->id() << std::endl;
        std::cout << "(*p).id() is " << (*p).id() << std::endl;
    }
    // 智能指针也可以像普通指针一样使用
    // 重载了 operator bool
    if( obj ) {
        std::cout << "obj->id() is " << obj->id() << std::endl; // 重载了operator ->
        std::cout << "(*obj).id() is " << (*obj).id() << std::endl;// 重载了operator *
    }

    // obj.use_count()可以判断当前有多少智能指针在管理资源
    // 如果判断是不是只有一个人在管理这个资源, 用unique()函数更加高效
    // unique() 等价于 obj.use_count() == 1
    obj4 = nullptr; // obj4不在管理,这个时候的引用计数变成了 1
    std::cout << "ref count is " << obj.use_count() << std::endl; // 1

    if( obj.unique() )
        std::cout << "only one hold ptr "<<  std::endl;
    else
        std::cout << "not noly one hold ptr" << std::endl; //其实也有可能没有人再管理

    // 将智能指针当作参数传递给函数时
    // 如果是值传递, 智能指针发生一次拷贝,
    // 在函数内部时智能指针的引用计数会 + 1
    // 离开函数作用域时, 智能指针会析构, 引用计数会 - 1
    print(obj);
    // 如果传递的是引用, 对引用计数没影响 而且工作量比较小(没有拷贝)
    // 推荐使用引用方式传递, 传值的方式也有用处,比如多线程时
    printRef(obj);

    // 还可以不传递智能指针, 传递原生类型
    print(*obj); //传Object类型的时候,离开函数的时候参数obj会发生一次析构
    print(obj.get());

}
/*
init obj
ref count is 1
ref count is 2
ref count is 2
ref count is 3
ref count is 2
ref count is 2
p->id() is 1
(*p).id() is 1
obj->id() is 1
(*obj).id() is 1
ref count is 1
only one hold ptr
in print(ObjectPtr obj) :  ref count is 2
in print(const ObjectPtr& obj) :  ref count is 1
in print(Object obj) :
bye bye1    //这个是在调用print(Object obj)时,局部变量析构时打印的
in print(Object* obj) :
bye bye1 //这个是在资源在没有人引用的时候,执行析构函数产生的
*/

给shared_ptr指定删除器

大部分用法都基本上在上面的例子中体现出来了,当没有人引用这个资源的时候,智能指针的默认行为是调用 delete销毁这个资源,而我们也可以人为指定这个步骤,因为有些资源不一定是new出来的,所以不应该使用默认的delete行为,还有一个情况是,在用智能指针管理动态数组的时候,需要自己指定删除器函数。

#include <iostream>
#include <memory>

class Object {
public:
    Object(int id) : m_id(id) {
        std::cout << "init obj " << std::endl;
    }
    ~Object() {
        std::cout << "bye bye" << m_id << std::endl;
    }
    int id() const {
        return m_id;
    }
private:
      int m_id;
};

// 让写起来更方便
typedef std::shared_ptr<Object> ObjectPtr;

void deleterOfObject(Object* obj) {
    if ( obj ) {
        std:: cout << "delete obj " << obj->id() << std::endl;
        delete obj;
    }
}

void useDeleter() {
    //指定删除动作  使用外面定义的函数
    ObjectPtr obj(new Object(2), deleterOfObject);
    ObjectPtr obj2 = obj;
    // obj 和 obj2 会在离开这个函数的时候析构,于是,就调用了 deleterOfObject

    //管理数组  使用匿名函数当作删除函数
    std::shared_ptr<int> p(new int[10], [](int* p){
        std::cout << "delete[] p" << std::endl;
        delete[] p; //需要使用delete[]
    });

    // vector<> 没必要使用智能指针, 不用new 和 delete... 内部已经管理了
}

int main() {
    useDeleter();
}

/*
init obj
delete[] p  //注意析构和构造的顺序是相反的
delete obj 2
bye bye2
*/

shared_ptr主要就是利用变量出了作用域之后析构函数一定能被调用到,哪怕是出现了异常。

不要用一个原始的指针初始化多个shared_ptr

例如下面的例子:

#include <iostream>
#include <memory>

class Object {
public:
    Object(int id) : m_id(id) {
        std::cout << "init obj " << std::endl;
    }
    ~Object() {
        std::cout << "bye bye " << m_id << std::endl;
    }
    int id() const {
        return m_id;
    }
private:
      int m_id;
};

// 让写起来更方便
typedef std::shared_ptr<Object> ObjectPtr;

int main() {
    Object *obj = new Object(2);
    ObjectPtr p1(obj);
    ObjectPtr p2(obj);
    std::cout << p1.use_count() << "  " << p2.use_count() << std::endl;
    std::cout << "finished" << std::endl;
}

/*
init obj
1  1
finished
bye bye 2
bye bye 203200  //m_id成为了随机数
*/

可以发现,虽然是用的同一个指针初始化了两个shared_ptr,但是这两个shared_ptr没有关联,它们的引用计数都是1,然后问题就发生了,p2先析构,于是引用计数变为了0,就开始删除它管理的资源obj,于是obj就被析构了,这是还算正常,接着析构p1,引用计算也变成了0,它也开始删除自己管理的资源obj,相当于多次delete了同一个对象,m_id成为了随机数,这还算好的情况,如果Object内部还有指针,或者obj的地址被其他变量占据了,delete掉这块内存就会发生严重的错误!而且不好发现原因。

将this指针正确的传递给shared_ptr

其实就是由于上面的原因,我们不可能传递this指针给shared_ptr,因为用同一个指针初始化两个shared_ptr,它们之间并没有关联,如下面的例子:

#include <iostream>
#include <memory>

class Y
{
public:
    std::shared_ptr<Y> f(){
        return std::shared_ptr<Y>(this);
    }
};

int main()
{
    std::shared_ptr<Y> p1(new Y());
    std::shared_ptr<Y> p2 = p1->f(); // p2是由this构造共享智能指针
    std::cout << p1.use_count() << "  " << p2.use_count() << std::endl; // 1  1
}

从上面的例子可以看出,返回由this构造的shared_ptr并没有用,返回还可能造成严重错误(由于可能多次delete)!解决办法是继承std::enable_shared_from_this<Y>,然后使用shared_from_this()构造shared_ptr

#include <iostream>
#include <memory>

class Y : public std::enable_shared_from_this<Y>
{
public:
    std::shared_ptr<Y> f(){
        return shared_from_this();
    }
};

int main()
{
    std::shared_ptr<Y> p1(new Y());
    std::shared_ptr<Y> p2 = p1->f(); // p2是由p1的thiss构造共享智能指针
    std::cout << p1.use_count() << " " << p2.use_count() << std::endl; // 2  2

    std::shared_ptr<Y> p3(new Y());
    std::shared_ptr<Y> p4 = p3->f(); // p4是由p3的this构造的构造共享智能指针
    std::cout << p1.use_count() << " " << p2.use_count() << " "
              << p3.use_count() << " " << p4.use_count() << std::endl; // 2 2 2 2
}

可以发现引用计数确实增加了。并且由p1得到的shared_from_this()增加的就是p1的引用计数,p3得到的shared_from_this()增加的就是p3的引用计数,这和this的含义是一样的。所以我们在类内部需要传递this指针给shared_ptr时,需要继承自std::enable_shared_from_this<T>,并且使用shared_from_this()替代this。而shared_from_this()就是借助了weak_ptr。原理在后面再讲。

shared_ptr的正确构造方式

其实上面使用的智能指针构造方式有一点点问题,ObjectPtr obj(new Object(1));这一个语句其实调用了两次new,一次是new Object(1),另一次是构造内部的引用计数变量的时候,那有没有办法只掉用一次new呢,答案就是使用make_shared<T>()模板函数,它将资源和引用计数变量一起new出来,例如:

#include <iostream>
#include <memory>
#include <cassert>
class Object {
public:
    Object(int id) : m_id(id) {
        std::cout << "init obj " << std::endl;
    }
    ~Object() {
        std::cout << "bye bye " << m_id << std::endl;
    }
    int id() const {
        return m_id;
    }
private:
      int m_id;
};

// 让写起来更方便
typedef std::shared_ptr<Object> ObjectPtr;

int main() {
    // 和 ObjectPtr obj(new Object(2)); 一样
    // 但是只调用了一次new
    ObjectPtr obj = std::make_shared<Object>(2);
}

然而,这个函数也有失效的时候,如果管理的资源对象的构造函数是私有的他就没有办法了。

weak_ptr弱引用的智能指针

循环引用问题的引出

在有些情况下,shared_ptr也会遇见很尴尬、不能处理的情况,那就是循环引用,看下面的例子:

#include <iostream>
#include <memory>

class Parent;  //Parent类的前置声明

typedef std::shared_ptr<Parent> ParentPtr;

class Child {
public:
    ParentPtr father;
    ~Child() {
        std::cout << "bye child" << std::endl;
    }
};

typedef std::shared_ptr<Child> ChildPtr;

class Parent {
public:
    ChildPtr son;
    ~Parent() {
        std::cout << "bye parent" << std::endl;
    }
};

void testParentAndChild() {
    ParentPtr p(new Parent());  // 1  资源A
    ChildPtr c(new Child());  // 2   资源B
    p->son = c;     // 3      c.use_count() == 2 and p.use_count() == 1 
    c->father = p;    //  4   c.use_count() == 2 and p.use_count() == 2
}

int main() {
    testParentAndChild();
    std::cout << "finished" << std::endl;
}

/*
// 没有调用Parent 和 Child 的析构函数
finished
*/

很惊讶的发现,用了shared_ptr管理资源,资源最后还是没有释放!内存泄漏还是发生了。

分析:

  1. 执行编号1的语句时,构造了一个共享智能指针p,称呼它管理的资源叫做资源Anew Parent()产生的对象)吧, 语句2构造了一个共享智能指针c,管理资源B(new Child()产生的对象),此时资源AB的引用计数都是1,因为只有1个智能指针管理它们,执行到了语句3的时候,是一个智能指针的赋值操作,资源B的引用计数变为了2,同理,执行完语句4,资源A的引用计数也变成了2
  2. 出了函数作用域时,由于析构和构造的顺序是相反的,会先析构共享智能指针c,资源B的引用计数就变成了1;接下来继续析构共享智能指针p,资源A的引用计数也变成了1。由于资源AB的引用计数都不为1,说明还有共享智能指针在使用着它们,所以不会调用资源的析构函数!
  3. 这种情况就是个死循环,如果资源A的引用计数想变成0,则必须资源B先析构掉(从而析构掉内部管理资源A的共享智能指针),资源B的引用计数想变为0,又得依赖资源A的析构,这样就陷入了一个死循环。

要想解决这个问题,只能引入新的智能指针weak_ptr,顾名思义,弱引用,也就是不增加引用计数,它不管理shared_ptr内部管理的指针,他只是起一个监视的作用。它监视的不是shared_ptr本身,而是shared_ptr管理的资源!!!weak_ptr没有重载操作符*->,它不能直接操作资源,但是它可以获取所监视的shared_ptr(如果资源还没有被析构的话)。

weak_ptr的基本用法

weak_ptr使用示例:

#include <iostream>
#include <memory>

class Object {
public:
    Object(int id) : m_id(id) {
        std::cout << "init obj " << std::endl;
    }
    ~Object() {
        std::cout << "bye bye" << m_id << std::endl;
    }
    int id() const {
        return m_id;
    }
private:
      int m_id;
};

// 取个别名 让写起来更方便
typedef std::shared_ptr<Object> ObjectPtr;

void sharedPtrWithWeakPtr() {
    ObjectPtr obj(new Object(1));
    typedef std::weak_ptr<Object> WeakObjectPtr;
    WeakObjectPtr weakObj(obj); //使用共享指针 初始化 弱引用指针
    //weakObj 仅仅是一个监听者,不会增加引用计数
    std::cout << "obj use count is " << obj.use_count() << std::endl; // 1
    {
        // lock() 方法返回一个 它对应的共享指针
        // 下面这句话的结果是 2, 而不是1,
        // 说明weakObj.lock() 内部也得到了一个新的共享指针,所以引用计数+1
        // 在执行完这句话后就析构掉了,引用计数-1
        std::cout << "weakObj.lock().use_count() is " << weakObj.lock().use_count() << std::endl; // 2
        // 由于发生了一次 赋值 ,所以 引用次次数 +1
        // auto === ObjectPtr
        auto p = weakObj.lock(); //如果weakObj监视的资源存在, p就存在
        std::cout << "obj use count is " << obj.use_count() << std::endl; // 2
        if ( p ) {
            // do what you want to do
        } else {

        }
    }

    // 共享指针不再管理任何资源的时候,weakObj的行为
    // 注意:如果在obj.reset前,还存在共享指针管理它的资源
    // 如 :ObjectPtr obj1(obj); weakObj.lock();还是有效的
    obj.reset();
    {
        auto p = weakObj.lock();
        if( p ) {
            //不应该到这里来
            std::cout << "weakObj is not null 1" << std::endl;
        } else {
            std::cout << "weakObj is null 1" << std::endl;
        }
    }

    // 共享指针管理其他资源的时候,weakObj的行为
    // 注意:weak_ptr.lock()
    // 只有在 存在某一个shared_ptr管理的资源和该weak_ptr一样 的时候才有效果!
    obj.reset(new Object(2));
    {
        auto p = weakObj.lock();
        if( p ) {
            //不应该到这里来
            std::cout << "weakObj is not null 2" << std::endl;
        } else {
            std::cout << "weakObj is null 2" << std::endl;
        }
    }

    weakObj = obj; // 重新监视  obj
    // 用weakObj 判断管理的资源是否过期
    if(weakObj.expired()) {

    } else {

    }
}

int main() {
    sharedPtrWithWeakPtr();
    std::cout << "finished" << std::endl;
}
/*
init obj
obj use count is 1
weakObj.lock().use_count() is 2
obj use count is 2
bye bye1
weakObj is null 1
init obj
weakObj is null 2
bye bye2
finished
*/

由上面的例子可以看出,weak_ptr和初始化它的share_ptr没有关系,而是和share_ptr管理的资源有关系。假如WeakObjectPtr weakObj(obj);,如果obj.reset()weakObj.lock()的返回值就是空,如果obj.reset(new Object(2));,替换了管理对象,则一起的资源就被析构了,weakObj.lock()的返回值同样为空,同样可以推断,如果除了obj以外还有其他共享智能指针一起管理资源,也就是说obj.reset()的时候资源不会被析构,weakObj.lock();的返回值就不会为空了。不明白的话自己写个简单的测试用例就知道了,如:

void sharedPtrWithWeakPtr() {
    ObjectPtr obj(new Object(1));
    typedef std::weak_ptr<Object> WeakObjectPtr;
    WeakObjectPtr weakObj(obj); //使用共享指针 初始化 弱引用指针
    ObjectPtr obj1 = obj; //注释掉这句话打印的就是error, 加上这句话打印的就是ok
    obj.reset();
    auto p = weakObj.lock();
    if( p ) {
        std::cout << "ok" << std::endl;
    } else {
        std::cout << "error" << std::endl;
    }
}

weak_ptr解决循环引用

weak_ptr可以解决上面的循环引用问题,将Child内部的parent指针换成weak_ptr管理:

#include <iostream>
#include <memory>

class Parent;  //Parent类的前置声明

typedef std::shared_ptr<Parent> ParentPtr;
typedef std::weak_ptr<Parent> WeakParentPtr;
class Child {
public:
    WeakParentPtr father;
    ~Child() {
        std::cout << "bye child" << std::endl;
    }
};

typedef std::shared_ptr<Child> ChildPtr;
//typedef std::weak_ptr<Child> WeakChildPtr;
class Parent {
public:
    //WeakChildPtr son;
    ChildPtr son;
    ~Parent() {
        std::cout << "bye parent" << std::endl;
    }
};

void testParentAndChild() {
    ParentPtr p(new Parent());  // 1  资源A
    ChildPtr c(new Child());  // 2   资源B
    p->son = c;     // 3      c.use_count() == 2 and p.use_count() == 1
    c->father = p;    //  4   c.use_count() == 2 and p.use_count() == 1
}

int main() {
    testParentAndChild();
    std::cout << "finished" << std::endl;
}
/*
bye parent //成功调用析构函数
bye child
finished
*/

修改为弱引用后,成功的释放了资源,只要将任意一个shared_ptr换成weak_ptr,就可以解决问题。当然,也可以两个都换成weak_ptr,至于这三种方案谁更好,就暂时不清楚了。

shared_from_this()实现原理

std::enable_shared_from_this<T>模板类中有一个weak_ptr,这个weak_ptr用来观测this智能指针,调用shared_from_this()函数的时候,会在内部调用weak_ptrlock()方法,将所观测的shared_ptr返回。这个设计要依赖于当前对象已经有了一个相应的控制块。为此,必须已经存在一个指向当前对象的shared_ptr(比如在调用过shared_from_this()成员函数之外已经有了一个)。假如没有这样shared_ptr存在,那么shared_from_this()会抛异常。 那么这个weak_ptr在什么时候赋值的呢?答案就是在外部第一次构造shared_ptr的时候(如之前的std::shared_ptr<Y> p1(new Y());),对std::enable_shared_from_this<T>进行了赋值(具体实现有点复杂,还不太懂。。),这也就为什么在调用shared_from_this()时,必须存在一个指向当前对象的shared_ptr的原因了。由于这个原因,不要在构造函数中调用shared_from_this(),如:

#include <iostream>
#include <memory>

class Y : public std::enable_shared_from_this<Y>
{
public:
    Y() {
        std::shared_ptr<Y> p = shared_from_this();
    }

    std::shared_ptr<Y> f(){
        return shared_from_this();
    }
};

int main()
{
    std::shared_ptr<Y> p1(new Y());

}
// 会抛出异常!
/*
terminate called after throwing an instance of 'std::bad_weak_ptr'
  what():  bad_weak_ptr
*/

unique_ptr独占的智能指针

unique_ptr相对于其他两个智能指针更加简单,它和shared_ptr使用差不多,但是功能更为单一,它是一个独占型的智能指针,不允许其他的智能指针共享其内部的指针,更像原生的指针(但更为安全,能够自己释放内存)。不允许赋值和拷贝操作,只能够移动

#include <iostream>
#include <memory>
#include <cassert>
class Object {
public:
    Object(int id) : m_id(id) {
        std::cout << "init obj " << std::endl;
    }
    ~Object() {
        std::cout << "bye bye " << m_id << std::endl;
    }
    int id() const {
        return m_id;
    }
private:
      int m_id;
};

// 让写起来更方便
typedef std::shared_ptr<Object> ObjectPtr;
typedef std::unique_ptr<Object> UniqueObjectPtr;

// 只能传递引用 不能传值
void print(const UniqueObjectPtr& obj) {
    std::cout << obj->id() << std::endl;
}

int main() {
    UniqueObjectPtr obj(new Object(1));
//    UniqueObjectPtr obj1 = obj; // 编译错误,不允许赋值
    // 获取原生指针
    auto p = obj.get();
    if( p ) {

    } else {

    }

    // better 重载了 operator bool
    if(obj) {

    } else {

    }
    // 重载了 operator -> 和 operator *
    std::cout << obj->id() << "  " << (*obj).id() << std::endl;
    print(obj);
    // 释放管理的指针,由其他东西处理
    p = obj.release();
//    delete p; 自己负责处理
    obj.reset(p); //析构之前负责管理的对象,重新管理 p指针
    obj.reset(); // 析构之前负责管理的对象, 不再管理任何资源
    // 允许 移动操作
    UniqueObjectPtr obj1(new Object(1));
    // obj1已经部管理任何资源 obj2开始管理obj1之前的资源
    UniqueObjectPtr obj2 = std::move(obj1);
    assert(obj1 == nullptr);
    std::cout << obj2->id() << std::endl;

    // 将unique_ptr管理的内容给 shared_ptr
    ObjectPtr obj3(std::move(obj2));
    assert(obj2 == nullptr);

}

/*
init obj
1  1
1
bye bye 1
init obj
1
bye bye 1
*/

unique_ptr管理数组资源不需要指定删除器:

std::shared_ptr<int> p(new int[10], [](int* p){
            std::cout << "delete[] p" << std::endl;
            delete[] p; //需要使用delete[]
        });
std::unique_ptr<int> p2(new int[10]); //不需要指定删除器

性能与安全的权衡

使用智能指针虽然能够解决内存泄漏问题,但是也付出了一定的代价。以shared_ptr举例:

  1. shared_ptr的大小是原始指针的两倍,因为它的内部有一个原始指针指向资源,同时有个指针指向引用计数。
  2. 引用计数的内存必须动态分配。虽然一点可以使用make_shared()来避免,但也存在一些情况下不能够使用make_shared()
  3. 增加和减小引用计数必须是原子操作,因为可能会有读写操作在不同的线程中同时发生。比如在一个线程里有一个指向一块资源的shared_ptr可能调用了析构(因此所指向的资源的引用计数减一),同时,在另一线程里,指向相同对象的一个shared_ptr可能执行了拷贝操作(因此,引用计数加一)。原子操作一般会比非原子操作慢。但是为了线程安全,又不得不这么做,这就给单线程使用环境带来了不必要的困扰。

我觉得还是分场合吧,看应用场景来进行权衡,我也没啥经验,但我感觉安全更重要,现在硬件已经足够快了,其他例如java这种支持垃圾回收的语言不还是用的很好吗。

总结

  • 智能指针主要是使用构造和析构来管理资源的。
  • shared_ptr很好用也很难用,有两种构造方式,使用引用计数实现多人同时管理一份资源。使用this的时候要格外注意。
  • weak_ptr可以解决shared_ptr的循环引用问题。
  • unique_ptr最像裸指针,但更为安全,保证资源的释放,不能复制只能移动。
  • 智能指针带来了性能问题,在不同场合可以选择不同的解决方案。优先使用类的实例(如果内存足够),其次unique_ptr,最后才是shared_ptr

参考


朱宇清
129 声望42 粉丝

引用和评论

0 条评论