多态类中的虚拟析构函数

Question

我理解，只要你有一个多态基类，基类就应该定义一个虚拟析构函数。因此，当删除指向派生类对象的基类指针时，它将首先调用派生类的析构函数。如果我错了，请纠正我。

此外，如果基类析构函数是非虚拟的，那么删除指向派生对象的基类指针将是未定义的行为。如果我错了也纠正我。

所以我的问题是：为什么当基类析构函数非虚拟时，对象不会被正确销毁？

我假设这是因为虚拟函数具有某种表，每当调用虚拟函数时都会记住和查阅该表。编译器知道，当应该删除对象时，它应该首先调用派生析构函数。

我的假设正确吗？

Answer 1

考虑

struct Base {
    void f() { printf("Base::f"); }
};
struct Derived : Base {
    void f() { printf("Derived::f"); }
};
Base* p = new Derived;
p->f();

这会打印Base::f，因为Base::f不是虚拟的。现在对析构函数执行同样的操作：

struct Base {
    ~Base() { printf("Base::~Base"); }
};
struct Derived : Base {
    ~Derived() { printf("Derived::~Derived"); }
};
Base* p = new Derived;
p->~Base();

这将打印基数：：~基数。现在，如果我们使析构函数成为虚拟函数，那么，与任何其他虚拟函数一样，将调用对象的动态类型的最终覆盖器。析构函数覆盖基类中的虚拟析构函数（即使其“名称”不同）：

struct Base {
    virtual ~Base() { printf("Base::~Base"); }
};
struct Derived : Base {
    ~Derived() override { printf("Derived::~Derived"); }
};
Base* p = new Derived;
p->~Base();

调用 p-

Derived::~Derived
Base::~Base

现在，delete表达式一般相当于一个析构函数调用，后跟一个内存释放函数调用。在这种特殊情况下，表达式

delete p;

相当于

p->~Base();
::operator delete(p);

因此，如果析构函数是虚拟的，那么这是正确的：它首先调用Derived:：~Derived，然后在完成时自动调用Base:：~Base。如果析构函数不是虚拟的，那么可能的结果是只调用Base:：~Base。

Answer 2

如果在删除对象时变量的静态类型是 bas 类型，则将调用基类型的析构函数，但不调用子类的析构函数（因为它不是虚拟的）。

因此，基类分配的资源将被释放，但子类分配的资源不会被释放。

因此，对象不会被正确销毁。

您对该表的看法是正确的：它被称为虚拟方法表或“vtable”。但是析构函数是非虚拟的结果不是析构函数没有以正确的顺序调用，而是根本没有调用子类的析构函数！