内存对齐：为什么你的结构体比想象中更占内存

说实话，内存对齐这个话题，我当年刚入行时根本没当回事。直到有一次，我在一个嵌入式项目里定义了一个结构体，明明只有几个字段，sizeof 打印出来却比我想象的大了一圈。我当时还以为是编译器出了 bug，折腾了半天才发现——哦，原来是内存对齐在作祟。

今天咱们就把这个事儿彻底聊透。我会从为什么需要对齐开始，再到对齐规则、如何用 pragma pack 干预对齐，最后聊聊 offsetof 这个实用宏。嗯，都是实战中绕不开的东西。

1. 为什么要内存对齐？

说白了，CPU 读内存不是按字节一个一个读的。它一次读 4 字节（32位）或 8 字节（64位）。如果数据没对齐，比如一个 int 从地址 0x01 开始，CPU 就得读两次，再把结果拼起来。你想想看，这多慢。

我在一个 ARM Cortex-M4 的项目里遇到过这种情况：一个结构体没做对齐优化，结果中断响应时间直接多了 30%。后来我手动调整了成员顺序，性能就回来了。所以对齐不是为了好看，是为了让 CPU 省力气。

• 硬件原因：大多数 CPU 要求数据地址是自身大小的整数倍（比如 int 4 字节，地址必须是 4 的倍数）。
• 性能原因：对齐的数据访问一次搞定，不对齐的可能要两次甚至触发异常。
• 移植性原因：有些平台（比如某些 DSP）根本不允许非对齐访问，直接崩给你看。

2. 对齐规则详解

规则其实不复杂，记住三条就行：

1. 每个成员的对齐要求：成员的起始地址必须是其自身大小的整数倍。比如 short 必须从偶数地址开始，int 必须从 4 的倍数地址开始。
2. 结构体的总大小：必须是最大成员对齐值的整数倍。如果不够，末尾会补字节。
3. 嵌套结构体：内部结构体的对齐值取它内部最大成员的对齐值。

举个例子，你看这个结构体：

struct Example {
    char a;      // 1 字节，偏移 0
    int b;       // 4 字节，需要偏移 4，所以 a 后面补 3 个字节
    short c;     // 2 字节，偏移 8
    // 总大小：10 字节，但最大对齐是 4，所以补到 12 字节
};

sizeof 这个结构体，结果是 12，不是 1+4+2=7。为什么？因为 int b 要从 4 的倍数开始，char a 后面就多了 3 个填充字节。最后 short c 占 2 字节，总大小 10，但最大对齐是 4，所以末尾再补 2 字节到 12。

3. pragma pack：手动干预对齐

有时候我们不需要默认对齐，比如要模拟硬件寄存器布局，或者定义网络协议头。这时候可以用 #pragma pack 来强制按 1 字节对齐。

#pragma pack(push, 1)  // 保存当前对齐状态，设为 1 字节对齐
struct PackedExample {
    char a;
    int b;
    short c;
};
#pragma pack(pop)      // 恢复之前的对齐状态

// 现在 sizeof(PackedExample) 就是 7 了

注意，pack(1) 意味着所有成员都按 1 字节对齐，没有填充。但代价是访问 int b 时可能变慢，因为 CPU 要处理非对齐访问。

我个人建议：只在必要的时候用 pack，比如写硬件驱动、解析二进制协议。平时还是让编译器自己对齐，性能更好。

4. offsetof 宏：获取成员偏移量

offsetof 是定义在 <stddef.h> 里的一个宏，用来获取结构体成员相对于起始地址的偏移量。它的典型实现长这样：

#define offsetof(type, member) ((size_t)&((type *)0)->member)

这个宏的巧妙之处在于：它把地址 0 强制转换为结构体指针，然后取成员的地址，这个地址值就是偏移量。因为基地址是 0，成员的地址就等于偏移量。

实际使用场景：

• 调试时查看结构体布局：打印每个成员的偏移，确认对齐是否符合预期。
• 实现容器结构：在 Linux 内核里，container_of 宏就是基于 offsetof 实现的，用来从成员指针反推结构体指针。
• 序列化/反序列化：手动计算每个字段在缓冲区中的位置。

#include <stdio.h>
#include <stddef.h>

struct Data {
    char type;
    int value;
    short flag;
};

int main() {
    printf("offset of type:  %zu\n", offsetof(struct Data, type));
    printf("offset of value: %zu\n", offsetof(struct Data, value));
    printf("offset of flag:  %zu\n", offsetof(struct Data, flag));
    printf("total size:      %zu\n", sizeof(struct Data));
    return 0;
}

输出结果：

offset of type:  0
offset of value: 4
offset of flag:  8
total size:      12

你看，value 的偏移是 4，说明 type 后面确实补了 3 个字节。这就是对齐的直观证据。

知识体系总览

下面这张图把本章的核心逻辑串起来了，你可以对照着看：

这张图把四个要点串在了一起：为什么对齐、规则是什么、怎么用 pack 干预、怎么用 offsetof 验证。你写代码时，脑子里过一遍这个图，基本就不会出大问题。

---

好了，内存对齐这块儿就聊到这儿。记住一句话：对齐是 CPU 的脾气，你得顺着它来。该用 pack 的时候别犹豫，但平时别乱用。offsetof 是个好工具，多用来检查结构体布局，能省不少调试时间。