C++ --- 继承结构下类对象的内存布局

JachinYang

于 2021-08-14 19:05:11 发布

阅读量515

点赞数 2

分类专栏： C++知识分享文章标签： c++

本文链接：https://blog.csdn.net/JachinYang/article/details/119703996

版权

C++知识分享专栏收录该内容

26 篇文章 0 订阅

订阅专栏

本文详细探讨了C++中的继承方式与虚函数对对象内存布局的影响。从普通继承（含/不含虚函数）到虚继承（含/不含虚函数）的四种情况，分析了内存分配、虚函数指针和虚基类指针的位置，揭示了抽象类、虚基类的概念及其作用。通过对sizeof运算符的运用，展示了不同继承方式下派生类对象的内存占用情况。

摘要由CSDN通过智能技术生成

首先，明确几个概念：

抽象类：含有纯虚函数的类叫做抽象类，抽象类不能实例化对象，但是可以定义指针或者引用变量，在实际开发中，我们一般把基类设计成抽象类；

虚基类：被虚继承的类叫做虚基类，也就是在继承方式前添加了virtual关键字；

virtual应用场景：

修饰成员方法，表明该方法是虚函数，含有虚函数的类会自动添加一个虚函数指针（vfptr）成员数据，vfptr指向虚函数表（vftable）。
修饰继承方式，如 class B : virtual public A，表示是虚继承，此时A成为虚基类；那么当我们用B生成对象的时候，该对象的内存布局里面会自动添加一个虚基类指针（vbptr）,vbptr指向虚基类表（vbtable）。

四种情况（针对派生类对象的内存布局）

普通继承（不含虚函数）

#include<iostream>

using namespace std;

class A
{
    public:
        void show() {cout << ma << endl;}
    private:
        int ma;
};
class B : public A
{
    public:
        void show() {cout << mb << endl;}
    private:
        int mb;
};
 
int main()
{

    cout << sizeof(A) << endl;    // 4
    cout << sizeof(B) << endl;    // 8

    return 0;
}

在这种普通继承（无虚函数）条件下，派生类对象内存布局里面先存储基类的成员变量，然后再存储派生类自己的成员变量，如下图所示：

普通继承（含虚函数）

#include<iostream>

using namespace std;

class A
{
    public:
        virtual void show() {cout << ma << endl;}
    private:
        int ma;
};
class B : public A
{
    public:
        void show() {cout << mb << endl;}
    private:
        int mb;
};
 
int main()
{

    cout << sizeof(A) << endl;    // 16   内存对齐
    cout << sizeof(B) << endl;    // 16

    return 0;
}

在这种普通继承（含有虚函数）条件下，由于基类存在虚函数，所以基类存在虚函数指针；派生类重写了基类虚函数，此时在派生类中该方法也是虚函数，因此派生类也存在虚函数指针，我们根据sizeof()可以观察出来（注意：class和struct一样存在内存对齐问题）。；所以在派生类对象内存布局中，先存储一个虚函数指针，然后存储派生类从基类继承过来的成员变量，最后存储派生类自己的成员变量，内存布局如下图所示：

虚继承（不含虚函数）

#include<iostream>

using namespace std;

class A
{
    public:
        void show() {cout << ma << endl;}
    private:
        int ma;
};
class B : virtual public A
{
    public:
        void show() {cout << mb << endl;}
    private:
        int mb;
};
 
int main()
{

    cout << sizeof(A) << endl;    // 4
    cout << sizeof(B) << endl;    // 16

    return 0;
}

在这种虚继承（基类无虚函数）环境下，由于派生类采用虚继承方式，所以在派生类中会产生一个虚基类指针，指向虚基类表（vbptr -> vbtable），通过sizeof（）我们也可以看出；对于这种情况，派生类内存布局中，首先会存放vbptr，然后存放派生类自己的成员变量，最后再存放基类的成员变量，如下图所示：

虚继承（含虚函数）

#include<iostream>

using namespace std;

class A
{
    public:
        virtual void show() {cout << ma << endl;}
    private:
        int ma;
};
class B : virtual public A
{
    public:
        void show() {cout << mb << endl;}
    private:
        int mb;
};
 
int main()
{

    cout << sizeof(A) << endl;    // 16
    cout << sizeof(B) << endl;    // 32

    return 0;
}

在这种情况下，虚继承并且基类有虚函数，我们通过输出可以看到B类的大小是32；在B类的对象内存布局中，首先存储虚基类指针（占8个字节），然后存放B自己的成员变量mb(占4个字节)，由于内存对齐要再补充4个字节，然后存放从基类继承来的成员变量，首先是虚函数指针（vfptr，占8个字节），然后是ma（占4个字节），再一次内存对齐补4个字节，所以总共：8+4+4+8+4+4=32个字节，如下图所示：