析构函数的奥秘

析构函数的奥秘2010-05-24王咏武请看如下一段代码：

class A {
public:
A （） { pValue = new int[100]; printf（"Constructor of A
"）; }
~A （） { delete [] pValue; printf（"Deconstructor of A
"）; }
private:
int * pValue;
}; 

class B {
public:
~B （） { printf（"Deconstructor of B
"）; }
};

class C : public B {
public:
~C （） { printf（"Deconstructor of C
"）; }
private:
A a;
};
int main（int argc, char* argv[]）
{
C c;
return 0;
}

类C从类B中继承出来，类C中聚合了一个类A的对象，类C的析构函数并未调用类A的析构函数，请问：这段代码执行后，会调用类A的析构函数释放内存吗？经测试，执行结果如下：

Constructor of A
Deconstructor of C
Deconstructor of A
Deconstructor 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 A
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
"）; }
};
class C : public B {
public:
virtual ~C （） { printf（"Deconstructor of C
"）; }
private:
A a;
};

再次运行，结果正确：

Constructor of A
Deconstructor of C
Deconstructor of A
Deconstructor of B