类继承中构造函数和析构函数的调用 现在，有三个类，类的定义如下 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;}}; CA是爷爷，CB是爸爸，CC是儿子。 那么任何一本C++的书都会讲，构造函数的调用顺序是CA CB CC，析构函数的调用顺序是CC,CB,CA，什么？？？你的书没讲，靠，扔了吧 于是 (1) int main(){ CC p ;}这个程序运行结果是CA constructorCB constructorCC constructor CC desstructorCB desstructorCA desstructor 靠，太简单了，一个鸡蛋飞过来了，：（ 继续…………………… (2) 再做第二个试验之前，先做一点小小修改~CA(){cout<<"CA desstructor"<<endl;} ----->>>virtual ~CA(){cout<<"CA desstructor"<<endl;} 修改main 代码如下int main(){ CA * p = new CC(); delete p; return 0;} yeah结果一模一样哦CA constructorCB constructorCC constructor CC desstructorCB desstructorCA desstructor 但是如果把virtual ~CA(){cout<<"CA desstructor"<<endl;}的virtual 去掉 那么(2)中的运行结果为CA constructorCB constructorCC constructor CA desstructor 只调了CA的哦，出问题了这样的话，就会出现基类的构造函数调用了，但是派生类的构造函数没调用，对象的派生部分不会被销毁，这将导致资源泄漏 所以我们在设计一个类的时候，如果类至少拥有一个虚函数，或者说基类被设计用于多态，在这种情况下，一个派生类的对象可能通过一个基类指针来进行操作，然后进行销毁，如果这样的话，那么这个基类的析构函数要设置成虚拟的，有些类虽然是基类，但是不是用于多态的，没有虚函数，没有被设计成允许经由基类接口派生类对象进行操作，那么也无需设成虚析构函数，毕竟增加了开销，好了，解释清楚了，我们也知道怎么做了，继续试验(3)保留CA中的虚析构函数 修改main 代码如下int main(){ CB * p = new CC(); delete p; return 0;} 运行结果CA constructorCB constructorCC constructor CC desstructorCB desstructorCA desstructor取消CA中的虚析构函数，那么，CA,CB,CC中没有虚析构函数那么3中代码运行结果如下 CA constructorCB constructorCC constructor CB desstructorCA desstructor 只调到CB的析构哦， 继续试验，CA，CB，CC中，只有CB是虚析构函数3中代码运行如下 CA constructorCB constructorCC constructor CC desstructorCB desstructorCA desstructor所以，如果是CB指向派生类，只要CB或者其基类中存在虚析构函数，那么也是所有的析构函数都调用的了 继续……………… (4)修改main 代码如下int main(){ CA * p = new CC(); delete p; return 0;} 如果A的析构函数是虚的，那么情况如2，不多说了 如果是CA的析构函数不是虚的，而CB或者CC的析构函数是虚拟的，那么在调用delete p;会出现内存错误 Expression:_BLOCK_TYPE_IS_VALID(pHead->nBlockUse) 是在释放内存的时候出现这样的错误上网查了一下，_BLOCK_TYPE_IS_VALID是用来检测内存有效性宏中的一个，这个错误说明指针使用出现了问题 后来想了一想，应该是因为继承类中出现了虚函数，所以多了一个指向虚函数表的指针，而基类中一个虚函数都没有，所以也没有这个指针啦所以在delete的时候就出现了内存错，事实证明，这个猜想应该是站得住脚的，在CA中添加一个虚函数，即使的空的虚函数，也不会出现内存错，关于这个问题，我想在下次继续讨论吧，这里不深入进去了，回到正题，在CA中添加一个空的，任意的虚拟函数以后，运行正确了，运行结果是CA constructorCB constructorCC constructor CA desstructor 这与(2)中的情况是一样的，只要CA的析构函数不是虚拟的，就只能调用CA的析构了 最后来看一种非常Bt的做法(5)CA CB CC中的析构函数，谁是虚拟的，无所谓，随便 修改main 代码如下int main(){ void * p = new CC(); delete p; return 0;} 运行结果CA constructorCB constructorCC constructor 下面呢？？？下面没有了,晕…………………… 这种情况，构造了一个cc的对象，然后呢，没有调析构函数，直接把申请的内存释放了，最好不要这样用咯。好了，最后，上面，基本上把所有的，我能想到的情况都整理了一下，总结一下如C1 * p = new C2();delete p;这样的代码 这里，C1是C2的基类，C1可能是C2的爸爸，可能是爷爷，可能是爸爸的爷爷，可能是爷爷的爷爷………………………… 那么首先，调用的构造函数是从C2的第一个祖先一直到C2………………。和C1是什么没关系 在delete p的时候，那么有以下几种情况：1) C1或者C1的祖先（基类）中，含有虚析构函数，那么调用的析构函数的顺序是从C2一直到C2的第一个祖先2）如果C1或者C1的祖先中，没有一个是类是含有虚析构函数的，那么调用的是从C1一直到C1（也是C2的)的第一个祖先的3）如果C1是void，那就什么析构都不调用了。 如果一个类，作为多态的基类，那么尽量把析构函数声明成虚拟的，不然………………， 好了，就此打住吧，关于4中的内存错误，下次再谈论吧，项目要开始了，又要忙了，哭去了……………………
评论