C++ 非抽象析构函数继承

Question

我以前见过这个问题，但不清楚或与我遇到的情况相同。

我有一个抽象基类。它有一个受保护的构造函数和一个析构函数。它被几个完整的类型继承，这些类型也有公共的构造函数和析构函数。如果对象被基类型引用，我遇到的问题是删除对象不会调用子析构函数。

class Tree
{
protected:
        Tree(){ }
public:
        ~Tree(){ }
};

class OakTree : public Tree
{
public:
        OakTree(){ }
        ~OakTree(){ }
};

vector<Tree*> Trees; // Store objects using the base type
Trees.push_back(new OakTree()); // Create derived object
delete Trees[0]; // OakTree desctructor does not get called

如何调用 OakTree 析构函数？我尝试将所有析构函数标记为虚拟，但没有奏效。基类析构函数不能是抽象的（这样可以解决调用问题，但不能解决删除问题）。

Answer 1

制作你的基类析构函数virtual。

class Tree
{
protected:
        Tree(){ }
public:
        virtual ~Tree(){ }
}

否则，如果您尝试通过基类指针进行删除，则会导致未定义的行为。这有点过时了，但 Scott Meyers 在第二版 Effective C++ 中生动地表达了这一点：

C++ 语言标准在这个主题上异常清晰：当您尝试通过基类指针删除派生类对象并且基类具有 非虚拟 析构函数时（就像 EnemyTarget 所做的那样） ，结果未定义。这意味着编译器可以生成代码来做任何他们喜欢的事情：重新格式化你的磁盘，向你的老板发送暗示性邮件，将源代码传真给你的竞争对手，等等。 （在运行时经常发生的是派生类的 destrutcor 永远不会被调用。...）

Answer 2

这是因为你的基类析构函数没有声明为虚拟的。

class Tree
{
protected:
        Tree(){ }
public:
        virtual ~Tree(){ }
}

Answer 3

如果你要使用多态性，你的基类中必须有一个虚拟析构函数。

问题在于，当您在 Tree * 上调用 delete 时，没有人真正知道它是哪种树，并且通过使用虚拟析构函数，编译器会通过指向该特定函数表的指针生成调用对象实例，然后您将获得该类型的析构函数。

否则标准会说它是未定义的行为，但大多数情况下似乎发生的是编译器生成对析构函数的调用，无论你的多态指针或引用是什么类型，在你的情况下，它就是基类。

Answer 4

我想知道为什么没有人真正问作者想用代码实现什么？

虽然，是的，在基类中拥有一个虚拟析构函数将帮助您调用析构函数，但您仍然留下未定义的行为。

delete Trees[0]; 之后你有什么期待？

或者，更确切地说，你想用那条线实现什么？

如果您尝试从矢量中删除项目，您可能需要：

Trees.erase(Trees.begin());

但是，如果您忘记删除行，您将面临内存泄漏。

因此，不要在向量中使用纯指针。考虑：

std::vector< std::shared_ptr<Tree> > Trees;
Trees.push_back( std::make_shared<OakTree>() );
Trees.erase(Trees.begin());

可运行@Ideone