C++类内存对齐规则详解

类的内存布局受对齐规则影响，成员按声明顺序排列但可能插入填充字节；最大成员对齐决定类整体对齐，静态成员不占实例内存，空类占1字节，虚函数引入vptr增加大小，#pragma pack可控制对齐减少体积但影响性能。

在C++中，类的内存布局和对齐方式由编译器根据硬件架构和语言标准决定。理解类的内存对齐规则有助于优化程序性能、减少内存占用，并确保跨平台兼容性。

类成员按声明顺序排列

类中的成员变量按照声明的顺序依次存储在内存中，但实际排列可能因为对齐要求而插入填充字节（padding）。

例如：

尽管成员声明顺序是 char → int → short，但由于对齐需求，实际内存分布如下：

• char a 占1字节，起始地址为0
• 接下来需要对齐到4字节（int 的对齐要求），因此插入3字节填充
• int b 占4字节，从偏移4开始
• short c 占2字节，从偏移8开始
• 最后类总大小需对齐到最大成员对齐的整数倍（通常是4或8）

最终 sizeof(Example) 通常是12字节（取决于平台）。

对齐规则基于最大成员对齐要求

每个数据类型有其自然对齐值，通常等于其大小（如 int 为4，double 为8）。类的整体对齐值等于其所有成员中最大对齐值。

例如：

• char 对齐为1
• short 对齐为2
• int 对齐为4
• double 对齐为8

若类包含 double，则整个类的对齐边界为8，即使其他成员较小。

这意味着类实例的起始地址必须是8的倍数。

静态成员不参与内存布局

静态成员属于类共享，不存储在对象实例中，因此不影响类的大小和对齐。

例如：

sizeof(WithStatic) 只计算 int x 的大小和对齐，s_val 存在于全局数据区。

空类和虚函数的影响

空类（无成员）仍占用1字节，以保证每个对象有唯一地址。

当类含有虚函数时，编译器会自动添加一个指向虚函数表的指针（vptr），该指针占用一个指针大小（通常4或8字节），并影响类的大小和对齐。

例如：

实际大小 = vptr(8) + char(1) + 填充(7)，总大小通常为16（在64位系统上）。

结构体打包与对齐控制

可通过编译器指令改变默认对齐行为，如 #pragma pack：

此时类不再插入填充字节，sizeof(PackedClass) 为 1+4+2=7 字节。但访问未对齐数据可能导致性能下降或硬件异常。

基本上就这些。掌握这些规则能帮助你写出更高效、可预测的C++代码。不同编译器和平台可能略有差异，建议结合 sizeof 和offsetof 验证实际布局。