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。

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

std::enable_shared_from_this的原理及意义_第1张图片

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

std::enable_shared_from_this的原理及意义_第2张图片

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

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

    std::enable_shared_from_this 有一个std::weak_ptr的成员,实际上在构造std::enable_shared_from_this时,并没有初始化std::weak_ptr成员,而是在用这个std::enable_shared_from_this去构造std::shared_ptr的时候,去构造并初始化这个std::weak_ptr成员。所以这也就是为什么cppreference中说的这个对象必须是std::shared_ptr管理的,因为这个对象不是通过std::shared_ptr来管理,那么std::weak_ptr是未初始化的,无法通过其提升为std::shared_ptr对象。OK,原理说了,具体实现可以去看代码,不了解std::weak_ptr和std::shared_ptr的关系的,可以看看这篇文章:关于shared_ptr的几个问题

你可能感兴趣的:(std::enable_shared_from_this的原理及意义)