悲剧是如何发生的

刚看到坛友们，这段代码会内存泄露？这贴，感觉很有讨论价值。

关于类的虚析构函数，举个比较极端的真实的例子：
新手MM写了段程序，如下：

#include "stdafx.h"

class I {

public:

	virtual void v() = 0;

};

class B {

public:

	B(){}

	~B(){}

	int m_var;

};

class C : public B, public I {

public:

	C(){}

	~C(){}

	int m_var;

	//implement interface I

	virtual void v(){}

};

int main(int argc, char* argv[])

{

	I* pi = new C;

	delete pi;

	return 0;

}

运行结果一切正常，但是被上司痛批了一顿，原因是基类B和派生类C的构函数不是虚的。
新手MM还不太明白，于是上司给她的析构函数加上了virtual关键字如下：

#include "stdafx.h"

class I {

public:

	virtual void v() = 0;

};

class B {

public:

	B(){}

	virtual ~B(){}

	int m_var;

};

class C : public B, public I {

public:

	C(){}

	virtual ~C(){}

	int m_var;

	//implement interface I

	virtual void v(){}

};

int main(int argc, char* argv[])

{

	I* pi = new C;

	delete pi;

	return 0;

}

一运行结果出错了，悲剧是如何发生的呢？
在main函数中添加调试信息，打印出各指针，结果一目了然：

int main(int argc, char* argv[])

{

	C* pc = new C;

	B* pb = pc;

	I* pi = pc;

	printf("addr(I)=%p, addr(B)=%p, addr(C)=%p\n", pi, pb, pc);

	printf("addr(B.var)=%p, addr(C.var)=%p", &pb->m_var, &pc->m_var);

	delete pi;

	return 0;

}

对于无虚析构函数时，输出如下：
addr(I)=00372960, addr(B)=00372964, addr(C)=00372960
addr(B.var)=00372964, addr(C.var)=00372968
接口I等于类C

添加了虚析构函数后，输出如下：
addr(I)=00372968, addr(B)=00372960, addr(C)=00372960
addr(B.var)=00372964, addr(C.var)=0037296C
接口I不等于类C

结论：
新手MM的程序固然写得漏洞百出，但是编译器会尽最大的可能拯救她，而自作聪明的人由于只记住虚析构而忘记调整B和I的继承前后次序，于是悲剧发生了……