多态性和 shared_ptr 成员

Question

测试多态性&虚函数&shared_ptr，我试图理解以下最小示例所描述的情况。

class B{
public:
  // Definition of class B
  virtual void someBMethod(){
   // Make a burger
  };
};

class C : public B {
public:
  // Definition of class C
  void someBMethod(){
   // Make a pizza
  };
};

class A{
public:
  A(B& SomeB) : Member(std::make_shared<B>(SomeB)){};
  std::shared_ptr<B> Member;
};

现在，大体上我们可以拥有

int main(){
  C SomeC;
  A SomeA(SomeC);
  A.Member->someBMethod(); // someBMethod from B is being executed.
};

除非我没有从我的实际代码到最小示例中包含一些错误，否则我认为 SomeC 正在被削减为 B，或者至少 someBMethod 从 B 被最后调用线。

问题：什么是初始化Member 的正确方法应该是调用C 中的方法someBMethod？

Answer 1

您正在通过调用std::make_shared<B>(SomeB) 执行slicing 这将构造一个指向B 类型的new 对象的shared_ptr 并使用B 上的复制构造函数构造该对象： B::B(const B& b) 切掉所有关于 SomeB 的 C-ness 的信息。

将 A 更改为：

class A{
public:
  A(const std::shared_ptr<B>& pB) : pMember(pB) {}
  std::shared_ptr<B> pMember;
};

还有主要的：

int main(){
  A SomeA(std::make_shared<C>());
  A.pMember->someBMethod(); // someBMethod from C is being executed.
}

Answer 2

我认为SomeC 正在被缩减为B

这正是正在发生的事情。 make_shared 创建一个指定类型的新对象，将其参数转发给合适的构造函数。所以这会创建一个新的B，使用它的复制构造函数初始化以复制SomeC 的B 子对象。

初始化Member 的正确方法应该是什么，以便调用来自C 的方法someBMethod？

这很棘手：C 不是共享的，但 Member 是共享的，而且你不能同时拥有它。如果你要求用户传入一个共享指针，这可能是最好的，暴露它要与这个类共享的事实：

A(std::shared_ptr<B> SomeB) : Member(SomeB){}

如果你真的想让它使用非共享对象，你可以创建一个带有虚拟删除器的共享指针，这样它就不会尝试共享所有权：

A(B& SomeB) : Member(std::shared_ptr<B>(&SomeB, [](B*){})){}

但请注意，您现在有责任确保 C 在 A 之后才被销毁，并且它的任何副本都不再需要它。您失去了“拥有”共享指针的安全性。

无论您做什么，都不要简单地从&SomeB 创建一个共享指针。默认删除器会尝试删除它，这是一个错误，因为它不是动态创建的。