字节对齐

字节对齐（Byte Alignment），也称为数据对齐（Data Alignment），是计算机系统中一种重要的内存管理概念。它指的是将数据在内存中的存放地址调整为特定数值（通常是其自身大小或系统字长的整数倍）的过程。

为什么要字节对齐？

主要原因与硬件效率密切相关：

硬件访问要求：
- 许多处理器（尤其是 RISC 架构如 ARM, MIPS, SPARC 和现代 x86）被设计为只能从某些特定的对齐地址（例如 2-byte, 4-byte, 8-byte 边界）高效地读取或写入数据。
- 例如，一个 32 位（4 字节）的整数，处理器可能要求其起始地址必须是 4 的倍数（如 0x0000, 0x0004, 0x0008, ...）。一个 64 位（8 字节）的双精度浮点数，起始地址可能需要是 8 的倍数。
性能提升：
- 访问对齐的数据，处理器通常只需一次内存访问操作即可完成。
- 如果数据未对齐（Misaligned），处理器可能需要进行两次内存访问操作，然后拼接出所需的数据片段。这不仅速度慢很多倍，在早期或某些嵌入式处理器上甚至会导致硬件异常（程序崩溃）。
原子性保证：
- 某些处理器架构保证对齐数据的读写操作是原子的（即在操作完成前不会被中断）。这对于实现无锁数据结构和确保数据一致性很重要。
缓存效率：
- 现代处理器使用高速缓存（Cache），数据传输以缓存行为单位（通常是 64 字节）。对齐的数据结构更容易完整地放入一个或多个缓存行中，减少跨缓存行访问的情况，从而提升缓存利用率和性能。

字节对齐是如何工作的？（以结构体为例）

编译器在分配内存给变量（尤其是结构体 struct 和联合体 union 的成员）时，会自动插入填充字节来确保每个成员都满足其自身的对齐要求。

例子：

struct MyStruct {
    char a;      // 1 字节
    // 编译器插入 3 个填充字节 (Padding Bytes) 以满足 int 的对齐要求
    int b;       // 4 字节，要求按 4 字节对齐（地址是 4 的倍数）
    char c;      // 1 字节
    // 编译器再插入 3 个填充字节，使整个结构体大小是最大成员大小（int: 4字节）的整数倍（为了数组连续存放）
};               // 总大小 = 1(char) + 3(padding) + 4(int) + 1(char) + 3(padding) = 12 字节

成员 a (1 byte)： 可以放在任何地址（对齐要求是 1）。
成员 b (4 bytes)： 要求地址是 4 的倍数。紧跟在 a 后的地址（假设结构体起始地址是 0，则 a 在 0，b 期望在 4）不符合要求（地址 1 不是 4 的倍数）。因此编译器在 a 后面插入 3 个无意义的字节（地址 1, 2, 3），使 b 从地址 4 开始存放。
成员 c (1 byte)： 可以放在地址 8。
结构体尾部填充： 为了确保当这个结构体被放入数组时，数组中的下一个结构体的第一个成员 a 也能满足其可能的对齐要求（通常是按结构体中最严格的对齐要求来），编译器会在 c 后面再插入 3 个填充字节，使整个结构体的大小（12 字节）成为其最大成员对齐值（int b 的对齐要求是 4）的整数倍（12 / 4 = 3）。

对齐值 (Alignment Requirement)

基本数据类型（char, short, int, long, float, double, 指针等）的对齐要求通常等于它们自身的大小（在特定平台上）。
- char: 1 字节对齐
- short (2 bytes): 2 字节对齐
- int (4 bytes): 4 字节对齐
- double (8 bytes): 通常 8 字节对齐
结构体的对齐要求通常等于其成员中最严格（最大） 的对齐要求。数组的对齐要求与其元素的对齐要求相同。