从std :: enable_shared_from_this和抽象基类派生是否可以？

Question

我正在编写一个应该从抽象基类派生的类.我无法更改抽象基类.该类将作为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));
  }
  // ...
};

这里有更完整的代码似乎有效.

我能找到的大多数例子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有一个带有"可转换"指针的模板化构造函数.除非shared_ptr构造函数知道它正在采取Widget它不知道它来自enable_shared_from_this它并且它不能存储weak_ptr.我只是想知道这种行为是否有记录.

Answer 1

是的，绝对没问题。

shared_ptr有一个采用“可转换”指针的模板化构造函数。除非shared_ptr构造函数知道它正在接受 a，否则Widget它不知道它派生自enable_shared_from_this并且无法存储 a weak_ptr。

非常正确。

我只是想知道这种行为是否有记录。

当前标准中的规定enable_shared_from_this非常不明确，但请参阅P0033enable_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()会抛出异常（这是您从实现中观察到的）。