C++内存分析(三)

授权声明

    本文为Binhua Liu原创作品。本文允许复制，修改，传递。转载请注明出处。本文发表于2010年6月16日。

原文链接：http://www.cnblogs.com/Binhua-Liu/archive/2010/06/16/1759019.html 

 前言

    在第二节我们讲到从带虚函数的基类继承的子类，有一个虚函数指针在对象的最前端。但是，如果基类没有虚函数而子类有呢？阅读本节请思考下面的问题：没有虚函数的基类，会有虚函数指针和虚函数表吗？从该类继承的子类，内存中的元素如何布局。

 Subject3：从不带虚函数的基类继承的子类

    我们把上一节的CBasic类的2个虚函数删除，CFinal从CBasic类继承并增加新的虚函数AVG。类图如下：

class  CBasic {    public :        CBasic()        {            Array= new  int [2];        }        int  i;        int  *Array;       void  HelloWorld()       {           cout<< "hello world" <<endl;       } };   class  CFinal: public  CBasic { public :       virtual   int  AVG( int  a, int  b)        {            return  a+b/2;        }      int  iFinal; };

创建下面的对象

CBasic *b= new  CBasic; CFinal *f = new  CFinal; CBasic *b1=(CBasic *) f;

 

    我们还是可以用Watch窗口来观察对象中的元素的布局，但本章节不再详列分析过程。我们直接来看这种情况下对象的内存布局图：

 

    我们发现：观察CBasic类对象b，我们发现它没有虚函数指针；而CFinal类对象f有虚函数指针且位于对象地址的最前端；在CFinal类对象内存中，CBasic对象开始于紧接着虚函数指针后的地址；这意味着，当把CFinal类对象转换为CBasic类型时，对象指针指向的地址必须加上4个字节才能正确地指向CBasic对象。打印f和b1的值，我们发现，果然，b1=f+4。

 结论

    本章节比较简短，让我们做出结论：

    对于从没有虚函数的基类继承的带虚函数的子类：

    1）其基类对象没有虚函数指针和虚函数表

    2）子类的虚函数指针位于对象内存的最前端，子类中的基类对象开始于紧接虚函数指针后的位置。

    3）子类对象转换为基类类型时，需要进行指针调整，对象指针指向的地址加4个字节，跳过虚函数指针的位置；反之，把基类对象转换为子类对象时，指针地址减4.

    4）子类对象的成员变量存储在紧接着基类对象结束后的位置。