C++对象模型解析与内存布局-CSDN博客

本文链接：https://blog.csdn.net/CorCplusplusorjava/article/details/49027281

本文详细探讨了C++对象模型，包括简单模型、单继承、多继承以及钻石型继承关系。从概述到具体实例，分析了不同情况下对象内存布局、虚函数表和类型信息的存储方式，并通过验证模型的代码示例来辅助理解。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1、简单模型

1.1、概述

C++类中有两种数据成员：static、nonstatic；三种成员函数：static、nonstatic、virtual。它们在内存中的布局方式和访问方式是不同的。像nonstatic对象是在类对象内存储，虚函数是通过一个虚表指针指向一个虚表再通过虚表查找。静态和非静态函数都在对象之外存储。

1.2、对象模型图例

定义一个C++类：
这里写图片描述

class Base
{
public:
    Base(int);
    virtual ~Base(void);
    virtual void base_print() const;

    static void baseStaticFunc();
    void baseNonStaticFunc();

protected:
    int iBase;
    static int iSatic;
};

Base类中各种成员如下图方式存储、访问：
这里写图片描述
不同编译存储各个成员可能有所差异，这是在Windows+VS2012中的布局。
可以看出Base对象中第一项是虚表指针，这个指针指向一张虚表，虚表中存储的是Base类各个虚函数的存储地址。在紧邻虚表的前一个位置是一个typeinfoPtr指针，它指向的是Base类的type_info信息。Base类的静态和非静态成员函数，静态成员数据在Base对象外存储。

1.3、验证模型

以下代码验证1.2图中模型：

void Base_Model()
{
    cout << "********************Base b Model********************" << endl;
    Base b(3);
    cout << "对象b的内存地址 &b = " << &b << endl;
    cout << "对象b中第一项 _vptr Base 虚表指针的值也即虚表首地址 = " << hex << *(int*)(&b) << endl;
    cout << "对象b中第二项 int Base::iBase的值 = " << hex << *((int*)(&b) + 1) << endl;

    cout << "虚函数表中第一个slot的值也即虚函数Base::~Base()的入口地址 = " << hex << *(int*)(*(int*)(&b)) << endl;
    cout << "虚函数表中第二个slot的值也即虚函数Base::base_print()的入口地址 = " << hex << *((int*)(*(int*)(&b)) + 1) << endl;

    pFun pBasePrint = (pFun)(*((int*)(*(int*)(&b)) + 1));       
    pBasePrint();   //注意这里输出是不一样的，这个调用仅仅是调用那段代码但是里面的iBase值不确定，因为iBase在Base对象中
    b.base_print();

    cout << "typeinfoPtr指针的存储位置 = " << ((*(int*)(&b)) - 1) << endl;
    cout << "typeinfoPtr指针的值也即Base's type_info的首地址 = " << hex << *((int*)(*(int*)(&b)) - 1) << endl;

//  cout << hex << Base::baseStaticFunc << endl;
//  cout << hex << Base::baseStaticFunc2 << endl;
//  cout << hex << &Base::baseNonStaticFunc << endl;
//  typedef void (Base::*pmf)();
//  pmf pt = &Base::baseNonStaticFunc;
//  cout << hex << pt << endl;
}

运行结果：
这里写图片描述

2、对象模型with单继承

2.1、无重写单继承

无重写指的是派生类没有重写基类的虚函数。定义一个Base的派生类(除析构函数外无重写)：
这里写图片描述

class Derived : public Base
{
public:
    Derived(int);
    virtual ~Derived(void);
    virtual void derived_print(void);

protected:
    int iDerived;
};

则派生类Derived及对象的布局方式如下图：
这里写图片描述
可以看到父类的虚函数放在了虚函数表的前面，后面放的是子类新加入的虚函数，子类的虚析构函数覆盖了父类的虚析构函数。
验证模型：

