1.3 字节对齐

---

对齐的基本概念

对齐是指数据类型在内存中的起始地址与其自然边界（Natural Boundary）的倍数对齐。其中自然边界是指数据类型本身的大小。例如，一个 32 位的整数（int）的自然边界通常是 4 字节，而一个 64 位的整数（long long）的自然边界通常是 8 字节。

---

为什么要有字节对齐

• 某些平台只能在特定地址访问特定类型的数据
• 避免额外的内存访问，提高存取数据的速度。 例如，如果一个 32 位整数没有对齐到 4 字节边界，处理器可能需要读取两次 16 位的数据，然后再将其组合成一个 32 位整数。这增加了内存访问次数，从而降低了性能。

假设我们有一个 32 位的整数（int），它占用 4 字节
如果这个整数对齐到 4 字节的边界，那么32位的处理器可以一次性加载或存储整个整数。
以下是两种情况的对比：

对齐的情况：
地址：假设起始地址为 0x00000000，这是一个 4 字节对齐的地址。
操作：处理器可以一次性加载或存储整个 32 位整数。
未对齐的情况：
地址：假设起始地址为 0x00000001，这不是一个 4 字节对齐的地址。
操作：处理器需要先加载 2 字节的数据，然后再加载剩余的 2 字节数据，并将其组合成一个 32 位整数。

---

常见的字节对齐方式

字节对齐（Byte Alignment）是计算机内存管理中的一个重要概念，它指的是数据结构中的元素在内存中存放的位置遵循一定的规则，以优化内存访问速度和性能。不同的编译器和处理器架构可能有不同的默认对齐方式。下面是一些常见的字节对齐方式：

1. 自然对齐（Natural Alignment）

自然对齐是指数据类型按照其自然边界（Natural Boundary）进行对齐。例如，一个 32 位的整数（int）通常会被对齐到 4 字节的边界，而一个 64 位的整数（long long）则会被对齐到 8 字节的边界。这样做的好处是可以提高数据访问的速度，因为在许多处理器架构中，访问对齐的数据比访问未对齐的数据更快。

2. 强制对齐（Forced Alignment）

强制对齐是指编译器或程序员显式地指定数据类型的对齐方式。这通常通过编译器特定的属性或关键字来完成。例如，在 C/C++ 中，可以使用 __declspec(align(n))（Microsoft Visual C++）或 attribute((aligned(n)))（GCC 和 Clang–来指定对齐方式，其中 n 是对齐的字节数。

3. 结构体成员对齐（Struct Member Alignment）

结构体对齐的规则

• 成员变量的对齐（内部来看）：每个成员变量都会按照其自然边界进行对齐。成员的地址相对于结构体首地址的偏移量，也要为该成员大小的整数倍。参考
• 结构体的对齐（整体来看）：结构体作为一个整体也会对齐，通常是结构体成员中最大对齐需求的倍数。例如，如果结构体中最大的对齐需求是 4 字节，则整个结构体会对齐到 4 字节的倍数。
• 在结构体中，成员变量的对齐方式会影响到结构体的总体大小。结构体的总大小为结构体中最宽基本类型成员大小的整数倍。

注：在必要时插入填充字节以确保成员之间的对齐。例如，如果一个结构体包含一个 char 和一个 int，那么 int 会被对齐到 4 字节边界，而 char 会放在 int 之前，中间可能有填充字节。

4. 堆栈对齐（Stack Alignment）

在函数调用期间，函数参数和局部变量通常存储在堆栈上。堆栈也需要遵循一定的对齐规则，以保持性能。例如，在 x86 架构中，堆栈通常需要对齐到 16 字节的边界。

5. 禁止对齐（No Alignment）

禁止对齐是指不进行任何对齐处理，数据将连续存储在内存中，而不考虑对齐。这种方式可以最小化结构体的大小，但在某些处理器架构上可能导致性能下降。