第21课 shared_ptr共享型智能指针

Posted 2022-12-21 5iedu

一. shared_ptr的基本用法

（一）与unique_ptr的比较

比较	shared_ptr	unique_ptr	备注
初始化	①shared_ptr<T> sp;   sp.reset(new T()); ②shared_ptr<T> sp(new T()); ③shared_ptr<T> sp1 = sp; //拷贝构造 ④auto sp = make_shared<int>(10);	①unique_ptr<T> up;   up.reset(new T()); ②unique_ptr<T> up(new T()); ③unique_ptr<T> up1 = std::move(up);//移动构造 ④auto up = make_unique<int>(10);	两者的构造函数将声明为explicit，即不允许隐式类型转换，如shared_ptr<int> sp = new int(10);
条件判断	如，if(sp)…	如，if(up)…	两都均重载operator bool()
解引用	*sp	*up	解引用，获得它所指向的对象
->mem	sp->mem	up->mem	重载->运算符
get()	sp.get()	up.get()	返回智能指针中保存的裸指针，要小心使用。
p.swap(q)	sp.swap(q);	up.swap(q);	交换p和q指针
独有操作	①shared_ptr<T> p(q);//拷贝构造 ②p = q;//赋值 ③p.unique();若p.use_count()为1，返回true,否则返回false。 ④p.use_count()//返回强引用计数	①up=nullptr;释放up指向的对象，并将up置空。 ②up.release();//up放弃对指针的控制权，返回裸指针，并将up置空 ③up.reset();释放up指向的对象。   up.reset(q);其中q为裸指针。令up指向q所指对象。   up.reset(nullptr);置空	注意: ①unique_ptr不可拷贝和赋值，但可以被移动。 ②release会切断unique_ptr和它原来管理的对象间的联系。通常用来初始化另一个智能指针。

（二）指定删除器

　　1. shared_ptr<T> sp1(q, deleter1);与unique_ptr不同，删除器不是shared_ptr类型的组成部分。假设，shared_ptr<T> sp2(q,deleter2)，尽管sp1和sp2有着不同的删除器，但两者的类型是一致的，都可以被放入vector<shared_ptr<T>>类型的同一容器里。

　　2. 与std::unique_ptr不同，自定义删除器不会改变std::shared_ptr的大小。其始终是祼指针大小的两倍。

　　3. 当使用shared_ptr管理动态数组时，需要指定删除器。因为默认删除器不支持数组对象。如shared_ptr<int> sp(new int[10], std::default_delete<int[]>);

　　4. 删除器可以是普通函数、函数对象和lambda表达式等。默认的删除器为std::default_delete，其内部是通过delete来实现功能的。

二. 剖析std::shared_ptr

（一）std::shared_ptr的内存模型

 

　　1. shared_ptr包含了一个指向对象的指针和一个指向控制块的指针。每一个由std::shared_ptr管理的对象都有一个控制块，它除了包含引用计数之外，还包含了自定义删除器的副本和分配器的副本以及其他附加数据。

　　2. 控制块的创建规则：

　　（1）std::make_shared总是创建一个控制块。

　　（2）从具备所有权的指针出发构造一个std::shared_ptr时，会创建一个控制块。（如std::unique_ptr转为shared_ptr时会创建控制块，因为unique_ptr本身不使用控制块，同时unique_ptr置空）

　　（3）当std::shared_ptr构造函数使用裸指针作为实参时，会创建一个控制块。这意味从同一个裸指针出发来构造不止一个std::shared_ptr时会创建多重的控制块，也意味着对象会被析构多次。如果想从一个己经拥有控制块的对象出发创建一个std::shared_ptr，可以传递一个shared_ptr或weak_ptr而非裸指针作为构造函数的实参，这样则不会创建新的控制块。

【经验】

　　①尽可能避免将裸指针传递给一个std::shared_ptr的构造函数，常用的替代手法是使用std::make_shared。