void DerivedInheritBase()
{
    cout << "********************Derived d Model********************" << endl;
    Derived d(6);
    cout << "对象d的内存地址 &d = " << &d << endl;
    cout << "对象d中第一项 _vptr Derived 虚表指针的值也即虚表首地址 = " << hex << *(int*)(&d) << endl;
    cout << "对象d中第二项 int Base::iBase的值 = " << hex << *((int*)(&d) + 1) << endl;
    cout << "对象d中第三项 int Derived::iDerived的值 = " << hex << *((int*)(&d) + 2) << endl;

    cout << "虚函数表中第一个slot的值也即虚函数Derived::~Derived()的入口地址 = " << hex << *(int*)(*(int*)(&d)) << endl;
    cout << "虚函数表中第二个slot的值也即虚函数Base::base_print()的入口地址 = " << hex << *((int*)(*(int*)(&d)) + 1) << endl;
    cout << "虚函数表中第二个slot的值也即虚函数Derived::derived_print()的入口地址 = " << hex << *((int*)(*(int*)(&d)) + 2) << endl;

    pFun pBasePrint = (pFun)(*((int*)(*(int*)(&d)) + 1));       
    pBasePrint();   
    d.base_print();
    pFun pDerivdPrint = (pFun)(*((int*)(*(int*)(&d)) + 2));
    pDerivdPrint();
    d.derived_print();

    cout << "typeinfoPtr指针的存储位置 = " << ((*(int*)(&d)) - 1) << endl;
    cout << "typeinfoPtr指针的值也即Derived's type_info的首地址 = " << hex << *((int*)(*(int*)(&d)) - 1) << endl;
}

运行结果：
这里写图片描述

2.2、有重写单继承

有重写指的是派生类重写了基类的虚函数。定义一个Base的派生类带有重写(非析构函数):
这里写图片描述

class DerivedWithOverride : public Base
{
public:
    DerivedWithOverride(int i);
    virtual ~DerivedWithOverride(void);

    virtual void derivedWithOverride_print() const;
    virtual void base_print() const;

protected:
    int iDWO;
};

则派生类DerivedWithOverride及对象的布局方式如下图：
这里写图片描述
可以看出子类重写了父类的base_print()函数。
验证模型：

void DerivedOverrideInheritBase()
{
    cout << "********************DerivedWithOverride dow Model********************" << endl;
    DerivedWithOverride dow(9);
    cout << "对象dow的内存地址 &dow = " << &dow << endl;
    cout << "对象dow中第一项 _vptr DerivedWithOverride 虚表指针的值也即虚表首地址 = " << hex << *(int*)(&dow) << endl;
    cout << "对象dow中第二项 int Base::iBase的值 = " << hex << *((int*)(&dow) + 1) << endl;
    cout << "对象dow中第三项 int DerivedWithOverride::iDWO的值 = " << hex << *((int*)(&dow) + 2) << endl;

    cout << "虚函数表中第一个slot的值也即虚函数DerivedWithOverride::~DerivedWithOverride()的入口地址 = " << hex << *(int*)(*(int*)(&dow)) << endl;
    cout << "虚函数表中第二个slot的值也即虚函数DerivedWithOverride::base_print()的入口地址 = " << hex << *((int*)(*(int*)(&dow)) + 1) << endl;
    cout << "虚函数表中第三个slot的值也即虚函数DerivedWithOverride::DerivedWithOverride()的入口地址 = " << hex << *((int*)(*(int*)(&dow)) + 2) << endl;

    pFun pBasePrint = (pFun)(*((int*)(*(int*)(&dow)) + 1));     
    pBasePrint();   
    dow.base_print();
    pFun pDerivdPrint = (pFun)(*((int*)(*(int*)(&dow)) + 2));
    pDerivdPrint();
    dow.derivedWithOverride_print();

    cout << "typeinfoPtr指针的存储位置 = " << ((*(int*)(&dow)) - 1) << endl;
    cout << "typeinfoPtr指针的值也即DerivedWithOverride's type_info的首地址 = " << hex << *((int*)(*(int*)(&dow)) - 1) << endl;
}

运行结果：
这里写图片描述

2.3、虚继承

虚基类是为了解决多重继承中多个间接父类的情况，因此不能使用以上的方法。虚继承的派生类和普通继承派生类的内存结构有很大差异，虚继承的子类有自己的虚函数表，同时也保存了父类的虚函数表，子类数据和父类数据中间用一个分隔符作为分界线。(若派生类没有自己的虚函数，那么派生类就没有虚函数表)
定义一个派生类虚继承自Base类：
这里写图片描述

class DerivedVirtual_1 : virtual public Base
{
public:
    DerivedVirtual_1(int i);
    virtual ~DerivedVirtual_1(void);

