基类指针可以指向派生类的对象(多态性),如果删除该指针delete []p;就会调用该指针指向的派生类析构函数,而派生类的析构函数又自动调用基类的析构函数,这样整个派生类的对象完全被释放。如果析构函数不被声明成虚函数,则编译器实施静态绑定,在删除基类指针时,只会调用基类的析构函数而不调用派生类析构函数,这样就会造成派生类对象析构不完全。所以,将析构函数声明为虚函数是十分必要的。
1.为什么基类的析构函数是虚函数?
在实现多态时,当用基类操作派生类,在析构时防止只析构基类而不析构派生类的状况发生
class ClxBase//虚析构函数
{
public:
ClxBase() {}
virtual~ClxBase() { cout<<"~ClxBase"<<endl; }
virtual void DoSomething() { cout << "Do something in ClxBase!" << endl; }
};
class ClxSub : public ClxBase
{
public:
ClxSub() {}
~ClxSub() { cout << "~ClxSub" << endl; }//派生类的析构函数又自动调用基类的析构函数
void DoSomething() { cout << "Do something in ClxSub!" << endl; }
};
void test_virtual()
{
ClxBase *pTest = new ClxSub;
pTest->DoSomething();
delete pTest;
}
输出:
Do something in ClxSub!
~ClxSub
~ClxBase
如果将基类的析构函数virtual 关键字拿掉
class ClxBase//虚析构函数
{
public:
ClxBase() {}
~ClxBase() { cout<<"~ClxBase"<<endl; }//virtual 关键字拿掉
virtual void DoSomething() { cout << "Do something in ClxBase!" << endl; }
};
输出:
Do something in ClxSub!
~ClxBase
可以看到派生的析构函数并没有被调用,这样就会造成派生类对象析构不完全!