如何正确地将可能派生类shared_pointers添加到 std::vector 中

How do i correctly add shared_pointers to probably derived classes into a std::vector?

本文关键字：添加 pointers std vector shared 正确地 派生      更新时间：2023-10-16

>我基本上有这个设置：

class B { /* ... */};
class C1 : public B { /* ... */};
class C2 : public B { /* ... */};
class X
{
  std::vector<shared_ptr<B>> m_vec;
  void addToVector(B* b);
}

addToVector不知道有多少类派生自 B，也不应该关心。它将像这样调用：

someFunction() {
  C1 tmp;
  /* do something with tmp */
  m_myX.addToVector(&tmp);
}

所以在someFunction结束时，TMP超出了范围，将被删除。 addToVector必须将 tmp 副本的shared_ptr push_back到向量中，但它怎么能做到这一点呢？

void X::addToVector(B* b)
{
  int i = sizeof(b); // allways sizeof(B) :(
  shared_ptr<B> np(b);
  m_vec.push_back(np); // garbage collected after calling fn returns :(
}

它应该做的是：

  • 通过调用正确类的复制构造函数/运算符来创建 B 指向的对象的副本
  • push_back该副本的shared_ptr到矢量中。

我该怎么做？

您正在堆栈上创建一个对象，然后将其地址提供给一个shared_ptr，该将尝试在堆栈上delete对象，这是未定义的行为。

解决方案是停止这样做：

void someFunction() {
  C1* c = new C1;
  /* do something with *c */
  m_myX.addToVector(c);
}

现在，堆上有一个对象，可以由shared_ptr拥有。没有必要复制它。

这只有在B具有虚拟析构函数时才可以正常工作，但是可以通过首先创建一个shared_ptr来避免这种情况(并且可以使代码更安全，更干净(：

void someFunction() {
  auto c = std::make_shared<C1>();
  /* do something with *c */
  m_myX.addToVector(c);
}
void X::addToVector(std::shared_ptr<B> b)
{
  m_vec.push_back(np);
}

现在，堆对象在创建后立即由shared_ptr管理，然后安全地存储在向量中。

你的"someFunction"看起来很奇怪...(为什么不首先创建tmp作为shared_ptr？

要使其工作，您必须创建"虚拟构造函数" - 在 B 中添加虚拟方法B* deepCopy() const，并在所有子类中实现它，它的主体应该基于模式：{ return new DerivedType(*this); }

如果你想干净 - deepCopy返回shared_ptr并使用make_shared。

相关文章：