请看如下一段代码:#include<iostream>using namespace std;class A{public: A() { pValue = new int[100]; cout << "Constructor of A" << endl; } ~A() { delete []pValue; cout << "Deconstructor of A " << endl; }private: int *pValue;};class B{public: B() { cout << "Constructor of B " << endl; } virtual ~B() { cout << "Deconstructor of B" << endl; }};class C : public B{public: C() { cout << "Constructor of C " << endl; } virtual ~C() { cout << "Deconstructor of C" << endl; }private: A a;};int main(void){ C c; //构造函数在栈中分配// B* b = new C;// delete b; return 0;} 类C从类B中继承出来,类C中聚合了一个类A的对象,类C的析构函数并未调用类A的析构函数,请问:这段代码执行后,会调用类A的析构函数释放内存吗?经测试,执行结果如下:
Constructor of B
Constructor of A Constructor of CDeconstructor of CDeconstructor of ADeconstructor of B 由此可以看出,C的析构函数确实调用了类A的析构函数,该调用是由编译器隐含加入的,随后还调用了基类B的析构函数,但是请注意,编译器只会为基类和聚合类添加对析构函数的调用,如果C中的成员为指向类A的指针,则编译器不会加入对类A的析构函数的调用。那么,如果我们把main函数改变一下:int main(int argc, char* argv[]){B * b = new C; //构造函数在堆中分配delete b;return 0;}请问:这段代码会发生内存泄漏吗?执行结果如下:
Constructor of B
Constructor of A Constructor of C
Deconstructor of B发生了什么?调用了A的构成函数分配了内存,却只调用了B的析构函数,C和A的析构函数都没有调用,内存没有释放,为什么?有人也许已经看出了问题所在,B和C的析构函数都应该是虚函数,否则,由于b的类型为指向类B的指针,delete b只会调用B的析构函数。当B和C的析构函数都是虚函数时,编译器会根据b指向的对象实际上是C的对象,而去调用C的析构函数。请对代码作如下改变:class B {public:virtual ~B () { printf("Deconstructor of B/n"); }
//所有B的派生类的析构函数都将自动变为virtual型};class C : public B {public:virtual ~C () { printf("Deconstructor of C/n"); } // 此处virtual可有可无private:A a;};再次运行,结果正确:
Constructor of B
Constructor of A Constructor of C
Deconstructor of CDeconstructor of ADeconstructor of B