shared_ptr 用法

引入

shared_ptr 是c++为了提高安全性而添加的智能指针,方便了内存管理。

特点

shared_ptr 是通过指针保持对象共享所有权的智能指针。多个 shared_ptr 对象可占有同一对象。这便是所谓的引用计数(reference counting)。一旦最后一个这样的指针被销毁,也就是一旦某个对象的引用计数变为0,这个对象会被自动删除。这在非环形数据结构中防止资源泄露很有帮助。使得指针可以共享对象,并且不用考虑内存泄漏问题

shared_ptr 可以支持普通指针的所有操作,完全可以像操作普通指针一样操作智能指针。
shared_ptr 可以通过三种方式得到(拷贝初始化,定义delete操作的方式不在罗列,只讨论初始化指针所指对象来源):
1.通过一个指向堆上申请的空间的指针初始化(切记不要用栈上的指针,否则,当智能指针全部释放控制权(栈中的对象离开作用域本身就会析构一次),将会析构对象,导致出错)
2.通过make_shared函数得到
3.通过另外一个智能指针初始化

    int *a = new int(8);
    std::shared_ptr<int> p1(a);

    auto b = std::make_shared<int>(2);

    auto c(b);

注意事项

1. 使用原生指针多次初始化

class Base
{
public:
    Base() {
        printf("con\n");
    }
    ~Base() {
        printf("decon\n");
    }
};


int main()
{
    Base *a = new Base();

    std::shared_ptr<Base> p1(a);
    std::shared_ptr<Base> p2(a);
    
    return 0;
}

这段代码,导致调用一次构造函数,两次析构函数

2. 使用一个 shared_ptr 的 get() 初始化另一个 shared_ptr

    Base *a = new Base();

    std::shared_ptr<Base> p1(a);
    std::shared_ptr<Base> p2(p1.get());

cppreference 指明这是未定义行为

3. 使用 shared_ptr 包装 this 指针

class Base
{
public:
    Base() {
        printf("con\n");
    }
    ~Base() {
        printf("decon\n");
    }

    std::shared_ptr<Base> sget() {
        return std::shared_ptr<Base>(this);
    }
};


int main()
{
    Base b;
    std::shared_ptr<Base> p = b.sget();
    
    return 0;
}

这会调用两次析构函数。一次是b对象析构时,一次是智能指针销毁时

正确的使用方法是:

class Base : public std::enable_shared_from_this<Base>
{
public:
    Base() {
        printf("con\n");
    }
    ~Base() {
        printf("decon\n");
    }

    std::shared_ptr<Base> sget() {
        return shared_from_this();
    }
};


int main()
{
    std::shared_ptr<Base> b = std::make_shared<Base>();
    std::shared_ptr<Base> a = b->sget();
    
    return 0;
}

enable_shared_from_this 能让其一个对象(假设其名为 t ,且已被一个 std::shared_ptr 对象 pt 管理)安全地生成其他额外的 std::shared_ptr 实例(假设名为 pt1, pt2, ... ) ,它们与 pt 共享对象 t 的所有权。

4. shared_ptr 包装数组

shared_ptr 不能直接包装数组,需要指定数组的析构函数。不过 shared_ptr 不支持取下标操,unique_ptr 是支持的

class Base
{
public:
    Base() {
        printf("con\n");
    }
    ~Base() {
        printf("decon\n");
    }
};


int main()
{
    std::shared_ptr<Base> a(new Base[2], [] (Base* p) {
        delete[] p;
    });
    
    return 0;
}

 5. 循环引用

class A;
class B;

using sa = std::shared_ptr<A>;
using sb = std::shared_ptr<B>;

class A
{
public:
    A() {
        printf("A con\n");
    }
    ~A() {
        printf("A decon\n");
    }

    sb b_;
};

class B
{
public:
    B() {
        printf("B con\n");
    }
    ~B() {
        printf("B decon\n");
    }
    
    sa a_;
};

int main(int argc, char const *argv[])
{
    sa a(new A);
    sb b(new B);
    
    a->b_ = b;
    b->a_ = a;
    
    return 0;
}

对象 a 和 b 都未被析构

正确的方法是使用 weak_ptr 代替 shared_ptr

class A;
class B;

using sa = std::shared_ptr<A>;
using sb = std::shared_ptr<B>;

class A
{
public:
    A() {
        printf("A con\n");
    }
    ~A() {
        printf("A decon\n");
    }

    std::weak_ptr<B> b_;
};

class B
{
public:
    B() {
        printf("B con\n");
    }
    ~B() {
        printf("B decon\n");
    }
    
    std::weak_ptr<A> a_;
};

int main(int argc, char const *argv[])
{
    sa a(new A);
    sb b(new B);
    
    a->b_ = b;
    b->a_ = a;
    
    return 0;
}

 6. 多线程中使用 shared_ptr

shared_ptr的引用计数本身是安全且无锁的,但对象的读写则不是,因为 shared_ptr 有两个数据成员,读写操作不能原子化。shared_ptr 的线程安全级别和内建类型、标准库容器、std::string 一样,即:

  • 一个 shared_ptr 对象实体可被多个线程同时读取
  • 两个 shared_ptr 对象实体可以被两个线程同时写入,“析构”算写操作
  • 如果要从多个线程读写同一个 shared_ptr 对象,那么需要加锁
posted @ 2019-09-01 15:30  二狗啸地  阅读(8250)  评论(0编辑  收藏  举报