为什么基类的析构函数要设为虚函数

如若转载,请保证文章完整性及保留博客地址

 

改定履历

2010-12-18-------------------------新建文档

 

正文

class A { public: A(int i=0):a(i){cout << "A构造函数" << endl;} virtual ~A(){cout << "A析构函数" << endl;} private: int a; }; class C:public A { public: C(int i=0):b(i){cout << "C构造函数" << endl;} ~C(){cout << "C析构函数" << endl;} private: int b; }; int main() { A* pa = new C(); //! ---------------① delete pa; //! ---------------② pa = NULL; return 0; }     

 

首先明确执行②语句时会发生什么,执行②会发生两件事,先清除对象(调用析构函数),再释放对象内存.
在↑示例中,①定义基类指针指向派生类对象,执行②时调用析构函数清除对象时发生动态绑定(基类指针,虚析构函数),结果是调用类C的析构函数.

程序运行结果如下:

A构造函数 C构造函数 C析构函数 A析构函数

--------------------
如果将基类A中析构函数"virtual"关键字去除,执行②语句时不会发生动态绑定,则演变成直接调用类A的析构函数.
程序运行结果如下:

A构造函数 C构造函数 A析构函数

--------------------

总结

自动调用基类部分的析构函数对基类的设计有重要影响.如果删除基类<指针>,则需要运行基类析构函数并清除基类的成员,如果对象实际是派生类的对象,则该行为C++没有定义.为保证运行适当的析构函数,基类中的析构函数必须为虚函数.