    virtual void base_print() const;
    virtual void derivedVirtual_1_print() const;
protected:
    int iDV_1;
};

则派生类DerivedVirtual_1 及对象的布局方式如下图：
这里写图片描述
可以看到，子类的虚函数表指针及数据成员在基类的前面，子类父类之间用分隔符0隔开，子类重写的父类虚函数放在父类虚函数表中。
验证模型：

void DerivedVirtualInheritBase()
{
    cout << "********************DerivedVirtual_1 dv1 Model********************" << endl;
    DerivedVirtual_1 dv1(12);
    cout << "对象dv1的内存地址 &dow = " << &dv1 << endl;
    cout << "对象dv1中第一项 _vptr DerivedVirtual_1 虚表指针的值也即子类虚表首地址 = " << hex << *(int*)(&dv1) << endl;
    cout << "对象dv1中第二项 Ptr 所指内存中的值 = " << dec << *(int*)(*((int*)(&dv1) + 1)) << endl;
    cout << "对象dv1中第三项 int DerivedVirtual_1::iDV_1的值 = " << dec << *((int*)(&dv1) + 2) << endl;
    cout << "对象dv1中第四项 分隔符 0 的值 = " << dec << *((int*)(&dv1) + 3) << endl;

    cout << "子类虚函数表中第一个slot的值也即虚函数DerivedVirtual_1::derivedVirtual_1_print()的入口地址 = " << hex << *(int*)(*(int*)(&dv1)) << endl;

    pFun pDerivedVirtual1Print = (pFun)(*(int*)(*(int*)(&dv1)));        
    pDerivedVirtual1Print();   
    dv1.derivedVirtual_1_print();

    cout << "子类typeinfoPtr指针的存储位置 = " << (*(int*)(&dv1) - 1) << endl;
    cout << "子类typeinfoPtr指针的值也即DerivedVirtual_1's type_info的首地址 = " << hex << *((int*)(*(int*)(&dv1) - 1)) << endl;

    cout << "对象dv1中第五项 _vptr Base 虚表指针的值也即父类虚表首地址 = " << hex << *((int*)(&dv1) + 4) << endl;
    cout << "对象dv1中第六项 int Base::iBase 的值 = " << dec << *((int*)(&dv1) + 5) << endl;

    cout << "父类虚函数表中第一个slot的值也即虚函数DerivedVirtual_1::~DerivedVirtual_1()的入口地址 = " << hex << *(int*)(*((int*)(&dv1) + 4)) << endl;
    cout << "父类虚函数表中第二个slot的值也即虚函数DerivedVirtual_1::base_print()的入口地址 = " << hex << *((int*)(*((int*)(&dv1) + 4)) + 1) << endl;

    pFun pBasePrint = (pFun)(*((int*)(*((int*)(&dv1) + 4)) + 1));       
    pBasePrint();   
    dv1.base_print();
}

运行结果：
这里写图片描述

特例：
(1)Base的派生类DerivedVirtual_1既没有自己的虚函数也没有自己的成员数据，则DerivedVirtual_1的内存布局：
这里写图片描述
测试代码如下：

void DerivedVirtualInheritBase_noNewData() 
{
    cout << "********************DeriveDVirtual_1_noData dv1n Model********************" << endl;
    DeriveDVirtual_1_noData dv1n;

    cout << "分隔符的值 = " << dec << *(int*)(*((int*)(&dv1n))) << endl;
    cout << "父类虚函数表中第二个slot的值也即虚函数Base::base_print()的入口地址 = " << dec << *((int*)(*((int*)(&dv1n) + 1)) + 1) << endl;
    pFun pBasePrint = (pFun)(*((int*)(*((int*)(&dv1n) + 1)) + 1));      
    pBasePrint();   
    dv1n.base_print();
}

(2)Base的派生类DerivedVirtual_1有自己的虚函数，没有自己的成员数据，则DerivedVirtual_1的内存布局：
这里写图片描述
测试代码如下：