　　②如果必须将一个裸指针传递给shared_ptr的构造函数，就直接传递new运算符的结果，而非传递一个裸指针变量。如shared_ptr<Widget> spw (new Widget, logginDel);

　　③不要将this指针返回给shared_ptr。当希望将this指针托管给shared_ptr时，类需要继承自std::enable_shared_from_this，并且从shared_from_this()中获得shared_ptr指针。（具体见《enable_shared_from_this》部分的分析）

　　3. 引用计数（强引用计数）

　　（1）shared_ptr的构造函数会使该引用计数递增，而析构函数会使该计数递减。但移动构造时表示从一个己有的shared_ptr移动构造到一个新的shared_ptr。这意味着一旦新的shared_ptr产生后，原有的shared_ptr会被置空，其结果是引用计数没有变化。

　　（2）复制赋值同时执行两种操作（如sp1 和sp2是指向不同对象的shared_ptr，则sp1 = sp2时，将修改sp1使得其指向sp2所指的对象。而最初sp1所指向的对象的引用计数递减，同时sp2所指向的对象引用计数递增）

　　（3）reset函数，如果不带参数时，则引用计数减1。如果不带参数时，如sp.reset(p)则sp原来指向的对象引用计数减1，同时sp指向新的对象(p)

　　（4）如果实施一次递减后最后的引用计数变成0，即不再有shared_ptr指向该对象，则会被shared_ptr析构掉。

　　（5）引用计数的递增和递减是原子操作，即允许不同线程并发改变引用计数。

【编程实验】shared_ptr的陷阱分析

#include <iostream>
#include <vector>
#include <memory> // for smart pointer

using namespace std;

class Widget;

void func(shared_ptr<Widget> sp)

int funcException()  /*throw 1;*/ return 0;  //假设该函数会抛出异常

void demo(shared_ptr<int> sp, int f)




int main()

    //1. 陷阱：用同一裸指针创建多个shared_ptr
    //1.1 错误做法
    auto pw = new Widget;
    std::shared_ptr<Widget> spw1(pw); //强引用计数为1，为pw创建一个控制块
    //std::shared_ptr<Widget> spw2(pw); //强引用计数为1，为pw创建另一个新的控制块，会导致多次析构

    auto sp = new Widget;
    func(shared_ptr<Widget>(sp)); //慎用裸指针，sp将在func结束后被释放！

    //1.2 正确做法
    std::shared_ptr<Widget> spw3(spw1); //ok，pw的强引用计数为2。使用与spw1同一个控制块。
    std::shared_ptr<Widget> spw4(new Widget); //将new的结果直接传递给shared_ptr
    std::shared_ptr<Widget> spw5 = std::make_shared<Widget>(); //强烈推荐的做法!
    
    //2. 陷阱：在函数实参中创建shared_ptr
    //2.1 shared_ptr与异常安全问题
    //由于参数的计算顺序因编译器和调用约定而异。假定按如下顺序计算
    //A.先前new int，然后funcException();
    //B.假设恰好此时funcException产生异常。
    //C.因异常出现shared_ptr还来不及创建，于是int内存泄露
    demo(shared_ptr<int>(new int(100)), funcException());

    //2.2 正确做法
    auto p1 = std::make_shared<int>(100);
    demo(p1, funcException());

    //3. 陷阱：shared_ptr的循环引用（应避免）（见第22课 weak_ptr）

    //4. 删除器
    auto deleter1 = [](Widget* pw) cout << "deleter1"<< endl; delete pw; ;
    auto deleter2 = [](Widget* pw) cout << "deleter2"<< endl; delete pw; ;

    std::shared_ptr<Widget> pw1(new Widget, deleter1);
    std::shared_ptr<Widget> pw2(new Widget, deleter2);

    std::shared_ptr<Widget> pw3(pw1);
    pw3.reset(new Widget); //deleter恢复为默认的std::default_delete

    vector<std::shared_ptr<Widget>> vecs;
    vecs.emplace_back(pw1);
    vecs.emplace_back(pw2); //pw1和pw2虽然有不同的删除器，但类型相同，可以放入同一容器内。

    //5. 其它
    //5.1 shared_ptr的大小
    cout << sizeof(spw1) << endl;//8
    cout << sizeof(pw1) << endl; //8
    //5.2 shared_ptr管理动态数组（建议用std::array、std::vector取代）
    std::shared_ptr<int> pArray1(new int[10], [](int* p) delete[] p; ); //使用delete[]
    std::shared_ptr<int> pArray2(new int[10], std::default_delete<int[]>()); //使用default_delete<int[]>()
    //5.3 常见操作
    cout << pw1.use_count() << endl; //2

    if (pw1) //pw1.use_count >= 1 ?
    
        cout << "pw1.use_count >= 1" << endl;
    
    else
    
        cout << "pw1.use_count == 0" << endl;
    
    
    return 0;

