C++ vtordisp的应用场景分析-牛翰网

问题代码

#include <iostream>
using namespace std;
class base
{
public:
	base() {}
	virtual void show() { cout << "base:: show"<<endl; }
private:
	int ma;
};
class derive:virtual public base
{
public:
	derive() {}
	virtual void show() { cout << "derive:: show"; }
private:
	int mb;
};
int main()
{
	cout << sizeof(derive) << endl;
}

以上代码类大小常规来说应该是如下，占16个字节大小，但是为何是20呢
预期结构

class derive    size(16):
        +---
 0      | {vbptr}
 4      | mb
        +---
        +--- (virtual base base)
 8      | {vfptr}
12      | ma
        +---

实际结构，占大小20个字节

class derive    size(20):
        +---
 0      | {vbptr}
 4      | mb
        +---
8       | (vtordisp for vbase base)
        +--- (virtual base base)
12      | {vfptr}
16      | ma
        +---
derive::$vbtable@:
 0      | 0
 1      | 12 (derived(derive+0)base)
derive::$vftable@:
        | -12
 0      | &(vtordisp) derive::show
derive::show this adjustor: 12
vbi:       class  offset o.vbptr  o.vbte fVtorDisp
            base      12       0       4 1

经过验证必须满足以下两个条件

派生类重写了虚基类的虚函数。
派生类定义了构造函数或者析构函数。

才会产生vtordisp.

这就牵扯到vtordisp了，介绍如下

1. 基本概念回顾

在 C++ 中，当涉及虚继承时，为了确保在派生类对象中能正确定位虚基类的子对象（包含虚基类的数据成员、虚函数等内容），编译器会在派生类对象的内存布局中安排虚基类表指针等相关结构来记录偏移量信息，以实现准确访问虚基类部分。同时，对于有虚函数的类，会存在虚函数表（VTable）来支持多态调用。

而 vtordisp 主要用于处理虚继承和虚函数结合场景下，构造函数和析构函数中对虚基类指针调整的一种机制，它本质上是编译器为了正确处理对象的初始化和析构顺序、保证虚基类相关操作的正确性而引入的一个额外的字节（在 32 位系统下通常是 4 字节，64 位系统下通常是 8 字节）来存储偏移量相关信息。