//虚继承中子类有自己的虚函数,没有新的成员数据
void DerivedVirtualInheritBase_noNewData()
{
    cout << "********************DeriveDVirtual_1_noData dv1n Model********************" << endl;
    DeriveDVirtual_1_noData dv1n;

    cout << "子类虚函数表中第一个slot的值也即虚函数DeriveDVirtual_1_noData::deriveDVirtual_1_noData_print()的入口地址 = " 
        << hex << *(int*)(*(int*)(&dv1n)) << endl;

    pFun pDerivedVirtual1Print = (pFun)(*(int*)(*(int*)(&dv1n)));       
    pDerivedVirtual1Print();   
    dv1n.deriveDVirtual_1_noData_print();

    cout << "ptr 所执行的值 = " << dec << *(int*)(*((int*)(&dv1n) + 1)) << endl;
    //cout << "分隔符的值 = " << dec << *((int*)(&dv1n) + 2) << endl;  //派生类没有数据就不需要分隔符了

    cout << "父类虚函数表中第二个slot的值也即虚函数Base::base_print()的入口地址 = " 
        << dec << *((int*)(*((int*)(&dv1n) + 2)) + 1) << endl;
    pFun pBasePrint = (pFun)(*((int*)(*((int*)(&dv1n) + 2)) + 1));      
    pBasePrint();   
    dv1n.base_print();
}

(3)Base的派生类DerivedVirtual_1没有自己的虚函数，有自己的成员数据，则DerivedVirtual_1的内存布局：(对这个不甚理解，但是Windows下在VS2012验证确实是这样！)
这里写图片描述
测试代码如下：

//虚继承中子类没有自己的虚函数，有新的成员数据
void DerivedVirtualInheritBase_noNewData()
{
    cout << "********************DeriveDVirtual_1_noData dv1n Model********************" << endl;
    DeriveDVirtual_1_noData dv1n;

    cout << *(int*)(*(int*)(&dv1n)) << endl;
    cout << "iDV_1的值 = " << dec << *((int*)(&dv1n) + 1) << endl;  

    cout << "父类虚函数表中第二个slot的值也即虚函数Base::base_print()的入口地址 = " 
        << hex << *((int*)(*((int*)(&dv1n) + 2)) + 1) << endl;
    pFun pBasePrint = (pFun)(*((int*)(*((int*)(&dv1n) + 2)) + 1));      
    pBasePrint();   
    dv1n.base_print();

    cout << "Base::iBase值 = " << dec << *((int*)(&dv1n) + 3) << endl;  
}

3、对象模型with多继承

再定义一个基类：
这里写图片描述

class Base_2
{
public:
    Base_2(int i);
    virtual ~Base_2(void);
    virtual void base_print() const;

protected:
    int iBase_2;
};

定义一个派生类继承自Base, Base_2
这里写图片描述

class DerivedMulti : public Base, public Base_2
{
public:
    DerivedMulti(int i);
    virtual ~DerivedMulti(void);

    virtual void base_print() const;  //重写父类的print
    virtual void derivedMulti_print() const; //自己的print

protected:
    int iDM;
};

则派生类DerivedMulti 及对象的布局方式如下图：
这里写图片描述
可以看出DerivedMulti对象中先放第一个基类Base的虚表指针和数据然后是第二个基类的虚表指针和数据，最后是子类的成员数据。子类的虚函数放在了第一个基类的虚表中，放在基类虚函数后面。基类在DerivedMulti对象中的存放顺序是按照声明时public Base, public Base_2顺序决定的。
模型验证：