四. enable_shared_from_this模板的分析

（一）模板分析（以boost::enable_shared_from_this为例）

template<class T> class enable_shared_from_this

protected:

    enable_shared_from_this() BOOST_NOEXCEPT
    
    

    enable_shared_from_this(enable_shared_from_this const &) BOOST_NOEXCEPT
    
    

    enable_shared_from_this & operator=(enable_shared_from_this const &) BOOST_NOEXCEPT
    
        return *this;
    

    ~enable_shared_from_this() BOOST_NOEXCEPT // ~weak_ptr<T> newer throws, so this call also must not throw
    
    

public:

    shared_ptr<T> shared_from_this()
    
        shared_ptr<T> p( weak_this_ );
        BOOST_ASSERT( p.get() == this );
        return p;
    

    shared_ptr<T const> shared_from_this() const
    
        shared_ptr<T const> p( weak_this_ );
        BOOST_ASSERT( p.get() == this );
        return p;
    

public: // actually private, but avoids compiler template friendship issues

    // Note: invoked automatically by shared_ptr; do not call
    template<class X, class Y> void _internal_accept_owner( shared_ptr<X> const * ppx, Y * py ) const
    
        if( weak_this_.expired() )
        
            weak_this_ = shared_ptr<T>( *ppx, py );
        
    

private:

    mutable weak_ptr<T> weak_this_;
;

boost::enable_shared_from_this

　　   1. enable_shared_from_this模板类提供两个public属性的shared_from_this成员函数。这两个函数内部会通过weak_this_（weak_ptr类型）成员来创建shared_ptr。

   　　2. _internal_accept_owner函数不能手动调用，这个函数会被shared_ptr自动调用，该函数是用来初始化唯一的成员变量weak_this_。

   　　3. 根据对象生成顺序，先初始化基类enable_shared_from_this，再初始化派生类对象本身。这时对象己经生成，但weak_this_成员还未被初始化，最后应通过shared_ptr<T> sp(new T())等方式调用shared_ptr构造函数(内部会调用_internal_accept_owner)来初始化weak_this_成员。而如果在调用shared_from_this函数之前weak_this_成员未被初始化，则会通过ASSERT报错提示。

（二）使用说明

   　　1. 基类必须为enable_shared_from_this<T>，其中T为派生类的类名。（这种方法叫奇妙递归模板模式）

  　　 2. 通过调用shared_from_this()成员函数获得一个和this指针指向相同对象的shared_ptr。

   　　3. 从内部实现看，shared_from_this会查询当前对象的控制块，并创建一个指向该控制块的新shared_ptr。这样的设计就要求当前对象己有一个与其关联的控制块。为了实现这一点，就必须有一个己经存在指向当前对象的std::shared_ptr，如果不存在，则通常shared_from_this会抛出异常。

【编程实验】安全地从this指针创建shared_ptr

#include <iostream>
#include <vector>
#include <memory>

using namespace std;

//1. 从this指针创建shared_ptr
//1.1 错误的做法
class Test1

