一个类对象,当生命周期结束时,该对象会调用自身的析构函数。
一个类的指针,当使用delete函数来删除该指针时,会调用该指针当前类型的析构函数。
比如:
classB* pClass = (classB*)new classA;
delete pClass;
尽管该指针实际上是classA*类型,但将其转换为classB*类型,那么delete时,调用的是classB的析构函数。
对于某些特殊类型,如void,int等,本身没有析构函数,所以若将一个类指针强转为void*,int*等,则delete时,不会调用析构函数。
实际上,一个类的自然释放过程,是先执行析构函数,再逐个释放成员变量。 设classA有成员变量classAE,classB有成员变量classBE,则:
classB* pClass = (classB*)new classA;
delete pClass;
会发现,先执行classB的析构函数,再执行classBE的析构函数。但实际上由于并没有classBE的存在,故也就不执行classBE的析构函数。若内部没有涉及嵌套的指针,那么这里并不会报错。
故delete一个指针时,务必保证该指针的当前类型就是其定义的类型。
另外,子类自然释放时,会先调用自身析构函数,再调用父类析构函数。
设以下操作均不涉及内部指针且没有报错:
① 父类指针转为子类指针,并删除:会先执行子类析构函数,再执行父类析构函数
② 子类指针转为父类指针,并删除:会执行父类析构函数,子类析构函数不会得到调用
所以,析构函数最好定义为Virtual。