面试系列之C++的对象布局【建议收藏】

偏执的太偏执、 2022-11-27 03:29 191阅读 0赞

我们都知道C++多态是通过虚函数表来实现的，那具体是什么样的大家清楚吗？开篇依旧提出来几个问题：

*  普通类对象是什么布局？
 *  带虚函数的类对象是什么布局？
 *  单继承下不含有覆盖函数的类对象是什么布局？
 *  单继承下含有覆盖函数的类对象是什么布局？
 *  多继承下不含有覆盖函数的类对象是什么布局？
 *  多继承下含有覆盖函数的类对象的是什么布局？
 *  多继承中不同的继承顺序产生的类对象布局相同吗？
 *  虚继承的类对象是什么布局？
 *  菱形继承下类对象是什么布局？
 *  为什么要引入虚继承？
 *  为什么虚函数表中有两个析构函数？
 *  为什么构造函数不能是虚函数？
 *  为什么基类析构函数需要是虚函数？

要回答上述问题我们首先需要了解什么是多态。

#### 什么是多态？ ####

多态可以分为编译时多态和运行时多态。

*  编译时多态：基于模板和函数重载方式，在编译时就已经确定对象的行为，也称为静态绑定。
 *  运行时多态：面向对象的一大特色，通过继承方式使得程序在运行时才会确定相应调用的方法，也称为动态绑定，它的实现主要是依赖于传说中的虚函数表。

#### 如何查看对象的布局？ ####

在gcc中可以使用如下命令查看对象布局：

g++ -fdump-class-hierarchy model.cc后查看生成的文件

在clang中可以使用如下命令：

clang -Xclang -fdump-record-layouts -stdlib=libc++ -c model.cc

上面两种方式其实足够了，也可以使用gdb来查看内存布局，这里可以看文末相关参考资料。本文都是使用clang来查看的对象布局。

接下来让我们一起来探秘下各种继承条件下类对象的布局情况吧~

**普通类对象的布局**

如下代码：

