思考virtual析构

Author:zfive5(zhaozidong)

Email:zfive5@yahoo.com.cn

最近同住的朋友忙着找工作，他C++的问题看了一堆，我也受其影响复习了一些C++知识, virtual析构听他说“点播率还挺高的”，所以拿来仔细研究，求个深解！

 

首先，定义3个类，注意了析构函数的virtual 说明

class ZF5_1

{

public:

         ZF5_1()

         {      

         }

 

         virtual ~ZF5_1()

         {

                  printf("Hello ZF5_1/r/n");

         }

};

 

class ZF5_2:public ZF5_1

{

public:

         ZF5_2()

         {

         };

         virtual ~ZF5_2()

         {

                  printf("Hello ZF5_2/r/n");

         };

};

class ZF5_3:public ZF5_2

{

public:

         ZF5_3()

         {

         };

         virtual ~ZF5_3()

         {

                  printf("Hello ZF5_3/r/n");

         };

};

 

然后执行代码：

         ZF5_1 *p5=new ZF5_3;

         delete p5;

 

 

1．如果都有virtual

输出：

Hello ZF5_3

Hello ZF5_2

Hello ZF5_1

 

 

2．如果都去掉virtual

输出：

Hello ZF5_1

 

 

3．如果只去掉ZF5_2的virtual

输出：

Hello ZF5_3

Hello ZF5_2

Hello ZF5_1

 

 

第一种情况

虽然delete是基类指针，但由于有virtual析构声明，所以delete调用的派生类的析构（派生类用自己的析构函数指针重写虚函数表），然后派生类析构完成后再调用直接基类析构（C++就是这样规定的，编译器隐含这个过程，通过看汇编代码，一切机理ok），这样一级级的调用,就出现了第一种输出！

 

第二种情况

由于没有virtual修饰，所以delete调用是默认的ZF5_1析构，出现第二种输出就理所当然了。

 

第三种情况

由于ZF5_1用virtual修饰，所以以后所有它的派生类用自己的析构函数指针重写虚函数表里的对应的位置，以至出现与第一种情况相同的结果！

     

有一种情况没有表达，就是如果定义如下：

virtual   ZF5_1

        ZF5_2

        ZF5_3

        ZF5_4

       

ZF5_2 *p1=new Z5_4;

delete p1;

 

输出：

Hello ZF5_4

Hello ZF5_3

Hello ZF5_2

Hello ZF5_1

 

这种情况在VC6下，只要有基类virtual声名，以后的派生类都自动加上virtual，不知道gcc和cb是怎样处理这种情况的！有机会验证一下，对了很有可能是C++标准规定，看来还得先去翻翻C++ Primer了。

 

 

附

ZF5_3析构完成后默认调用ZF5_2析构汇编代码：（VC6环境下）

52:        ~ZF5_3()

53:       {

004013E0   push        ebp

004013E1   mov         ebp,esp

004013E3   sub         esp,44h

004013E6   push        ebx

004013E7   push        esi

004013E8   push        edi

004013E9   push        ecx

004013EA   lea         edi,[ebp-44h]

004013ED   mov         ecx,11h

004013F2   mov         eax,0CCCCCCCCh

004013F7   rep stos    dword ptr [edi]

004013F9   pop         ecx

004013FA   mov         dword ptr [ebp-4],ecx

004013FD   mov         eax,dword ptr [ebp-4]

00401400   mov         dword ptr [eax],offset ZF5_3::`vftable' (00423044)

54:           printf("Hello ZF5_3/r/n");

00401406   push        offset string "Hello ZF5_3/r/n" (00424050)

0040140B   call        printf (00401e40)

00401410   add         esp,4

55:       };

00401413   mov         ecx,dword ptr [ebp-4]

00401416   call        @ILT+145(ZF5_2::~ZF5_2) (00401096)

0040141B   pop         edi

0040141C   pop         esi

0040141D   pop         ebx

0040141E   add         esp,44h

00401421   cmp         ebp,esp

00401423   call        __chkesp (00401e00)

00401428   mov         esp,ebp

0040142A   pop         ebp

0040142B   ret