public:
    //析构函数
    ~Test1()  cout <<"~Test1()" << endl; 

    //获取指向当前对象的指针
    std::shared_ptr<Test1> getObject()
    
        shared_ptr<Test1> pTest(this); //危险！ 直接从this指针创建，会为this对象创建新的控制块！
                                       //从而可能导致this所指对象被多次析构
        return pTest;
    
;

//1.2 正确的做法
class Test2 : public std::enable_shared_from_this<Test2> //继承！ 注意Test2为基类的模板参数  (递归模板模式)

public:
    //析构函数
    ~Test2()  cout << "~Test2()" << endl; 

    std::shared_ptr<Test2> getObject()
    
        return shared_from_this(); //调用enable_shared_from_this模板的成员函数，获取this对象的shared_ptr
    
;

//2. shared_from_this函数的正确调用
//2.1 一般做法
class Test3 : public std::enable_shared_from_this<Test3>

public:
    //构造函数中不能使用shared_from_this
    Test3()
    
        //std::shared_ptr<Test3> sp = shared_from_this(); //error，此时基类（enable_shared_from_this<Test3>）
                                                          //虽己构造完，但shared_ptr的构造函数还没被调用，weak_this_指针
                                                          //未被初始化，因此调用shared_from_this会抛出异常
    

    //调用process之前，必须确保shared_ptr的构造函数己被执行（即weak_this_被初始化）
    void process()
    
        std::shared_ptr<Test3> sp = shared_from_this();
    
;

//2.2 改进做法：利用工厂函数来提供shared_ptr
class Test4 : public std::enable_shared_from_this<Test4>

    Test4()   //构造函数设为private
public:

    //提供工厂函数
    template<typename... Ts>
    static std::shared_ptr<Test4> create(Ts&& ... params)
    
        std::shared_ptr<Test4> ret(new Test4(params...));
        return ret;
    

    void process()
    
        std::shared_ptr<Test4> sp = shared_from_this();
    
;

//3. enable_shared_from_this的应用举例
class Widget;
std::vector<std::shared_ptr<Widget>> processWidgets; //记录己被处理过的Widgets

class Widget : public std::enable_shared_from_this<Widget> //需要从这里继承

public:
    void process()
    
        //错误做法：直接将this传给shared_ptr<Widget>
        //processWidgets.emplace_back(this); //将处理完的Widget加入链表。
                                             //error，这种做法会本质上是用裸指针来创建shared_ptr，会为this对象创建
                                             //新的控制块。如果外部new Widget时，也将指针交给shared_ptr管理时，会出现为同
                                             //一个this对象创建多个控制块，从而造成this对象的多次析构！

        //正确做法：（为了确保shared_from_this在shared_ptr构造函数后被调用，可以采用工厂函数的方式来创建Widget，
        //具体见前面的例子）
        processWidgets.emplace_back(shared_from_this()); //将指向当前对象的shared_ptr加入到链表中
    

    ~Widget()  cout <<"~Widget()" << endl; 
;

int main()

    //1.  从this指针创建shared_ptr
    //1.1 错误做法：对象被多次析构
    
        //std::shared_ptr<Test1> pt1(new Test1());
        //std::shared_ptr<Test1> pt2 = pt1->getObject();
    

    //1.2 正确做法
    
        std::shared_ptr<Test2> pt1(new Test2());
        std::shared_ptr<Test2> pt2 = pt1->getObject();
    

    //2. shared_from_this的正确调用
    
        //2.1 错误方法：
        Test3 t;
        //t.process(); //错误，shared_ptr构造函数没有被执行

        Test3* pt = new Test3();
        //pt->process(); //错误，原因同上。
        delete pt;

        //正确做法
        std::shared_ptr<Test3> spt(new Test3); //shared_ptr构造被执行,weak_this_被正确初始化
        spt->process(); 

        //2.2 工厂方法提供shared_ptr，确保shared_ptr构造函数被执行！
        std::shared_ptr<Test4> spt2 = Test4::create();
        spt2->process();
    

    //3. enable_shared_from_this的应用举例
    
        std::shared_ptr<Widget> sp(new Widget);
        sp->process();
    

    return 0;