void DerivedMultiInheritBases()
{
    cout << "********************DeriveDVirtual_1_noData dv1n Model********************" << endl;
    DerivedMulti dm(18);
    cout << "对象dm的内存地址 &dm = " << &dm << endl;
    cout << "对象dm中第一项 _vptr Base 虚表指针的值也即第一个基类虚表首地址 = " << hex << *(int*)(&dm) << endl;
    cout << "对象dm中第二项 int Base::iBase值 = " << dec << *((int*)(&dm) + 1) << endl;
    cout << "对象dm中第三项 _vptr Base_2 虚表指针的值也即第二个基类虚表首地址 = " << hex << *((int*)(&dm) + 2) << endl;
    cout << "对象dm中第四项 int Base_2::iBase_2值 = " << dec << *((int*)(&dm) + 3) << endl;
    cout << "对象dm中第四项 int DerivedMulti::iDM值 = " << dec << *((int*)(&dm) + 4) << endl;

    cout << "第一个基类Base的typeinfoPtr指针的存储位置 = " << hex << (*(int*)(&dm) - 1) << endl;
    cout << "第一个基类Base的typeinfoPtr指针的值也即Base's type_info的首地址 = " << hex << *((int*)(*(int*)(&dm) - 1)) << endl;

    cout << "第一个基类Base的虚函数表中第一个slot的值也即虚函数DerivedMulti::~DerivedMulti()的入口地址 = " << hex << *(int*)(*(int*)(&dm)) << endl;
    cout << "第一个基类Base的虚函数表中第二个slot的值也即虚函数DerivedMulti::base_print()的入口地址 = " << hex << *((int*)(*(int*)(&dm))+1) << endl;
    pFun pDerivedMultiBasePrint = (pFun)(*((int*)(*(int*)(&dm)) + 1));      
    pDerivedMultiBasePrint();   
    dm.base_print();
    cout << "第一个基类Base的虚函数表中第三个slot的值也即虚函数DerivedMulti::derivedMulti_print()的入口地址 = " << hex << *((int*)(*(int*)(&dm))+2) << endl;
    pFun pDerivedMultiPrint = (pFun)(*((int*)(*(int*)(&dm)) + 2));      
    pDerivedMultiPrint();   
    dm.derivedMulti_print();

    cout << "第二个基类Base_2的typeinfoPtr指针的存储位置 = " << hex << (*((int*)(&dm) + 2) - 1) << endl;
    cout << "第二个基类Base_2的typeinfoPtr指针的值也即Base_2's type_info的首地址 = " << hex << *((int*)(*((int*)(&dm) + 2) - 1)) << endl;

    cout << "第二个基类Base_2的虚函数表中第一个slot的值也即虚函数DerivedMulti::~DerivedMulti()的入口地址 = " << hex << *(int*)(*((int*)(&dm) + 2)) << endl;
    cout << "第二个基类Base_2的虚函数表中第二个slot的值也即虚函数DerivedMulti::base_print()的入口地址 = " << hex << *((int*)(*((int*)(&dm) + 2))+1) << endl;
    pFun pDerivedMultiBase2Print = (pFun)(*((int*)(*((int*)(&dm) + 2))+1));     
    pDerivedMultiBase2Print();   
    dm.base_print();
}

运行结果：
这里写图片描述

4、钻石型继承关系

这里写图片描述
DerivedVirtual_2类：

class DerivedVirtual_2 : virtual public Base
{
public:
    DerivedVirtual_2(int i);
    virtual ~DerivedVirtual_2(void);

    virtual void base_print() const;
    virtual void derivedVirtual_2_print() const;
protected:
    int iDV_2;
};

DeriveDVirtualDiamond类：

class DerivdeVirtualDiamond : public DerivedVirtual_1, public DerivedVirtual_2
{
public:
    DerivdeVirtualDiamond(int i);
    virtual ~DerivdeVirtualDiamond(void);

    virtual void base_print() const;
    virtual void derivedVirtual_1_print() const;
    virtual void derivedVirtualDiamond_print() const;

protected:
    int iDVD;
};

DeriveDVirtualDiamond类及对象内存布局方式：
这里写图片描述
如图所示先存放直接父基类DerivedVirtual_1的数据(先声明)，然后是DerivedVirtual_2，再是DerivedVirtualDiamond本身的，然后使用分隔符0分割最后存放虚基类的。注意，DerivedDiamod::~DerivedVirtualDiamond(), DerivedDiamod::base_print()放在_vptr Base的虚表中。
验证模型：

