C++类的内存布局

最新推荐文章于 2024-08-29 14:30:33 发布

执假以为真

最新推荐文章于 2024-08-29 14:30:33 发布

阅读量1.6k

点赞数 2

分类专栏： # C++ General 文章标签： c++

原文链接：https://www.cnblogs.com/jerry19880126/p/3616999.html

版权

C++ General 专栏收录该内容

29 篇文章 2 订阅

订阅专栏

关于C++中类的内存布局，是比较基础而重要的一个内容。先转一篇老文章，因其使用了Visual Studio的特殊功能而能够写得很简单清晰，不过当时作者用的应该是32机器，故指针大小是4字节而不是8字节。
笔者手头没有Visual Studio，故转载之。也可以按陈皓早年的文章用打印地址的方式分析。不过因为本文的方式非常清晰易懂，故还是想转载下这篇。遇到与64位的不同处，本文会略作说明。
本文对原文略作了一些增删：增加了前2节，对第3节做了不少的删减合并与结构调整，不过基本保留了原图与代码。

原文地址：https://www.cnblogs.com/jerry19880126/p/3616999.html

1. 成员函数

成员函数的地址，在编译期确定，静态或动态地绑定在对象上。
非虚函数，是静态绑定的，可以通过this指针访问到其在代码段中的地址，故不需要在对象的内存中存储非虚函数的地址；
虚函数，是通过虚表动态绑定的，对象内存中有虚表地址，故也不需要在对象内存中保存虚函数地址。

2. 静态成员

无论是静态的成员变量或成员函数，都是整个类的属性，而不是单个对象特有的，因此不会在类的对象的内存留有它们的空间。

3. 类的内存布局

Visual Studio 中的 Debug 配置的“命令行”属性中，可添加 "/d1 reportAllClassLayout" 或 "/d1 reportSingleClassLayoutXXX", 则会打印所有类的或指定类的布局。
（注：以下图中分析皆基于32位机器，即指针大小为4字节的情况）

注：关于对象的内存布局，大致各编译器都差不多；但是关于虚表内部的结构，则大约会有一些不同。

3.1 无虚函数的基类与继承类

class Base
{
    int a;
    int b;
public:
    void CommonFunction();
};

class DerivedClass: public Base
{
    int c;
public:
    void DerivedCommonFunction();
};

内存布局图如下：

成员变量依据声明的顺序进行排列（类内偏移为0开始）。

注：在64位机器上，DerivedClass大小也是12，因为这里最大类型就是int，就按4字节对齐即可。

3.2 带虚函数的基类与继承类

class Base
{
    int a;
    int b;
public:
    void CommonFunction();
    void virtual VirtualFunction();
};

class DerivedClass: public Base
{
    int c;
public:
    void DerivedCommonFunction();
    void virtual VirtualFunction();
};

内存布局如下：

这个图中就多了一个虚表了。

在类的内存布局中，将虚表指针放在了内存的开始处（0地址偏移）。（这也很好理解，这样编译器最容易实现，找到虚表很容易）

注：
若是64位机器，则Base大小为16字节，因为虚表指针占8字节，而a和b刚好占8字节能够对齐；
但DerivedClass大小则为24字节，因为多出来的c需按8字节对齐。

下面把子类的代码改一下：继承基类的虚函数，加一个自己的虚函数。

class DerivedClass1 : public Base
{
    int c;
public:
    void DerivedCommonFunction();
    void virtual VirtualFunction2();
};

内存布局如下：

可以看到，在虚表中，现在有2个虚函数了：第1个是Base类的，第2个是自己的；而虚表指针还是只有那一个。

如果把子类改造成重写Base的虚函数，再另加一个自己的虚函数：

class DerivedClass1 : public Base
{
    int c;
public:
    void DerivedCommonFunction();
    void virtual VirtualFunction();
    void virtual VirtualFunction2();
};

内存布局如下：

3.3 钻石型普通多重继承

class Base
{
    int a;
    int b;
public:
    void CommonFunction();
    void virtual VirtualFunction();
};


class DerivedClass1: public Base
{
    int c;
public:
    void DerivedCommonFunction();
    void virtual VirtualFunction();
};

class DerivedClass2 : public Base
{
    int d;
public:
    void DerivedCommonFunction();
    void virtual VirtualFunction();
};

class DerivedDerivedClass : public DerivedClass1, public DerivedClass2
{
    int e;
public:
    void DerivedDerivedCommonFunction();
    void virtual VirtualFunction();
};

内存布局如下：

孙子类DerivedDerivedClass的内存布局如下：

注：

在64位机器上，DerivedClass1和DerivedClass2都是占24字节（按8对齐），因此，DerivedDerivedClass占48字节。

另：最后图中的-16，原文解释是“DerivedClass2中的{vfptr}在DerivedDerivedClass的内存偏移”，笔者猜测这里的意思是：从当前虚表回到对象首地址，offset是多少，那就是负值了。

由上五幅图可见，普通的这种钻石型继承，孙子类会简单地将2个基类排在自己的内存中，并没有做什么变化。

3.4 钻石型虚拟继承

class DerivedClass1: virtual public Base
{
    int c;
public:
    void DerivedCommonFunction();
    void virtual VirtualFunction();
};

class DerivedClass2 : virtual public Base
{
    int d;
public:
    void DerivedCommonFunction();
    void virtual VirtualFunction();
};

class DerivedDerivedClass :  public DerivedClass1, public DerivedClass2
{
    int e;
public:
    void DerivedDerivedCommonFunction();
    void virtual VirtualFunction();
};

注意：DerivedDerivedClass在继承2个父类的时候，没有用virtual关键字。

Base类没有变化，DerivedClass1类内存布局如图：