C/C++ 数据对齐原理与 #pragma pack 实战解析

为什么要进行内存对齐？

计算机内存按字节（Byte）划分，但现代 CPU 访问内存时通常以字（Word）或双字（Double Word）为单位进行读取。如果数据存放地址不符合硬件平台的特定要求，CPU 可能需要多次读取才能获取完整数据，从而降低效率。

例如，在一个每次从偶地址开始读取的平台上，若一个 32 位 int 类型变量存放在奇数地址，CPU 可能需要两个读周期才能拼接出该数据，且需处理高低字节。因此，内存对齐本质上是空间与时间的权衡：用部分空间浪费换取更高的存取速度。

内存对齐的核心规则

C/C++ 编译器默认会自动为结构体成员进行对齐，其核心判定逻辑遵循以下四个步骤：

1. 数据类型自身对齐值：基本类型的自然对齐边界。通常 char 为 1，short 为 2，int/float/double 为 4。
2. 指定对齐值：通过 #pragma pack(n) 指令设定的最大对齐上限。
3. 结构体自身对齐值：结构体内部所有成员中最大的自身对齐值。
4. 有效对齐值：成员的“自身对齐值”与“指定对齐值”二者中的较小者。这个 N 值决定了成员起始地址必须满足 起始地址 % N == 0。

最终结构体的总大小也必须是其有效对齐值的整数倍，否则会在尾部填充额外字节。

代码实战：不同对齐策略的效果对比

以下代码定义了三个结构体，并通过修改对齐指令观察 sizeof 的变化。测试环境为 Mac OS X 64 位内核，默认对齐值为 4。

struct A {
    int a;       // 4 字节
    char b;      // 1 字节
    short c;     // 2 字节
};

struct B {
    char b;      // 1 字节
    int a;       // 4 字节
    short c;     // 2 字节
};

#pragma pack(2)
struct C {
    char b;
    int a;
    short c;
};
#pragma pack()

#pragma pack(1)
struct D {
    char b;
    int a;
    short c;
};
#pragma pack()

第1步：分析结构体 A（默认对齐）

组成：char (1) + int (4) + short (2) = 7 字节原始大小。

布局分析：

• int a：偏移量 0，占用 0-3 字节。
• char b：偏移量 4，占用第 4 字节。
• short c：需要 2 字节对齐，下一个可用地址是 5。5 不是 2 的倍数，因此向后补 1 个空格，从地址 6 开始存放，占用 6-7 字节。

结果：sizeof(struct A) = 8。尾部的 7 号字节后无需再补，因为总长 8 已是有效对齐值 4 的倍数。

第2步：分析结构体 B（成员重排的影响）

布局分析：

• char b：偏移量 0，占用第 0 字节。
• int a：需要 4 字节对齐，从地址 4 开始存放，占用 4-7 字节。（中间 1-3 字节被填充）
• short c：需要 2 字节对齐，紧接着 int，从地址 8 开始，占用 8-9 字节。

结果：sizeof(struct B) = 12。虽然内容一样，但因 int 前产生了 3 字节的空洞，且总大小需补齐到 4 的倍数（10→12）。

第3步：使用 #pragma pack(2) 限制对齐

#pragma pack(2) 将最大允许的对齐值限制为 2。

布局分析：

• char b：偏移 0，占 1 字节。
• int a：自身对齐 4，但受 pack(2) 限制，有效对齐变为 2。它可以从地址 2 开始存放，占用 2-5 字节。
• short c：有效对齐 2，从地址 6 开始，占用 6-7 字节。

结果：sizeof(struct C) = 8。减少了 padding，节省了空间。

第4步：使用 #pragma pack(1) 取消对齐

#pragma pack(1) 强制所有成员按 1 字节对齐。

结果：sizeof(struct D) = 7。没有任何填充字节，紧密排列。

总结与建议

通过对 struct A 和 B 的对比可见，内存紧凑度并不等于性能最优。虽然 struct B 大小增加了，但如果将大类型（如 int）放在前面，可以减少指针访问时的跨周期读取，提升 CPU 缓存命中率。

最佳实践建议：

1. 优先性能：在大多数情况下，保持默认对齐即可，并尽量将大范围数据类型（int, double）排在结构体开头，减少内部碎片。
2. 优先节省内存：在网络传输、文件存储或嵌入式场景中，可使用 #pragma pack(1) 消除填充，节省带宽和存储空间。
3. 避免混用：同一结构体在不同平台或编译设置下行为可能不同，务必明确文档说明对齐要求。

以上就是 C/C++ 内存对齐机制的详细解析，更多关于 C++ 内存管理及结构体优化的资料请关注本站其它相关文章！