我知道，只要你有一个多态基类，基类就应该定义一个虚拟析构函数。这样当一个指向派生类对象的基类指针被删除时，它会首先调用派生类的析构函数。如果我在这里错了，请纠正我。
此外，如果基类析构函数是非虚拟的，则删除指向派生对象的基类指针将是未定义的行为。如果我错了也请纠正我。
所以我的问题是：为什么当基类析构函数是非虚拟的时，对象不会被正确销毁？
我假设这是因为虚函数有某种表，每当调用虚函数时，它都会被记住和查阅。并且编译器知道当一个对象应该被删除时，它应该首先调用派生的析构函数。
我的假设正确吗？
【问题讨论】：
标签： c++ inheritance polymorphism
如果在删除对象时变量的静态类型是 bas 类型，则将调用基类型的析构函数，但不会调用子类的析构函数（因为它是不是虚拟的）。
因此基类分配的资源将被释放，但子类分配的资源不会。
因此对象不会被正确销毁。
您对那个表是正确的：它被称为虚拟方法表或“vtable”。但是析构函数非虚的结果并不是析构函数没有按正确的顺序调用，而是子类的析构函数根本没有被调用！
【讨论】：
考虑
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();
这打印出Base::~Base。现在，如果我们将析构函数设为虚拟，那么与任何其他虚拟函数一样，对象的动态类型中的最终覆盖器将被调用。析构函数会覆盖基类中的虚拟析构函数（即使它的“名称”不同）：
struct Base {
virtual ~Base() { printf("Base::~Base"); }
};
struct Derived : Base {
~Derived() override { printf("Derived::~Derived"); }
};
Base* p = new Derived;
p->~Base();
调用p->~Base() 实际上调用Derived::~Derived()。由于这是一个析构函数，在其主体执行完毕后，它会自动调用基类和成员的析构函数。所以输出是
Derived::~Derived
Base::~Base
现在，delete-expression 通常相当于调用析构函数，然后调用内存释放函数。在这种特殊情况下，表达式
delete p;
等价于
p->~Base();
::operator delete(p);
因此，如果析构函数是虚拟的，则这样做是正确的：它首先调用Derived::~Derived，然后在完成后自动调用Base::~Base。如果析构函数不是虚拟的，则可能的结果是只调用了Base::~Base。
【讨论】：