c++ - 从 std::enable_shared_from_this 和抽象基类派生可以吗？

Question

我正在编写一个应该从抽象基类派生的类。我无法更改抽象基类。该类(class)将以 shared_ptr 的形式举行到抽象基类。继承抽象基类和可以吗 enable_shared_from_this ?像这样:

class IWidget {
public:
  virtual ~IWidget(){}
  // ...
};

class Widget : public std::enable_shared_from_this<Widget>, public IWidget {
protected:
  Widget();  // protected, use create
public:
  static std::shared_ptr<IWidget> create() {
    return std::shared_ptr<IWidget>(new Widget(init));
  }
  // ...
};

更完整的代码here 似乎有效。

我能找到的大多数 enable_shared_from_this 的例子把它放在基类上。在这种情况下，我无法更改基类。使用多重继承并在派生类上使用可以吗？

我有点担心我只能保证enable_shared_from_this仅当我创建 shared_ptr<Widget> 时才有效但在这种情况下，我正在创建一个 shared_ptr<IWidget> .

更新:我注意到的一件有趣的事情是，如果我更改 create方法:

  IWidget* w = new Widget(init);
  return std::shared_ptr<IWidget>(w);

我在尝试使用 shared_from_this() 时遇到运行时错误.我认为这是有道理的。 shared_ptr有 a templated constructor这需要一个“可转换”指针。除非 shared_ptr构造函数知道它正在使用 Widget它不知道它来自 enable_shared_from_this它不能存储 weak_ptr .我只是想知道这种行为是否被记录在案。

Answer 1

是的，没问题。

shared_ptr has a templated constructor that takes a "convertible" pointer. And unless the shared_ptr constructor knows it is taking a Widget it doesn't know it derives from enable_shared_from_this and it can't store a weak_ptr.

完全正确。

I just wonder if this behaviour is documented.

在当前标准中，enable_shared_from_this 的规定非常差，但请参阅 P0033 了解新的和改进的 enable_shared_from_this 规范，它将在 C++17 中。以及回答“如果你做两次会发生什么？”问题，修改后的措辞具体说明了如何使用 enable_shared_from_this 基类，以及如何初始化 weak_ptr 成员。新措辞的那部分只是对现有实践进行标准化，即它只是对实际实现已经做了什么的更准确的描述。 (“如果你做两次会发生什么？”问题的答案与以前的实现有所不同，但有充分的理由，这与你的问题无关)。

新规范阐明了您的原始示例完全定义明确且正确。

当前标准表示，当您调用 shared_from_this() 时，您更新的问题中的修改版本具有未定义的行为，因为违反了拥有指向派生指针的 shared_ptr 的前提条件(因为您创建了一个拥有该指针的 shared_ptr - 到基地)。然而，正如论文中所解释的那样，该前提条件不足以确保合理的语义。修改后的措辞使您的修改版本也明确定义(即没有未定义的行为)，但基类中的 weak_ptr 不会与 shared_ptr<IWidget> 共享所有权，因此 shared_from_this() 将引发异常(这是您从实现中观察到的)。