还是一篇有关虚函数的文章,这次是解析虚析构函数的。先直接上代码吧。
- #include <iostream>
- using namespace std;
- class A
- {
- public:
- int a;
- A() { cout<<"A"<<endl; }
- ~A(){ cout<<"~A"<<endl; }
- }
- class B
- {
- public:
- A *pA;
- B() {
- pA = new A();
- cout<<"B"<<endl;
- }
- virtual ~B() {
- delete pA;
- cout<<"~B"<<endl;
- }
- }
- class C : public B
- {
- public:
- C():B() { cout<<"C"<<endl; }
- ~C() { cout<<"~C"<<endl; }
- }
- int main() {
- B* pB = new C;
- delete pB;
- return 0;
- }
运行结果:若19行没有virtual:A B C ~A ~B
若19行有virtual: A B C ~C ~A ~B
这个结果说明,如果类B被类C继承,而且用父类的指针指向其子类对象(比如:B *bB = new C;)时,那么父类B的析构函数必须是虚的,否则在delete bB的时候,只会调用父类B的析构函数,子类C的析构函数不会被调用。这样会造成内存泄露。
构造函数的工作方式:先调用父类的构造函数,再调用派生类的构造函数。
析构函数的工作方式:先调用派生类的析构函数,再调用每一个父类的析构函数。
如果层次中根类的析构函数是虚函数,则派生类的虚构函数也将是虚函数 ,无论派生类显式定义析构函数还是使用合成析构函数,派生类的析构函数都是虚函数。这样就说明了下面的问题,因为B的析构函数是虚函数,那么C的虚构函数也是虚函数,这样,~B和~C都存在于C的虚表之中,在B *pB = new C;的时候,将C的虚表浅拷贝到了B类指针指向的区域,那么在delete pB;的时候,自然会调用到 ~C和 ~B。
从上面这张图片可以看出,在B *pB = new C;这一步时,C对象的虚函数表被浅拷贝到B对象的虚函数表 。从而delete pB;的时候,调用了C的析构函数。
后来还遇到一种情况,如下:
- class CA
- {
- public:
- CA(){cout<<"CA constructor"<<endl;}
- ~CA(){cout<<"CA desstructor"<<endl;}
- };
- class CB:public CA
- {
- public:
- CB(){cout<<"CB constructor"<<endl;}
- ~CB(){cout<<"CB desstructor"<<endl;}
- };
- class CC:public CB
- {
- public:
- CC(){cout<<"CC constructor"<<endl;}
- ~CC(){cout<<"CC desstructor"<<endl;}
- };
- int main()
- {
- CA * p = new CC();
- delete p;
- return 0;
- }
CA constructor
CB constructor
CC constructor
这种情况是,没有调用析构函数,直接把申请的内存给释放了。
本文出自 “cesc” 博客,请务必保留此出处http://blog.csdn.net/jiangyi711/article/details/4804356