C++内存对齐规则解析：结构体填充与alignas用法

内存对齐是为了提高CPU访问效率并满足硬件要求。1. 数据类型需按自身大小对齐，如int按4字节对齐；2. 结构体成员起始地址必须是其类型对齐值的整数倍，否则插入填充字节；3. 结构体整体大小需为最大成员对齐值的整数倍；4. 成员顺序影响填充量，合理排序可减少空间浪费；5. alignas关键字可显式控制对齐方式，适用于底层优化场景。

理解C++的内存对齐规则，其实核心在于搞清楚两个问题：为什么需要对齐和怎么对齐。简单来说，CPU在读取内存时，访问特定类型的数据如果落在它要求的对齐地址上，效率更高，甚至有些平台强制要求必须对齐，否则会抛异常或者性能下降明显。

所以结构体填充（padding）和alignas关键字，都是围绕这个“对齐”机制来工作的。

结构体内存对齐的基本规则

结构体的大小不等于成员变量大小之和，这是因为编译器会在适当的位置插入填充字节（padding），使得每个成员都满足自己的对齐要求。

常见的对齐规则包括：

• 每个成员的起始地址是其自身对齐值的整数倍
• 结构体整体的大小是对齐值最大的那个成员的整数倍
• 对齐值通常是类型的大小，比如int是4字节，则默认按4字节对齐；但也可以被修改

举个例子：

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

假设在32位系统下，默认对齐方式为4字节：

• a占1字节，放在0偏移处没问题；
• b要求从4的倍数开始，所以1~3是填充字节；
• c要求从2的倍数开始，当前偏移是8（刚好符合），占用2字节；
• 整体结构体大小要对齐到最大成员的对齐值（即4），所以最后可能还有2字节填充，总大小为12。

结构体填充是怎么发生的？

填充主要发生在两个地方：

• 成员之间：前面的成员不能满足下一个成员的对齐要求时，中间插入填充
• 结构体末尾：整个结构体的大小如果不是最大对齐值的整数倍，就补上填充

填充的目的不是浪费空间，而是为了访问速度优化。例如，一个int如果被拆成两次读取，效率会大打折扣。

另外，结构体顺序不同会导致填充也不同。比如把char放最后，结构体大小可能会变小：

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

此时填充量更少，结构体总大小可能是8而不是12。

所以设计结构体的时候，尽量按照对齐大小从大到小排列成员，可以减少填充，节省内存。

alignas关键字的作用与使用场景

C++11引入了alignas关键字，用于显式指定某个变量或结构体的对齐方式。

它可以用来：

• 强制某个变量以更大的对齐方式存储
• 控制结构体整体的对齐方式
• 配合SIMD指令、内存池等底层操作

语法很简单：

alignas(16) int x;  // x按16字节对齐

struct alignas(16) MyStruct {
    int a;
    double b;
};

上面的例子中，即使MyStruct本身只需要8字节对齐，但由于用了alignas(16)，整个结构体都会按16字节对齐。这对于某些需要严格对齐的场合非常有用，比如向量计算、DMA传输等。

需要注意的是：

• alignas的参数必须是2的幂次
• 如果多个alignas同时出现，会选择最大的那个
• 使用不当可能导致内存浪费，但能提升访问效率

小结一下

内存对齐是C++中不可忽视的一个细节，特别是在做高性能或嵌入式开发时。结构体填充虽然看起来像“浪费”，但它是为了保证访问效率和平台兼容性。通过合理安排结构体成员顺序、使用alignas关键字，可以更好地控制内存布局，避免不必要的空间浪费或性能损失。

基本上就这些。