C++11新特性之十：enable_shared_from_this

 enable_shared_from_this是一个模板类，定义于头文件<memory>，其原型为：

template<class T> class enable_shared_from_this;

std::enable_shared_from_this 能让一个对象（假设其名为 t ，且已被一个 std::shared_ptr 对象 pt 管理）安全地生成其他额外的 std::shared_ptr 实例（假设名为 pt1, pt2, ... ），它们与 pt 共享对象 t 的所有权。
若一个类 T 继承 std::enable_shared_from_this<T> ，则会为该类 T 提供成员函数： shared_from_this 。 当 T 类型对象 t 被一个为名为 pt 的 std::shared_ptr<T> 类对象管理时，调用 T::shared_from_this 成员函数，将会返回一个新的 std::shared_ptr<T> 对象，它与 pt 共享 t 的所有权。

一.使用场合

当类A被shared_ptr管理，且在类A的成员函数里需要把当前类对象作为参数时，就需要传递一个指向自身的shared_ptr。

1.为何不直接传递this指针

使用智能指针的初衷就是为了方便资源管理，如果在某些地方使用智能指针，某些地方使用原始指针，很容易破坏智能指针的语义，从而产生各种错误。

2.可以直接传递shared_ptr<this>么？

 答案是不能，因为这样会造成2个非共享的shared_ptr指向同一个对象，未增加引用计数导至对象被析构两次。例如：

#include <memory>
#include <iostream>

class Bad
{
public:
    std::shared_ptr<Bad> getptr()
    {
        return std::shared_ptr<Bad>(this);
    }

    ~Bad()
    {
        std::cout << "Bad::~Bad() called" << std::endl;
    }
};

int main()
{
    // 错误的示例，每个shared_ptr都认为自己是对象仅有的所有者
    std::shared_ptr<Bad> bp1(new Bad());
    std::shared_ptr<Bad> bp2 = bp1->getptr();

    // 打印bp1和bp2的引用计数
    std::cout << "bp1.use_count() = " << bp1.use_count() << std::endl;
    std::cout << "bp2.use_count() = " << bp2.use_count() << std::endl;
} // Bad 对象将会被删除两次

输出结果如下：

当然，一个对象被删除两次会导致崩溃。

正确的实现如下：

struct Good: std::enable_shared_from_this<Good> // 注意：继承
{
public:
    std::shared_ptr<Good> getptr() 
    {
        return shared_from_this();
    }
    
    ~Good() 
    { 
        std::cout << "Good::~Good() called" << std::endl; 
    }
};

输出结果如下：

实现原理：

其实enable_shared_from_this就存储了管理该对象的shared_ptr的引用计数，通过weak_ptr来实现。在enable_shared_from_this里有一个成员weak_this_。

何时初始化这个 weak_ptr ？通过shared_ptr的构造函数中初始化这个weak_ptr的.

最后，在这里对enable_shared_from_this 的成员 weak_this_ 进行拷贝赋值，使得整个 weak_ptr 作为类对象shared_ptr 的一个观察者。当调用shared_from_this()时，就可以从这个 weak_ptr 来生成了，且引用计数是相同的。

1 shared_ptr<T const> shared_from_this() const
2 {
3  shared_ptr<T const> p( weak_this_ );
4  BOOST_ASSERT( p.get() == this );
5  return p;
6 }