CarrieYung1. 结构体内存对齐的核心概念
第一次接触结构体内存对齐这个概念时，我也曾困惑为什么两个成员完全相同的结构体，仅仅因为声明顺序不同就导致sizeof的结果大相径庭。这背后其实是计算机体系结构对内存访问的一种优化机制。
在32位系统中，CPU每次从内存读取数据的最小单位是4字节（32位），64位系统则是8字节。如果数据没有按照这个边界对齐存放，CPU就需要进行多次内存访问才能获取完整数据。举个例子，假设一个int变量跨越了两个4字节边界（比如地址0x0003到0x0007），CPU就需要先读取0x0000-0x0003，再读取0x0004-0x0007，然后拼接出我们需要的值。
实际测试表明，未对齐的内存访问可能导致性能下降2-3倍，在某些架构上甚至会导致程序崩溃。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 内存对齐的三大黄金法则
2.1 成员对齐规则
每个成员的偏移地址必须是其类型大小的整数倍。以这个结构体为例：
c复制struct Example {
char a; // 1字节
int b; // 4字节
double c; // 8字节
};
内存布局会是这样：
- a的偏移量是0（任何类型的第一个成员）
- b需要4字节对齐，所以a后面要补3字节空白
- c需要8字节对齐，此时偏移量已经是8（0+1+3+4），满足条件
2.2 结构体整体对齐规则
整个结构体的大小必须是最大成员大小的整数倍。在前面的Example结构体中：
- 实际成员占用：1(a) + 3(填充) + 4(b) + 8(c) = 16字节
- 最大成员是double(8字节)，16正好是8的倍数，无需额外填充
2.3 编译器指令干预
通过#pragma pack(n)可以修改默认对齐方式：
c复制#pragma pack(1) // 设置为1字节对齐
struct TightPacked {
char a;
int b;
double c;
}; // sizeof = 1 + 4 + 8 = 13
#pragma pack() // 恢复默认对齐
注意：过度使用pack可能导致性能问题，一般只在网络传输、磁盘存储等特定场景使用。