关于析构函数我们都听说过基类的析构函数一定要是虚函数。本文就分析这个问题。首先看看下面的代码#include iostream using namespace std; class Base{ public: Base() { coutBase constructorendl; } virtual ~Base() { coutBase destructorendl; } }; class Derived : public Base{ public: Derived(){ coutDerived constructorendl; } ~Derived(){ coutDerived destructorendl; } }; void test() { Base* pObj new Derived(); delete pObj; } int main() { test(); return 0; }运行结果为:Base constructorDerived constructorDerived destructorBase destructor我们来详细分析一下Base* pObj new Derived();相当于Derived* pTemp new Derived(); Base* pObj (Base*)pTemp; //向上转型上面第一行会导致Derived()对象被构造我们知道Derived类构造的时候会由内向外即先构造基类再构造子类。这个和输出信息相符。再来看析构。这里析构就是一行delete pObj;编译器这时候是调用Base()还是Derived()呢?我的理解是编译器这里根本不知道pObj是指向的一个Base对象还是Derived对象而是直接根据pObj的类型Base去调用Base的析构函数Base()。这里我们前面讲过的动态绑定三原则就有用了因为Base()前面有virtual又是基类指针指向派生类对象(指针向上转型)所以是动态绑定(也就是编译器直到这时候才决定调用哪个函数必须通过Derived类的虚函数表vtbl来调用相应的虚函数。那么这里很多问题又来了问题一Derived类里面没有虚函数啊那Derived的object有没有vtbl呢答案是有的因为Base类定义了一个虚函数所以Base类和它的派生类都会有虚函数表。而且因为Base()为虚Derived()也一定为虚不管有没有定义virtual。问题二Derived的object的vtbl里面有哪些函数呢?Base()?Derived()? 还是两个都有答案是Derived的object的vtbl里面只有一个虚函数~Derived()。这里我们再深入一下:如果Base()类里面有多个虚函数那么Derived()的object的vtbl里面的~Derived()那一项在其vtbl中的索引值 等于 Base()的object的vtbl里面的~Base()那一项在其vtbl中的索引值。这样当delete pObj的时候 编译器流程处理如下delete pObj; – call pObj; //绑定到Derived的object - vptr //Derived的object的vptr -vtbl[n] //Derived的object的vtbl的第n项n即为Base()的object的vtbl里面的~Base()那一项的索引值。 - Derived::~Derived()注意这里虚析构函数跟其他虚函数有一个不同的地方那就是基类和派生类的虚析构函数名字不一样Base()和Derived())Derived()类的object的vtbl里面Derived()会overwriteBase()那一项。那么问题又来了前面析构时候调用的结果是Derived destructorBase destructor既然编译器会调用Derived()那么为什么Base()也被调用了呢这里是因为在C的编译器里面动态绑定中Derived()后面会自动递归调用其基类的析构函数Base()形成一个函数链。这里问题又来了在run-time的时候程序调用完Derived()怎么知道去哪调用Base()呢难道有什么地方存了个表可以从Derived Class找到它的Base Class并一直回溯上去(Base的Base)? 答案是否定的因为run-time的时候查表太慢影响性能。其真正的实现是编译器在编译的时候就把这个析构函数链写好了这样在调用的时候直接用可以了。如果把~Base()前面的virtual去掉重新编译则输出为:Base constructorDerived constructorBase destructor为什么析构的时候只调用~Base()呢? 原因很简单没有virtual了不满足动态绑定三原则。那么delete pObj;绑定的是静态对象Base。编译器在编译的时候就直接让这里调用~Base()。根据上面的分析如果Base()非虚的话Base指针指向Derived对象后删除Base指针不会调用Derived的析构函数。但是Derived的构造函数之前已经调用过了那么就会有内存泄漏的隐患。所以Base()一定要定义成虚函数。再深入思考一下为什么基类的构造函数就不需要为虚函数呢我想了一下这个原因可能是因为子类对象在被构造的时候编译器很清楚知道这里是在构造子类对象不管是Base *p new Derived();还是Derived *p new Derived();这里很清楚Derived对象要被构造而且编译器知道Derived的基类是Base从而会先去调用Base的构造函数, 然后调用Derived的构造函数。但是子类对象被析构的时候就不一定有这么清楚了比如说delete p;这里p是基类指针但指向子类对象。编译器并不清楚p是指向子类对象的它只知道p是基类指针所以只会调用基类的析构函数。我做了几次试验当Base()为虚Derived()为虚时delete p时~Derived()先调用, ~Base()后调用。当Base()为虚Derived()为非虚时delete p时~Derived()先调用, ~Base()后调用。当Base()为非虚Derived()为虚时delete p时只有~Base()被调用。当Base()为非虚Derived()为非虚时delete p时只有~Base()被调用。可见当Base()为虚函数时不管Derived()是否为虚Derived的vtbl都会在相应位置(该位置就是Base()在Base类的vtbl中的位置)用Derived()来overrideBase()。当Derived()被调用后~Base()紧接着被调用。而当Base()为非虚函数时因为Base()根本不在Base类的vtbl中(如果Base类有vtbl的话)所以也谈不上~Derived()来overwrite它了。下面是AI的回答在 C 中当基类的析构函数是 virtual 时通过基类指针释放派生类对象基类的析构函数是在派生类析构函数执行完毕后由编译器自动调用的。你不需要在派生类的虚构函数中手动调用基类析构函数整个过程是“自下而上”自动触发的。核心执行流程当你执行 delete base_ptr; 时底层的调用顺序如下1) 查表定位编译器根据对象的虚函数表vtbl找到最底层派生类的析构函数。2) 执行派生类析构开始执行派生类的析构函数本体释放派生类特有的成员变量。3) 隐式自动调用派生类析构函数的代码执行完毕后编译器生成的底层代码会自动调用其直接基类的析构函数。4) 逐层向上释放如果还有更上层的基类该基类析构函数执行完后会继续向上调用直到最顶层的基类。为什么编译器能做到自动调用这与 C 对象的构造和析构顺序先进后出原则有关构造时自上而下先调用基类构造函数再调用派生类构造函数。析构时自下而上先调用派生类析构函数再调用基类析构函数**。**在编译阶段编译器在生成派生类的析构函数汇编代码时会自动在函数的末尾插入调用基类析构函数的指令。因此只要派生类的析构函数被成功触发基类的析构函数就一定会随后执行。虚函数表vtbl里到底存的是谁那么既然基类和派生类的析构函数名字不同它们怎么在虚函数表里对应在 C 中虽然析构函数名字不同但在虚函数表中它们占用同一个槽位Slot(注意这里是编译器在做工作因为通常的虚函数都必须同名但这里不是。。当基类析构函数声明为 virtual 时派生类的析构函数会自动隐式成为 virtual。派生类对象的虚函数表中该槽位存放的是派生类的析构函数地址。虚函数只负责把入口导向“最底层的派生类析构函数”一旦进去了后续的向上调用就转为了普通的、由编译器硬编码的静态调用。