void DerivedVirtualDiamondInherit()
{
    cout << "********************DerivedVirtualDiamond dvd Model********************" << endl;
    DerivdeVirtualDiamond dvd(21);
    cout << "对象dvd的内存地址 &dm = " << &dvd << endl;
    cout << "对象dvd中第一项 _vptr DerivedVirtual_1 虚表指针的值也即DerivedVirtual_1虚表首地址 = " << hex << *(int*)(&dvd) << endl;
    cout << "对象dvd中第二项 Ptr所指内存中的值 = " << dec << *(int*)(*((int*)(&dvd) + 1)) << endl;
    cout << "对象dvd中第三项 int DerivedVirtual_1::iDV_1的值 = " << dec << *((int*)(&dvd) + 2) << endl;

    cout << "对象dvd中第四项 _vptr DerivedVirtual_2 虚表指针的值也即DerivedVirtual_2虚表首地址 = " << hex << *((int*)(&dvd) +3)<< endl;
    cout << "对象dvd中第五项 Ptr所指内存中的值 = " << dec << *(int*)(*((int*)(&dvd) + 4)) << endl;
    cout << "对象dvd中第六项 int DerivedVirtual_2::iDV_2的值 = " << dec << *((int*)(&dvd) + 5) << endl;

    cout << "对象dvd中第七项 int DerivdeVirtualDiamond::iDVD的值 = " << dec << *((int*)(&dvd) + 6) << endl;

    cout << "对象dvd中第八项分隔符 0 的值 = " << dec << *((int*)(&dvd) + 7) << endl;

    cout << "对象dvd中第九项 _vptr Base 虚表指针的值也即Base虚表首地址 = " << hex << *((int*)(&dvd) + 8)<< endl;
    cout << "对象dvd中第十项 int Base::iBasee的值 = " << dec << *((int*)(&dvd) + 9)<< endl;

    cout << "基类DerivedVirtual_1的typeinfoPtr指针的存储位置 = " << hex << (*(int*)(&dvd) - 1) << endl;
    cout << "基类DerivedVirtual_1的typeinfoPtr指针的值也即DerivedVirtual_1's type_info的首地址 = " << hex << *((int*)(*(int*)(&dvd) - 1)) << endl;
    cout << "基类DerivedVirtual_1的虚函数表中第一个slot的值也即虚函数DerivdeVirtualDiamond::derivedVirtual_1_print()的入口地址 = " << hex << *(int*)(*(int*)(&dvd)) << endl;
    pFun pDerivedMultiVirtual1Print = (pFun)(*((int*)(*(int*)(&dvd))));     
    pDerivedMultiVirtual1Print();   
    dvd.derivedVirtual_1_print();
    cout << "基类DerivedVirtual_1的虚函数表中第二个slot的值也即虚函数DerivdeVirtualDiamond::derivedVirtualDiamond_print()的入口地址 = " << hex << *((int*)(*(int*)(&dvd))+1) << endl;
    pFun pDerivedMultiDiamondPrint = (pFun)(*((int*)(*(int*)(&dvd)) + 1));      
    pDerivedMultiDiamondPrint();   
    dvd.derivedVirtualDiamond_print();

    cout << "基类DerivedVirtual_2的typeinfoPtr指针的存储位置 = " << hex << ((int*)(*((int*)(&dvd) +3)) - 1) << endl;
    cout << "基类DerivedVirtual_2的typeinfoPtr指针的值也即DerivedVirtual_2's type_info的首地址 = " << hex << *((int*)(*((int*)(&dvd) +3)) - 1) << endl;
    cout << "基类DerivedVirtual_2的虚函数表中第一个slot的值也即虚函数DerivedVirtual_2::derivedVirtual_2_print()的入口地址 = " << hex << *(int*)(*((int*)(&dvd) + 3)) << endl;
    pFun pDerivedMultiVirtual2Print = (pFun)(*(int*)(*((int*)(&dvd) + 3)));     
    pDerivedMultiVirtual2Print();   
    dvd.derivedVirtual_2_print();

    cout << "基类Base的typeinfoPtr指针的存储位置 = " << hex << ((int*)(*((int*)(&dvd) + 8)) - 1) << endl;
    cout << "基类Base的typeinfoPtr指针的值也即Base's type_info的首地址 = " << hex << *((int*)(*((int*)(&dvd) + 8)) - 1) << endl;
    cout << "基类Base的虚函数表中第一个slot的值也即虚函数DerivdeVirtualDiamond::~DerivdeVirtualDiamond()的入口地址 = " << hex << *(int*)(*((int*)(&dvd) + 8)) << endl;
    cout << "基类Base的虚函数表中第二个slot的值也即虚函数DerivdeVirtualDiamond::base_print()的入口地址 = " << hex << *((int*)(*((int*)(&dvd) + 8)) + 1) << endl;
    pFun pDerivedBasePrint = (pFun)(*((int*)(*((int*)(&dvd) + 8)) + 1));        
    pDerivedBasePrint();   
    dvd.base_print();
}