struct Base {

输出如下：

*** Dumping AST Record Layout

画出图如下：

![image][]

从结果中可以看见，这个普通结构体Base的大小为8字节，a占4个字节，b占4个字节。

**带虚函数的类对象布局**

struct Base {

对象布局如下：

*** Dumping AST Record Layout

这个含有虚函数的结构体大小为16，在对象的头部，前8个字节是虚函数表的指针，指向虚函数的相应函数指针地址，a占4个字节，b占4个字节，总大小为16。

虚函数表布局：

Vtable for 'Base' (5 entries).

画出对象布局图如下：

![image][image 1]

我们来探秘下传说中的虚函数表：

**offset\_to\_top(0)**：表示当前这个虚函数表地址距离对象顶部地址的偏移量，因为对象的头部就是虚函数表的指针，所以偏移量为0。

**RTTI指针**：指向存储运行时类型信息(type\_info)的地址，用于运行时类型识别，用于typeid和dynamic\_cast。

RTTI下面就是虚函数表指针真正指向的地址啦，存储了类里面所有的虚函数，至于这里为什么会有两个析构函数，大家可以先关注对象的布局，最下面会介绍。

其实做为一个学习者，有一个学习的氛围跟一个交流圈子特别重要这里我推荐一个C/C++基础交流583650410，不管你是小白还是转行人士欢迎入驻，大家一起交流成长。

#### 单继承下不含有覆盖函数的类对象的布局 ####

struct Base {

子类对象布局：

*** Dumping AST Record Layout

和上面相同，这个含有虚函数的结构体大小为16，在对象的头部，前8个字节是虚函数表的指针，指向虚函数的相应函数指针地址，a占4个字节，b占4个字节，总大小为16。

子类虚函数表布局：

Vtable for 'Derive' (5 entries).

画图如下：

![image][image 2]

这个和上面也是相同的，注意下虚函数表这里的FuncB函数，还是Base类中的FuncB，因为在子类中没有重写这个函数，那么如果子类重写这个函数后对象布局是什么样的，请继续往下看哈。

#### 单继承下含有覆盖函数的类对象的布局 ####

struct Base {

子类对象布局：

*** Dumping AST Record Layout

依旧和上面相同，这个含有虚函数的结构体大小为16，在对象的头部，前8个字节是虚函数表的指针，指向虚函数的相应函数指针地址，a占4个字节，b占4个字节，总大小为16。

子类虚函数表布局：

Vtable for 'Derive' (5 entries).

![image][image 3]

注意这里虚函数表中的FuncB函数已经是Derive中的FuncB啦，因为在子类中重写了父类的这个函数。

再注意这里的RTTI中有了两项，表示Base和Derive的虚表地址是相同的，Base类里的虚函数和Derive类里的虚函数都在这个链条下，这里可以继续关注下面多继承的情况，看看有何不同。

#### 多继承下不含有覆盖函数的类对象的布局 ####

struct BaseA {

类对象布局：

*** Dumping AST Record Layout

Derive大小为32，注意这里有了两个虚表指针，因为Derive是多继承，一般情况下继承了几个带有虚函数的类，对象布局中就有几个虚表指针，并且子类也会继承基类的数据，**一般来说，不考虑内存对齐的话，子类（继承父类）的大小=子类（不继承父类）的大小+所有父类的大小**。

虚函数表布局：

Vtable for 'Derive' (10 entries).

可画出对象布局图如下：

![image][image 4]

**offset\_to\_top(0)**：表示当前这个虚函数表（BaseA，Derive）地址距离对象顶部地址的偏移量，因为对象的头部就是虚函数表的指针，所以偏移量为0。

再注意这里的**RTTI**中有了两项，表示BaseA和Derive的虚表地址是相同的，BaseA类里的虚函数和Derive类里的虚函数都在这个链条下，截至到offset\_to\_top(-16)之前都是BaseA和Derive的虚函数表。

**offset\_to\_top(-16)**：表示当前这个虚函数表（BaseB）地址距离对象顶部地址的偏移量，因为对象的头部就是虚函数表的指针，所以偏移量为-16，这里用于this指针偏移，下一小节会介绍。

注意下后面的这个RTTI：只有一项，表示BaseB的虚函数表，后面也有两个虚析构函数，为什么有四个Derive类的析构函数呢，又是怎么调用呢，请继续往下看~

#### 多继承下含有覆盖函数的类对象的布局 ####

struct BaseA {

对象布局：

*** Dumping AST Record Layout

类大小仍然是32，和上面一样。

虚函数表布局：

Vtable for 'Derive' (11 entries).

![image][image 5]

**offset\_to\_top(0)**：表示当前这个虚函数表（BaseA，Derive）地址距离对象顶部地址的偏移量，因为对象的头部就是虚函数表的指针，所以偏移量为0。

再注意这里的**RTTI**中有了两项，表示BaseA和Derive的虚表地址是相同的，BaseA类里的虚函数和Derive类里的虚函数都在这个链条下，截至到\*\*offset\_to\_top(-16)\*\*之前都是BaseA和Derive的虚函数表。

**offset\_to\_top(-16)**：表示当前这个虚函数表（BaseB）地址距离对象顶部地址的偏移量，因为对象的头部就是虚函数表的指针，所以偏移量为-16。当基类BaseB的引用或指针base实际接受的是Derive类型的对象，执行base->FuncC()时候，由于FuncC()已经被重写，而此时的this指针指向的是BaseB类型的对象，需要对this指针进行调整，就是**offset\_to\_top(-16)**，所以this指针向上调整了16字节，之后调用FuncC()，就调用到了被重写后Derive虚函数表中的FuncC()函数。这些带adjustment标记的函数都是需要进行指针调整的。至于上面所说的这里虚函数是怎么调用的，估计您也明白了吧~

#### 多重继承不同的继承顺序导致的类对象的布局相同吗？ ####

struct BaseA {

对象布局：

*** Dumping AST Record Layout

这里可见，对象布局和上面的不相同啦，BaseB的虚函数表指针和数据在上面，BaseA的虚函数表指针和数据在下面，以A，B的顺序继承，对象的布局就是A在上B在下，以B，A的顺序继承，对象的布局就是B在上A在下。

虚函数表布局：

Vtable for 'Derive' (11 entries).

对象布局图如下：

![image][image 6]

虚函数表的布局也有所不同，BaseB和Derive共用一个虚表地址，在整个虚表布局的上方，而布局的下半部分是BaseA的虚表，可见继承顺序不同，子类的虚表布局也有所不同。

#### 虚继承的布局 ####

struct Base {

对象布局：

*** Dumping AST Record Layout

虚继承下，这里的对象布局和普通单继承有所不同，普通单继承下子类和基类共用一个虚表地址，而在虚继承下，子类和虚基类分别有一个虚表地址的指针，两个指针大小总和为16，再加上a和b的大小8，为24。

虚函数表：

Vtable for 'Derive' (13 entries).

对象布局图如下：

![image][image 7]

**vbase\_offset(8)**：对象在对象布局中与指向虚基类虚函数表的指针地址的偏移量

**vcall\_offset(-8)**：当**虚基类**Base的引用或指针base实际接受的是Derive类型的对象，执行base->FuncB()时候，由于FuncB()已经被重写，而此时的this指针指向的是Base类型的对象，需要对this指针进行调整，就是vcall\_offset(-8)，所以this指针向上调整了8字节，之后调用FuncB()，就调用到了被重写后的FuncB()函数。

#### 虚继承带未覆盖函数的对象布局 ####

struct Base {

对象布局：

*** Dumping AST Record Layout

和上面虚继承情况下相同，普通单继承下子类和基类共用一个虚表地址，而在虚继承下，子类和虚基类分别有一个虚表地址的指针，两个指针大小总和为16，再加上a和b的大小8，为24。

虚函数表布局：

Vtable for 'Derive' (15 entries).

对象布局图如下：

![image][image 8]

**vbase\_offset(8)**：对象在对象布局中与指向虚基类虚函数表的指针地址的偏移量

**vcall\_offset(0)**：当Base的引用或指针base实际接受的是Derive类型的对象，执行base->FuncC()时候，由于FuncC()没有被重写，所以不需要对this指针进行调整，就是vcall\_offset(0)，之后调用FuncC()。

#### 菱形继承下类对象的布局 ####

struct Base {

类对象布局：

*** Dumping AST Record Layout

大小为48，这里不用做过多介绍啦，相信您已经知道了吧。

虚函数表：

Vtable for 'Derive' (20 entries).

对象布局图如下：

![image][image 9]

**vbase\_offset (32)**

**vbase\_offset (16)**：对象在对象布局中与指向虚基类虚函数表的指针地址的偏移量

**offset\_to\_top (0)**

**offset\_to\_top (-16)**

**offset\_to\_top (-32)**：指向虚函数表的地址与对象顶部地址的偏移量。

**vcall\_offset(-32)**：当**虚基类**Base的引用或指针base实际接受的是Derive类型的对象，执行base->FuncB()时候，由于FuncB()已经被重写，而此时的this指针指向的是Base类型的对象，需要对this指针进行调整，就是vcall\_offset(-32)，所以this指针向上调整了32字节，之后调用FuncB()，就调用到了被重写后的FuncB()函数。

#### 为什么要虚继承？ ####

如图：

![image][image 10]

非虚继承时，显然D会继承两次A，内部就会存储两份A的数据浪费空间，而且还有二义性，D调用A的方法时，由于有两个A，究竟时调用哪个A的方法呢，编译器也不知道，就会报错，所以有了虚继承，解决了空间浪费以及二义性问题。在虚拟继承下，只有一个共享的基类子对象被继承，而无论该基类在派生层次中出现多少次。共享的基类子对象被称为虚基类。在虚继承下，基类子对象的复制及由此而引起的二义性都被消除了。

#### 为什么虚函数表中有两个析构函数？ ####

前面的代码输出中我们可以看到虚函数表中有两个析构函数，一个标志为deleting，一个标志为complete，因为对象有两种构造方式，栈构造和堆构造，所以对应的实现上，对象也有两种析构方式，其中堆上对象的析构和栈上对象的析构不同之处在于，栈内存的析构不需要执行 delete 函数，会自动被回收。

#### 为什么构造函数不能是虚函数？ ####

构造函数就是为了在编译阶段确定对象的类型以及为对象分配空间，如果类中有虚函数，那就会在构造函数中初始化虚函数表，虚函数的执行却需要依赖虚函数表。如果构造函数是虚函数，那它就需要依赖虚函数表才可执行，而只有在构造函数中才会初始化虚函数表，鸡生蛋蛋生鸡的问题，很矛盾，所以构造函数不能是虚函数。

#### 为什么基类析构函数要是虚函数？ ####

一般基类的析构函数都要设置成虚函数，因为如果不设置成虚函数，在析构的过程中只会调用到基类的析构函数而不会调用到子类的析构函数，可能会产生内存泄漏。

#### 小总结 ####

**offset\_to\_top**：对象在对象布局中与对象顶部地址的偏移量。

**RTTI指针**：指向存储运行时类型信息(type\_info)的地址，用于运行时类型识别，用于typeid和dynamic\_cast。

**vbase\_offset**：对象在对象布局中与指向虚基类虚函数表的指针地址的偏移量。

**vcall\_offset**：父类引用或指针指向子类对象，调用被子类重写的方法时，用于对虚函数执行指针地址调整，方便成功调用被重写的方法。

**thunk**: 表示上面虚函数表中带有adjustment字段的函数调用需要先进行this指针调整，才可以调用到被子类重写的函数。

最后通过两张图总结一下对象在Linux中的布局：

A *a = new Derive(); // A为Derive的基类

如图：

![image][image 11]

a作为对象指针存储在栈中，指向在堆中的类A的实例内存，其中实例内存布局中有虚函数表指针，指针指向的虚函数表存放在数据段中，虚函数表中的各个函数指针指向的函数在代码段中。

![image][image 12]

虚表结构大体如上图，正常的虚表结构中都含有后三项，当有虚继承情况下会有前两个表项。

其实做为一个学习者，有一个学习的氛围跟一个交流圈子特别重要这里我推荐一个C/C++基础交流583650410，不管你是小白还是转行人士欢迎入驻，大家一起交流成长。  
![format_png][]  
![format_png 1][]

[image]: /images/20221124/e8c1c64aaf614a988adaaf70980b3ed4.png
[image 1]: /images/20221124/d7265bc1192341b2bb698933fd9df64c.png
[image 2]: /images/20221124/c3613994b1be4f1aae9fb83e563bed85.png
[image 3]: /images/20221124/1bedee36c14f4af38c42576642b0330b.png
[image 4]: /images/20221124/e6760d855027418485ad3b0215eee4fb.png
[image 5]: /images/20221124/47419ba48f40442fb86f7a3e65ead36f.png
[image 6]: /images/20221124/4c5b72187f274f23a0dafb6cfe14f951.png
[image 7]: /images/20221124/26ae60443d5c42fcace3340afc8d66e3.png
[image 8]: /images/20221124/c9b651553ea74e4b83ba3c97f2e605ba.png
[image 9]: /images/20221124/d5a7cbf860a64c5c86e07dd172d3f45d.png
[image 10]: /images/20221124/00d427fdf6294b27954f977e8798f4c1.png
[image 11]: /images/20221124/4007b9c0dc244418af5e406a021ce4f5.png
[image 12]: /images/20221124/cb922d1cea384fd892fb5f961d5adb49.png
[format_png]: /images/20221124/1c8670ed6fed425c817f24098ef190ee.png
[format_png 1]: /images/20221124/0a15e11dfb1a40818f8eea38a8727391.png