[转载] std::enable_shared_from_this的原理及意义

首先看cppreference的解释：

std::enable_shared_from_this allows an object t that is currently managed by a std::shared_ptr named pt to safely generate additional std::shared_ptr instances pt1, pt2, ... that all share ownership of t with pt.Publicly inheriting from std::enable_shared_from_this provides the type T with a member function shared_from_this. If an object t of type T is managed by a std::shared_ptr named pt, then calling T::shared_from_this will return a new std::shared_ptr that shares ownership of t with pt

意思就是说，如果一个T类型的对象t，是被std::shared_ptr管理的，且类型T继承自std::enable_shared_from_this，那么T就有个shared_from_this的成员函数，这个函数返回一个新的std::shared_ptr的对象，也指向对象t。

那么这个特性的应用场景是什么呢？一个主要的场景是保证异步回调函数中操作的对象仍然有效。比如有这样一个类：

Class Foo
{
  public:
    void Bar(std::function<void(Foo*)> p_fnCallback)
    {
        //async call p_fnCallback with this
    }
};

Foo::Bar接受一个函数对象，这个对象需要一个Foo*指针，其实要的就是Foo::Bar的this指针，但是这个回调是异步的，也就是说可能在调用这个回调函数时，this指向的Foo对象已经提前析构了。这时候，std::enable_shared_from_this就派上用场了。修改后如下：

Class Foo : public std::enable_shared_from_this<Foo>
{
  public:
    void Bar(std::function<void(Foo*)> p_fnCallback)
    {
        std::shared_ptr<Foo> pFoo = shared_from_this();    
        //async call p_fnCallback with pFoo
    }    
};

这样就可以保证异步回调时，Foo对象仍然有效。

    注意到cppreference中说道，必须要是std::shared_ptr管理的对象，调用shared_from_this才是有效的，为什么呢？这个就需要看看std::enable_shared_from_this的实现原理了：

    std::enable_shared_from_this<T> 有一个std::weak_ptr<T>的成员，实际上在构造std::enable_shared_from_this<T>时，并没有初始化std::weak_ptr<T>成员，而是在用这个std::enable_shared_from_this<T>去构造std::shared_ptr的时候，去构造并初始化这个std::weak_ptr<T>成员。所以这也就是为什么cppreference中说的这个对象必须是std::shared_ptr管理的，因为这个对象不是通过std::shared_ptr来管理，那么std::weak_ptr是未初始化的，无法通过其提升为std::shared_ptr对象。

作者：FearlessAG
链接：https://www.jianshu.com/p/4444923d79bd
来源：简书
简书著作权归作者所有，任何形式的转载都请联系作者获得授权并注明出处。