以上程序的执行结果:
C++中当派生类的对象撤销时,一般先执行基类的构造函数,然后执行派生类的析构函数。以上程序的执行结果是符合预期的,再看以下代码:
以上代码运行结果:
运行结果可以看到,本程序只执行了基类的析构函数,而没有执行派生类的析构函数。主函数中,用new运算符建立了一个派生类的无名对象,并将一个基类的指针变量指向了这个对象,当delete函数被调用后系统只执行了基类的析构函数,而没有执行派生类的析构函数。
原因是这样的,C++中允许基类的对象指针指向它的公有派生类的成员,但是基类的对象指针指向派生类的对象时,只能访问派生类从基类继承来的成员。在一般情况下,通过类的对象的指针调用某个函数,函数的函数体(即函数执行的操作)在编译时就会确认,这就是所谓的静态联编。本程序编译时,系统通过指针变量的类型为Base类,判断撤销指针变量所指向的变量时将调用类Base的析构函数。编译器不会去理会指针指向的变量是属于类Base还是其派生类。
如果希望C++编译器能够灵活一点、机智一点、聪明一点,根据指针指向的对象的类别,调用相应类别的析构函数(即所谓的动态联编),那我我们可以将基类的析构函数声名为虚析构函数。
运行结果:
修改后程序的运行结果是符合我们的预期的。由于我们使用了虚析构函数,程序进行了动态联编,实现了运行时的多态性。
虽然派生类的析构函数与基类的析构函数名字不同,但是将基类的析构函数声名虚函数,那么该基类的所有派生类的析构函数也都自动的成为虚函数。