如何初始化作为类成员的shared_ptr？

Question

我不确定初始化作为类成员的 shared_ptr 的好方法。你能告诉我，我在C::foo()中选择的方式是否可以，或者有更好的解决方案吗？

class A
{
  public:
    A();
};

class B
{
  public:
    B(A* pa);
};

class C
{
    boost::shared_ptr<A> mA;
    boost::shared_ptr<B> mB;
    void foo();
};

void C::foo() 
{
    A* pa = new A;
    mA = boost::shared_ptr<A>(pa);
    B* pB = new B(pa);
    mB = boost::shared_ptr<B>(pb);
}

Answer 1

您的代码非常正确（它可以工作），但是您可以使用初始化列表，如下所示：

C::C() :
  mA(new A),
  mB(new B(mA.get())
{
}

这更加正确且安全。

无论出于何种原因，如果 new A 或 new B 抛出异常，则不会发生泄漏。

如果 new A 抛出，则不会分配内存，并且异常也会中止您的构造函数。什么也没建造。

如果 new B 抛出，异常仍会中止您的构造函数：mA 将被正确析构。

当然，由于 B 的实例需要一个指向 A 实例的指针，因此成员的声明顺序很重要。

在您的示例中，成员声明顺序是正确的，但如果颠倒过来，那么您的编译器可能会抱怨 mB 在 mA 和 mB 实例化之前初始化 可能会失败（因为 mA 尚未构造，因此调用 mA.get() 会调用未定义的行为）。

---

我还建议您使用 shared_ptr 而不是 A* 作为 B 构造函数的参数（if 这是有道理的，如果你能接受一点点开销的话）。可能会更安全。

也许可以保证 B 的实例不能在没有 A 的实例的情况下生存，然后我的建议就不适用，但是我们在这里缺乏上下文来给出一个对此的明确建议。