C++多态性和切片

Question

下面的代码，打印出来

Derived
Base
Base

但是我需要将每个 Derived 对象放入 User::items 中，调用它自己的打印函数，但不是基类的打印函数。我可以在不使用指针的情况下实现这一点吗？如果不可能，我应该如何编写一个函数来一一删除User::items并释放内存，这样就不会有任何内存泄漏？

#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

class Base{
public:
  virtual void print(){ cout << "Base" << endl;}
};

class Derived: public Base{
public:
  void print(){ cout << "Derived" << endl;}
};

class User{
public:
  vector<Base> items;
  void add_item( Base& item ){
    item.print();
    items.push_back( item );
    items.back().print();
  }
};

void fill_items( User& u ){
  Derived d;
  u.add_item( d );
}

int main(){
  User u;
  fill_items( u );
  u.items[0].print();
}

Answer 1

您需要使用指针，并且需要为基类提供虚拟析构函数。析构函数不必做任何事情，但它必须存在。您的添加函数如下所示：

void add_item( Base * item ){
    item->print();
    items.push_back( item );
}

其中 items 是一个 vector。销毁项目（假设是虚拟析构函数）：

for( int i = 0; i < items.size(); i++ ) {
    delete items[i];
}
items.clear();

Answer 2

您需要为基类提供一个虚拟析构函数，以确保在对Base 类型的指针调用delete 时正确销毁Derived 类型的对象。

class Base{
public:
  virtual void print(){ cout << "Base" << endl;}

  virtual ~Base( ) { }  // virtual destructor
};

然后你可以使用Boosts ptr_vector来存储指向容器被销毁时被删除的对象的指针。

Answer 3

只是解释一下：

为了理解发生了什么，您可以尝试定义类 Base 抽象（例如定义任何纯虚拟方法）。在这种情况下，我希望您会看到编译器错误。
这样你就会认识到向量实际上做了什么：当你push_back(衍生)时，它通过复制构造来创建类Base的新实例。
这就是为什么你想使用指针来代替。然后，向量将使用您最初创建的 Derived 类型的对象，而不是您自己的 Base 类型的副本。