前言

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

C++对象的内存分析(3)_继承 Subject3:从不带虚函数的基类继承的子类

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

C++对象的内存分析(3)_如何_02
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窗口来观察对象中的元素的布局,但本章节不再详列分析过程。我们直接来看这种情况下对象的内存布局图:

 

C++对象的内存分析(3)_元素_03

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

C++对象的内存分析(3)_继承 结论

    本章节比较简短,让我们做出结论:

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

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

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

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

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