C++虚指针大小随类成员变化的计算异常问题咨询

这其实是内存对齐规则和C++对象内存布局共同作用的结果，咱们一步步拆解来看（以cpp.sh使用的64位GCC编译器为例）：

先明确几个关键前提 #

• 64位系统下，虚表指针（vptr）的大小是8字节，内存对齐要求也是8字节；32位系统下则是4字节。
• int类型的大小为4字节，对齐要求4字节。
• 空类大小为1字节（编译器为了区分不同对象的唯一地址，会自动添加一个占位字节），但当结构体包含非静态数据成员时，这个1字节占位会被成员覆盖，不再额外占用空间。

1. 去掉data成员的测试结果（差值为7） #

此时两个结构体的定义是：

struct virtual_base { virtual ~virtual_base() {} }; 
struct non_virtual_base {}; 

• non_virtual_base是空类，大小为1字节；
• virtual_base因为包含虚函数，会生成一个虚表指针（8字节），且由于内存对齐要求，结构体大小必须是8的倍数，因此sizeof(virtual_base)=8；
• 差值计算：8 - 1 = 7，和你得到的结果完全一致，这是正常行为。

2. 保留data成员的测试结果（差值为12） #

此时结构体定义：

struct virtual_base { int data; virtual ~virtual_base() {} }; 
struct non_virtual_base { int data; }; 

先看两个结构体的实际大小：

• non_virtual_base只有一个int成员，大小为4字节（空类的1字节占位被int覆盖，不再额外占用空间），对齐到4字节，因此sizeof(non_virtual_base)=4；
• virtual_base包含虚表指针（8字节）和int data（4字节）。根据内存对齐规则，结构体大小必须是其最大对齐单位（这里是虚表指针的8字节）的整数倍。成员布局如下：
  1. 虚表指针：占用地址0-7（8字节）
  2. int data：占用地址8-11（4字节）
  3. 编译器自动填充4字节（地址12-15），让总大小凑成16字节（8的倍数）
     因此sizeof(virtual_base)=16。

差值计算：16 - 4 = 12，这就是你得到的结果。

为什么你的预期（11）不符合实际？ #

你的预期错误来自两个假设偏差：

• 误以为non_virtual_base的大小是1（空类占位）+4（int）=5，甚至错误认为它还是1字节；
• 忽略了virtual_base因为内存对齐需要额外填充4字节，误以为它的大小是8（vptr）+4（int）=12。
  这两个偏差叠加导致你预期12-1=11，但实际内存布局和对齐规则不支持这个计算逻辑。

更直接的虚指针大小计算方式 #

其实不用这么绕，直接看带虚函数的空类大小即可：

struct HasVirtual { virtual ~HasVirtual() {} };
// 64位下输出8，32位下输出4，这就是虚指针的实际大小
std::cout << sizeof(HasVirtual) << std::endl;

因为带虚函数的空类会被编译器调整为虚指针的大小（满足对齐要求），直接输出它的大小就是虚指针的真实尺寸。

内容的提问来源于stack exchange，提问作者PapaDiHatti