智能指针 enable_shared_from_this 陷阱

2019独角兽企业重金招聘Python工程师标准>>>

Tips：不要在 enble_shared_from_this 派生类中的构造函数中使用 weak_from_this() 或 shared_from_this()，将该过程放到 initialize() 中去处理。

继承于 boost::enable_shared_from_this 的类，在其构造的过程中，不能使用 shared_from_this() 与 weak_from_this() 函数。因为此时，enable_shared_from_this 基类的成员变量都还没有初始化好。

如下示例：

#include <iostream>
#include <boost/smart_ptr.hpp>

#define EnableSharedFromThis boost::enable_shared_from_this
#define SharedPtr boost::shared_ptr
#define WeakPtr boost::weak_ptr
#define MakeShared boost::make_shared

class B;

class A : public EnableSharedFromThis<A> {
  public:
    A() {
        sp_b_ = MakeShared<B>(weak_from_this());  //! 在 A 的构造函数中使用了 weak_from_this()
    }

    SharedPtr<B> getB() const {
        return sp_b_;
    }

    void print() const {
        std::cout << "A::print()" << std::endl;
    }

  private:
    SharedPtr<B> sp_b_;
};

class B {
  public:
    B(WeakPtr<A> sp) : sp_(sp){

    }

    void letAPrint() const {
        SharedPtr<A> sp_a(sp_);
        sp_a->print();
    }

  private:
    WeakPtr<A> sp_;
};

int main() {
    SharedPtr<A> a = MakeShared<A>();
    SharedPtr<B> b = a->getB();
    b->letAPrint();
    return 0;
}

上述代码的功能是：

A要构造函数中构造一个B，但是在构造的时候要给B对像传入A的引用指针。

编译没有问题，但执行出错：

问题出在代码中红色标记处。此时传给B()构造函数的WeakPtr<A>是无效的。

使用 gdb 调试时发现，在执行到L14时，A的基类成员 boost::enable_shared_from_this 的内容依旧是空的。如下：

说明一下：shared_ptr 中存有一个weak_ptr，而weak_ptr对象有两个指针：px 指向对象实体，而 pn.pi_ 则指向的是指针的计数对象。

如上两个指针都是空的，足于说明这 enable_shared_from_this 没有实际的内容。

其实 weak_from_this() 函数什么都没干，只是将这个没有实际内容的 weak_ptr 给了出去。可想而知，在测试代码中 B 拿到的是一个无效的 weak_ptr，所以后面的 B::letAPrint() 是会出错的。

那么，在什么时候 enable_shared_from_this 中的 weak_this_ 被赋于有效的值呢？

在 make_shared() 的最后一步才赋值的。

如果我不使用 make_shared() 又将如何呢？它最终会有 boost::detail::sp_enable_shared_from_this() 这一步吗？

可见，也有这个过程。

如果 A 不使用智能指针直接new，或将A作为栈中的数据。可以想到它出错，因为没有 boost::detail::sp_enable_shared_from_this() 过程。那么内部的 shared_from_this() 与 weak_from_this() 就是无效的数据。

了解了其问题原因，那么就可以很好地找到其解决办法了。

不要在enble_shared_from_this 派生类中的构造函数中使用 weak_from_this() 或 shared_from_this()，将该过程放到 initialize() 中去处理。

对示例做如下修改：

执行结果达到预期效果。

转载于:https://my.oschina.net/hevakelcj/blog/2059230