析构函数的机密

请看如下一段代码：

class A {
public:
A () { pValue = new int[100]; printf("Constructor of A\n"); }
~A () { delete [] pValue; printf("Deconstructor of A\n"); }
private:
int * pValue;
};

class B {
public:
~B () { printf("Deconstructor of B\n"); }
};

class C : public B {
public:
~C () { printf("Deconstructor of C\n"); }
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\n"); }
};
class C : public B {
public:
virtual ~C () { printf("Deconstructor of C\n"); }
private:
A a;
};

再次运行，功效正确：

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