使用shared_ptr和weak_ptr时避免间接循环引用

Question

我目前正在组建一个严重依赖shared_ptr的应用程序，到目前为止一切看起来都很好 - 我已经完成了我的homework并对使用中的一些陷阱有了很好的了解shared_ptr秒。

shared_ptr最常见的问题之一是循环依赖 - 这些问题可以通过存储不影响链上对象生命周期的weak_ptr来解决。但是，我正在努力解决需要通过weak_ptr存储指向外部对象的时间 - 我不确定它是否被禁止，气馁或是否安全< /强>

下图描述了我的意思（黑色箭头表示shared_ptr;虚线表示weak_ptr）：

alt text http://img694.imageshack.us/img694/6628/sharedweakptr.png

• 父母包含两个孩子的shared_ptr，两个孩子都使用weak_ptr指向父母。
• 在第一个孩子的构造函数中，我通过父weak_ptr检索指向第二个孩子的指针并将其存储在本地。

代码如下所示：

#include <boost/shared_ptr.hpp>
#include <boost/weak_ptr.hpp>
#include <boost/make_shared.hpp>
#include <boost/enable_shared_from_this.hpp>

class child;
class child2;
class parent;

class parent : public boost::enable_shared_from_this<parent>
{
public:
    void createChildren()
    {
        _child2 = boost::make_shared<child2>(shared_from_this());
        _child = boost::make_shared<child>(shared_from_this());
    }

    boost::shared_ptr<child> _child;
    boost::shared_ptr<child2> _child2;
};

class child
{
public:
    child(boost::weak_ptr<parent> p)
    {
        _parent = p;
        _child2 = boost::shared_ptr<parent>(p)->_child2; // is this safe?
    }

    boost::weak_ptr<parent> _parent;
    boost::shared_ptr<child2> _child2;
};

class child2
{
public:
    child2(boost::weak_ptr<parent> p)
    {
        this->_parent = p;
    }

    boost::weak_ptr<parent> _parent;
};

int main()
{
    boost::shared_ptr<parent> master(boost::make_shared<parent>());
    master->createChildren();
}

我已经测试了这个并且似乎正常工作（我没有得到任何内存泄漏的报告），但我的问题是：这样安全吗？如果没有，为什么不呢？

Answer 1

子构造函数看起来像你调用它一样安全。然而，它一般不安全。

问题是由于传递了一个weak_ptr作为子构造函数中的参数。这意味着您需要担心弱指针是否适用于不再存在的对象。通过将此参数更改为shared_ptrs并在存储时转换为weak_ptr，我们知道该对象仍然存在。这是改变：

child(boost::shared_ptr<parent> p)
{
    _parent = p;
    _child2 = p->_child2; // This is this safe
}

Answer 2

  

shared_ptr最常见的问题之一是循环依赖 - 这些问题可以通过存储不影响链上对象生命周期的weak_pt来解决。

错误。 此循环依赖存在或不存在。

如果问题存在，那么弱引用根本就不是一种选择。

  

需要通过weak_ptr存储指向外部对象的指针

weak_ptr 几乎从不需要。

很少有非常具体的情况weak_ptr是合适的，但大多数情况下它是shared_ptr邪教的一部分：而不是随机抛出shared_ptr问题，他们随机抛出一半{{1} }和一半shared_ptr（如SO所示）。

Answer 3

如果'p'已经（以某种方式）被破坏，你将得到bad_weak_ptr异常。 因此，儿童保护期望异常并且不安全，这是安全的。