3、#pragma pack指令：使用#pragma pack修改对齐方式、pack(1)紧凑模式、pack(n)自定义对齐

聊到内存对齐，就绕不开 #pragma pack 这个指令。说实话，我在刚入行那会儿，对这个东西又爱又恨。爱的是它能帮我精确控制结构体大小，恨的是稍不留神就会踩坑。今天咱们就把它的底裤扒干净。

3.1 为什么需要#pragma pack？

默认的对齐规则，说白了就是编译器帮你做决定。但现实项目中，我们经常需要自己说了算。比如：

• 网络协议解析：报文格式是固定的，你不能让编译器随意塞填充字节
• 硬件寄存器映射：寄存器地址必须是连续的，中间不能有空洞
• 跨平台数据交换：不同编译器对齐规则不一样，得统一口径

这时候，#pragma pack 就是你的救星。它允许你临时修改编译器的对齐策略，想怎么对齐就怎么对齐。

3.2 pack(1) —— 紧凑模式

先看最极端的例子：#pragma pack(1)。这个指令的意思是「按1字节对齐」，说白了就是取消所有填充，结构体成员一个挨一个排。

我记得有一次做嵌入式项目，需要把传感器数据打包发送。默认对齐下结构体大小是12字节，但协议规定只能占8字节。我当时一拍脑袋：用 pack(1) 啊！

#include <stdio.h>

#pragma pack(1)  // 开启紧凑模式
struct SensorData {
    char id;        // 1字节
    int value;      // 4字节
    short status;   // 2字节
};
#pragma pack()    // 恢复默认对齐

int main() {
    printf("SensorData 大小: %zu 字节\n", sizeof(struct SensorData));
    // 输出: SensorData 大小: 7 字节
    return 0;
}

你看，1 + 4 + 2 = 7，一个填充字节都没有。这在默认对齐下是不可能的——int 类型通常要4字节对齐，中间会塞3个填充字节，变成 1 + 3(填充) + 4 + 2 = 10 字节。

3.3 pack(n) —— 自定义对齐

pack(1) 太极端？没关系，你可以指定任意对齐值。语法是 #pragma pack(n)，其中 n 必须是 2 的幂（1, 2, 4, 8, 16...）。

它的规则是这样的：每个成员的实际对齐值 = min(成员自身对齐值, n)。说白了，就是取你指定的值和默认值中较小的那个。

举个例子，假设默认对齐是 8 字节，你用了 #pragma pack(2)：

#pragma pack(2)   // 自定义2字节对齐
struct PackedData {
    char a;        // 默认对齐1，min(1,2)=1 → 按1对齐
    int b;         // 默认对齐4，min(4,2)=2 → 按2对齐
    short c;       // 默认对齐2，min(2,2)=2 → 按2对齐
    double d;      // 默认对齐8，min(8,2)=2 → 按2对齐
};
#pragma pack()

// 布局分析：
// a 在偏移0，占1字节
// b 需要2字节对齐，从偏移2开始（偏移1被填充），占4字节
// c 需要2字节对齐，从偏移6开始，占2字节
// d 需要2字节对齐，从偏移8开始，占8字节
// 总大小 = 16字节

你想想看，如果不用 pack(2)，double 默认要 8 字节对齐，结构体大小至少 24 字节。用了 pack(2) 后压缩到 16 字节，空间节省了 33%。

3.4 作用域与恢复

#pragma pack 是作用域敏感的。它从出现的位置开始生效，直到遇到 #pragma pack() 或文件结束。我建议你养成好习惯：

• 在需要特殊对齐的结构体前面加 pack 指令
• 在结构体后面立即恢复默认对齐
• 不要在整个文件头部用 pack，会影响所有后续结构体

// 错误示范：全局修改，影响范围太大
#pragma pack(1)
struct A { ... };
struct B { ... };  // B 也被 pack(1) 影响了！
#pragma pack()

// 正确做法：局部使用
#pragma pack(1)
struct A { ... };
#pragma pack()

struct B { ... };  // B 使用默认对齐，不受影响

嗯，这里要注意：如果你在头文件里用了 pack，一定要在结束前恢复。否则其他包含这个头文件的源文件也会被影响，到时候排查 bug 能让你怀疑人生。

3.5 知识体系总览

下面这张图帮你理清 #pragma pack 的核心脉络：

3.6 避坑指南

最后，分享几个我踩过的坑：

• 结构体指针不能乱转：用 pack(1) 的结构体，如果里面包含 int 等类型，取成员地址时可能不是自然对齐的。我曾经把一个 pack(1) 结构体的 int 成员地址传给一个要求 4 字节对齐的函数，结果在 ARM 平台上直接硬件异常。
• sizeof 结果可能出乎意料：pack 后的结构体大小不一定是成员大小的简单相加。因为 pack 只影响对齐，不影响成员自身的填充规则。比如 pack(2) 下，double 还是 8 字节，只是对齐要求降到了 2 字节。
• 不同编译器行为有差异：MSVC 和 GCC 对 pack 的实现细节略有不同。跨平台项目建议用 __attribute__((packed)) 或 __declspec(align) 等更标准的方式。

---

公众号:蓝海资料掘金营，微信deep3321