#include <iostream>
using namespace std;
class Base{
public:
Base(){};
~Base(){
cout<<"这是Base类的析构函数"<<endl;
};
virtual void DoSomething(){
cout<<"这是Base类的DoSomething"<<endl;
};
};
class Derived:public Base{
public:
Derived(){};
~Derived(){
cout<<"这是Derived类的析构函数!"<<endl;
};
void DoSomething(){
cout<<"这是Derived类的DoSomething"<<endl;
};
}
int main()
{
Derived *pTest1 = new Derived;
pTest1->DoSomething();
delete pTest1;
cout<<endl;
Base *pTest2 = new Derived;
pTest2->DoSomething();
delete pTest2;
return 0;
}
编译运行结果如下:
veaxen@Erazer:code$ g++ test.cpp
veaxen@Erazer:code$ ./a.out
这是Derived类的DoSomething
这是Derived类的析构函数!
这是Base类的析构函数
这是Derived类的DoSomething
这是Base类的析构函数
这里我们可以看出,在delete pTest1时,我们正确调用了子类和基类的析构函数,但是在delete pTest2时,只调用了基类Base的析构函数,没有调用子类Derived的析构函数,这是由于pTest2的类型是基类的指针,编译器在编译到delete时,根据这个类型确定了调用基类的析构函数(也就是在编译期间就已经决定好调用哪一个析构函数了),如果把基类的析构函数定义为虚函数
virtual ~Base(){
cout<<"这是Base类的析构函数"<<endl;
}
那么由于基类的析构函数是虚函数,编译器在编译过程中是不能确定调用哪个虚函数的,也就是说,虚函数无法在编译期间被确定为调用的函数,因此,在编译期间,编译器就先(只能)找到了非虚的子类析构函数,并确定执行它。
而虚的析构函数,或者说虚函数的调用,只有等到运行时才可以被确定,C++程序在运行之后才可以确定哪个虚函数会被调用。
那么为什么还会调用基类的虚析构函数呢??因为子类的析构函数在结束运行前调用了父类的析构函数(如果父类的析构函数是虚函数,那运行时会根据虚函数表找到析构函数,然后再确定执行,如果析构函数是非虚函数,那可能在编译期就可以确定被调用了,这只是我的猜测,这里又引出一个问题,虚函数的调用过程比非虚函数要复杂得多,这就必然造成性能的下降,不过这也是没办法的事情,因为虚函数可以解决很多事情)。
把Base类的析构函数为虚函数之后的执行结果是:
veaxen@Erazer:code$ ./a.out
这是Derived类的DoSomething
这是Derived类的析构函数!
这是Base类的析构函数
这是Derived类的DoSomething
这是Derived类的析构函数!
这是Base类的析构函数
等有时间我会讲解一下我对C++普通成员函数、构造函数、析构函数和虚函数的理解,以及它们究竟是何时被调用执行的。