标签：style blog http color io os ar sp 数据
现在讨论第二种情况：
（2）有继承关系，单一继承，父类无虚析构函数,子类有（子类没有就没必要说了）
这种情况让我相当晕，照例先贴代码 ：
1 #include <iostream> 2 using namespace std; 3 4 class A 5 { 6 int ia; 7 public: 8 A ():ia(15) 9 { 10 } 11 ~A () 12 { 13 cout << "~A" << endl; 14 } 15 virtual void f() 16 { 17 cout << "A:f()" <<endl; 18 } 19 }; 20 21 class B : public A 22 { 23 int ib; 24 public : 25 B():ib(31){} 26 virtual ~B() 27 { 28 cout << "~B" << endl; 29 } 30 virtual void f() 31 { 32 cout << "B:f()" << endl; 33 } 34 35 }; 36 37 typedef void (*F)(); 38 39 int main() 40 { 41 42 F pf = NULL; 43 B *b = new B(); 44 int **p = (int **)b; 45 46 int flag = 0; 47 pf = (F)p[0][flag]; 48 pf(); 49 50 cout << "END"<<p[0][3] << endl; 51 cout << p[1] << endl; 52 cout << p[2] << endl; 53 54 cout << sizeof(A) << endl; 55 cout << sizeof(B) << endl; 56 }
输出如下：
flag = 0;
1 B:f() 2 END0 3 0xf 4 0x1f 5 8 6 12
flag = 1;
1 ~B 2 ~A 3 END4460356 4 0xf 5 0x1f 6 8 7 12
flag = 2;
~B ~A END1818846781 0x2c29a0 0x1f 8 12
分析：
flag=0时， B的虚函数f替代了B的虚函数f，打印输出B:f(),这个好理解。要注意的地方是，此时给flag=0,意味着，f在虚函数表的最前面，A没有虚析构函数。END后面的数也很正常。
flag=1时，输出为~B\n~A\n，从现象上来看，是先执行B的析构函数再执行A的析构函数，与常识相符。但END后面的数据与flag=0时的数据0不同，再加上B中的两个成员变量的值是对的，这个让我很难相信对象内存被释放。如果没有释放，END后面的数又很难解释。
flag=2时，输出为~B\n~A\n，成员变量输出已经算是乱码，至少说明内存被释放。ia是乱码，ib仍然是0x1f。从输出上来看，先后执行了B，A的析构函数，确认内存已被释放。由于ib仍是0x1f，我认为是内存没有更新的原因。
结论：与第一篇里说的那样，虚析构函数的第“二”个是释放内存用的，第一个仍然不知道干嘛的。其它的与文章最开始介绍的两个连接里说的一样，子类的虚函数会覆盖父类对应虚函数在虚函数表中的位置。
下面画个内存结构示意图：
A的内存结构请见第一篇文章，这里只画B的。
vptr是虚函数表的指针，图里的都好说，当然，这些全是根据现象猜的，目前来说没有去看权威资料的原因是为了真正理解，目前看自己能猜对多少。没人给我打分，怕毛。
注：类图可以用ArgoUML，内存图可以用win7自带的画图工具。
标签：style blog http color io os ar sp 数据
原文地址：http://www.cnblogs.com/boota/p/4043282.html
