内存对齐影响结构体大小与性能，编译器按成员类型对齐要求插入填充字节，如char(1)、int(4)、double(8)分别对齐到1、4、8字节边界；struct Example{char a; int b; char c;}在32位系统中因对齐填充总大小为12字节；可通过#pragma pack(n)控制最大对齐粒度，如#pragma pack(1)使结构体紧凑排列无填充；C++11引入alignas指定类型或变量对齐方式，std::aligned_storage与std::align用于泛型编程中的对齐管理；跨平台开发需注意默认对齐差异，序列化时建议使用#pragma pack(1)保证布局一致，高性能场景可对齐至缓存行提升效率，同时用offsetof验证成员偏移，合理权衡空间与速度以优化程序。

在C++中，内存对齐是影响结构体大小和性能的重要因素。编译器为了提高访问效率，会按照特定规则对结构体成员进行对齐处理。理解这些规则有助于优化内存使用并避免跨平台问题。

内存对齐的基本概念

现代CPU访问内存时，按字长（如4字节或8字节）对齐的数据访问效率最高。若数据未对齐，可能引发性能下降甚至硬件异常。

每个数据类型都有自己的对齐要求，通常是其大小的整数倍。例如：

• char（1字节） → 对齐到1字节边界
• int（4字节） → 对齐到4字节边界
• double（8字节） → 对齐到8字节边界

结构体布局与填充规则

结构体的总大小不是简单累加成员大小，而是要考虑对齐和填充。编译器会在成员之间插入填充字节以满足对齐要求。

例如以下结构体：

在32位系统上，实际布局为：

• a 占1字节，从偏移0开始
• 接下来需要让b对齐到4字节边界，因此在a后填充3字节
• b 占4字节，从偏移4开始
• c 占1字节，从偏移8开始
• 结构体总大小需对齐到最大成员的对齐值（这里是int的4），所以最终大小为12字节

控制对齐的方式

C++提供了多种方式显式控制对齐行为：

• #pragma pack(n)：设置最大对齐字节数。n可以是1、2、4、8等。
#pragma pack(1)
struct PackedStruct {
    char a;
    int b;
    char c;
}; // 总大小为6字节，无填充
#pragma pack()

• alignas：C++11引入的关键字，指定变量或类型的对齐方式。
struct alignas(16) AlignedStruct {
    double x;
    int y;
}; // 整个结构体对齐到16字节边界

• std::aligned_storage 和 std::align：用于泛型编程中的对齐管理。

跨平台与性能注意事项

不同编译器和平台默认对齐策略可能不同，尤其在网络通信或文件存储场景下，结构体布局必须一致。

建议做法：

• 涉及序列化的结构体使用 #pragma pack(1) 显式紧凑排列
• 高性能计算中利用对齐提升缓存命中率，如将数组对齐到缓存行边界
• 用 offsetof 宏检查成员偏移，验证布局是否符合预期
• 避免过度紧凑导致性能下降，权衡空间与速度