c++ - shared_from_this() 的不可替代方案

Question

有时一个类需要获得一个shared_ptr对自己。实现此目的的一种方法(当您知道类的对象将始终存在于 shared_ptr 中时)是从 std::enable_shared_from_this<SomeClass> 派生。并调用shared_from_this()根据需要。

但是有一点需要注意，您不能调用这种方法 shared_from_this()来自析构函数——因为 enable_shared_from_this使用 weak_ptr在引擎盖下，因为在析构函数中意味着对象的引用计数为 0，bad_weak_ptr将抛出异常。

现在，我经常发现自己编写的类具有非平凡的析构函数，这些析构函数调用其他尝试使用 shared_from_this() 的函数。 .例如:

~SomeClass::SomeClass()
{
   f();
}

// f can also be called outside the context of the destructor
/* public */ void SomeClass::f()
{
   g();
   m_anotherObject.h(shared_from_this()); // want to skip this if shared_from_this() fails
   i();
}

如前所述，f如所写将抛出 bad_weak_ptr从析构函数调用时异常。我可以简单地吞下那个异常并继续 i() ，但这违背了只应在异常情况下抛出异常的想法，并且当您的 IDE 配置为在抛出异常时警告您时，这会使调试变得更加困难。我还可以通过多种不同的方式重构代码以防止 h从析构函数中调用，但这会增加复杂性，损害可读性，并且看起来像是很多不必要的麻烦。或者我可以添加某种 bool m_inDestructor成员变量，但这将是可怕的。

/* public */ void SomeClass::f()
{
   g();

   try
   {   
      m_anotherObject.h(shared_from_this());
   }
   catch(std::bad_weak_ptr&) {} // don't like; exceptions should be exceptional

   i();
}

/////////////////////

SomeClass::~SomeClass()
{
   f(true);
}

/* public */ void SomeClass::f()
{
   f(false);
}

// works, but adds complexity I feel like I shouldn't need
/* private */ void SomeClass::f(bool inDestructor)
{
   g();
   if(!inDestructor)
      m_anotherObject.h(shared_from_this());
   i();
}

所以我的问题是:有没有人想出一个普遍适用的、不抛出的机制来确定enable_shared_from_this是否存在？实际上有一个shared_ptr提供？

Answer 1

如果你真的想这样做，你可以重新实现 shared_from_this成语你自己，除了让它返回一个 null shared_ptr在适当的时候。

为此，您添加一个 weak_ptr<SomeClass>至 SomeClass作为数据成员:

class SomeClass
{
    std::weak_ptr<SomeClass> weak_ptr_;

在你的工厂函数中，初始化 weak_ptr :

static std::shared_ptr<SomeClass> create()
{
    std::shared_ptr<SomeClass> p(new SomeClass);
    p->weak_ptr_ = p;
    return p;
}

然后写shared_from_this做你想做的事:

std::shared_ptr<SomeClass> shared_from_this() {return weak_ptr_.lock();}

现在只要f()可以处理一个空的 shared_ptr (只要您通过工厂功能控制所有构造)，您就是黄金。