内存对齐是C++中提升性能的关键机制，1. 变量地址需为其类型大小整数倍；2. 结构体总大小须为最大成员对齐值倍数；3. 编译器插入填充字节以满足规则，如char后接int会补3字节；4. 对齐受平台、编译器选项、#pragma pack和alignas影响；5. 优化结构体应按成员大小降序排列以减少填充；6. 可用sizeof、offsetof和static_assert验证对齐效果。正确理解可兼顾空间效率与跨平台兼容性。
在C++中，内存对齐是编译器为了提高程序运行效率，按照特定规则将数据安排在内存中的过程。它直接影响结构体大小、性能以及跨平台兼容性。理解内存对齐规则并进行结构体优化，对编写高效代码至关重要。
内存对齐的基本规则
内存对齐遵循以下核心原则：
- 每个变量的地址必须是其类型大小的整数倍。例如，int（通常4字节）的地址应能被4整除，double（8字节）需对齐到8字节边界。
- 结构体整体大小必须是其最大成员对齐值的整数倍。比如结构体中最大对齐要求是8，则总大小要向上对齐到8的倍数。
- 编译器会在成员之间插入填充字节，以满足对齐要求，这可能导致结构体实际占用空间大于成员之和。
struct Example {
char a; // 1字节，对齐1
int b; // 4字节，对齐4 → 此处插入3字节填充
double c; // 8字节，对齐8 → 前面共8字节，刚好对齐
};
// 总大小：1 + 3(填充) + 4 + 8 = 16字节
影响对齐的因素
对齐行为受多种因素控制：
- 目标平台架构：x86_64、ARM等有不同的默认对齐策略。
-
编译器选项：如GCC/Clang的
-malign-double或MSVC的/Zp开关可调整对齐方式。 -
#pragma pack指令：可手动设置最大对齐边界，减少填充但可能降低性能。
#pragma pack(1) // 关闭填充 struct Packed { char a; int b; double c; }; // 大小为1+4+8=13？不对，仍要考虑内部对齐 → 实际为13？不，pack(1)下无填充，结果是13？错！正确是1+4+8=13？不是，double在pack(1)下也按1字节对齐，但访问会变慢。 #pragma pack() -
alignas关键字：C++11引入，用于指定变量或类型的对齐方式。
alignas(16) char buffer[32]; // 确保buffer按16字节对齐
结构体优化技巧
合理布局成员顺序可显著减小结构体体积：
立即学习“C++免费学习笔记（深入）”；
- 按大小降序排列成员：先放8字节（如double、指针），再64位整型，然后4字节（int），接着2字节（short），最后1字节（char、bool）。
- 避免不必要的成员混排：多个小对象可集中放置，减少碎片。
-
使用bit field压缩布尔字段：
struct Flags { unsigned int flag1 : 1; unsigned int flag2 : 1; unsigned int reserved : 30; }; - 谨慎使用#pragma pack：虽节省空间，但在某些平台上会导致未对齐访问异常或性能下降。
验证与调试方法
可通过以下方式检查对齐效果：
- sizeof()查看结构体总大小
- offsetof()宏获取成员偏移，确认是否有意外填充。
-
静态断言确保对齐需求：
static_assert(alignof(MyStruct) >= 8, "MyStruct must be 8-byte aligned");
