在C++程序运行过程中，内存对齐是编译器默认或开发者手动设置的内存分配规则，它要求数据在内存中的存储地址必须满足特定的倍数关系，这种规则会直接影响程序的内存占用和运行速度。
什么是内存对齐
内存对齐指的是数据在内存中存储时，其起始地址必须是某个值（通常是数据类型大小或编译器指定的对齐值）的整数倍。比如一个4字节的int类型变量，它的起始地址通常是4的倍数，这样的存储方式就是符合内存对齐规则的。
内存对齐的存在主要有两个原因，一是硬件平台的限制，很多CPU只能从特定对齐地址读取数据，不对齐的地址可能会导致读取失败或者性能下降；二是编译器的优化策略，合理的内存对齐可以减少CPU读取内存的次数，提升程序的运行效率。
默认内存对齐规则
在没有手动设置对齐规则的情况下，编译器会按照默认规则进行内存对齐，不同编译器的默认规则可能略有差异，但核心逻辑基本一致：
- 结构体的起始地址对齐到结构体中最大成员类型的对齐值。
- 每个成员的起始地址相对于结构体起始地址的偏移量，必须是该成员类型对齐值的整数倍，如果不是则填充字节直到满足条件。
- 结构体的总大小必须是结构体中最大成员类型对齐值的整数倍，如果不是则填充字节直到满足条件。
我们可以通过下面的代码示例查看默认对齐下的结构体大小：
#include <iostream>
using namespace std;
// 定义测试结构体
struct TestStruct1 {
char a; // 1字节，对齐值1
int b; // 4字节，对齐值4
char c; // 1字节，对齐值1
};
struct TestStruct2 {
char a; // 1字节，对齐值1
char b; // 1字节，对齐值1
int c; // 4字节，对齐值4
};
int main() {
cout << "TestStruct1大小: " << sizeof(TestStruct1) << endl;
cout << "TestStruct2大小: " << sizeof(TestStruct2) << endl;
return 0;
}
在常见的64位编译器默认对齐规则下，TestStruct1的大小是12字节，TestStruct2的大小是8字节。这是因为TestStruct1中成员b需要对齐到4字节地址，a后面会填充3个字节，c后面会填充3个字节凑齐4的倍数；而TestStruct2中a和b连续存储，后面填充2个字节让c对齐到4字节地址，总大小刚好是8字节。
手动设置内存对齐优化
如果默认的对齐规则不符合我们的需求，比如需要减少内存占用或者适配特定的硬件要求，我们可以手动设置内存对齐参数，常见的优化方式有以下几种。
使用编译器指令设置对齐值
不同编译器提供了对应的指令来修改结构体的对齐值，比如GCC和Clang可以使用<code>__attribute__((aligned(n)))</code>设置结构体或变量的对齐值，使用<code>__attribute__((packed))</code>取消内存对齐，让结构体按1字节对齐。MSVC编译器可以使用<code>#pragma pack(n)</code>来设置对齐值，<code>#pragma pack()</code>恢复默认对齐。
下面是MSVC编译器下使用<code>#pragma pack</code>的示例：
#include <iostream>
using namespace std;
#pragma pack(push, 1) // 设置对齐值为1，取消内存对齐
struct PackedStruct {
char a;
int b;
char c;
};
#pragma pack(pop) // 恢复默认对齐
int main() {
cout << "PackedStruct大小: " << sizeof(PackedStruct) << endl; // 输出6，1+4+1=6
return 0;
}
调整结构体成员顺序优化内存
在不修改对齐规则的情况下，我们可以通过调整结构体成员的定义顺序，减少填充字节的数量，从而优化内存占用。比如把占内存小的成员集中放在前面，或者按照成员大小从大到小的顺序排列成员，都可以减少不必要的填充。
对比之前的TestStruct1和TestStruct2，TestStruct2的成员顺序更合理，所以内存占用更小，这就是通过调整成员顺序实现的对齐优化。
使用C++11的alignas说明符
C++11标准引入了<code>alignas</code>说明符，可以统一跨平台地设置类型或变量的对齐值，不需要依赖编译器的特定指令。<code>alignas</code>可以接受常量表达式或者类型作为参数，指定对齐的字节数。
#include <iostream>
using namespace std;
// 设置结构体对齐到8字节
struct alignas(8) AlignedStruct {
char a;
int b;
};
int main() {
cout << "AlignedStruct大小: " << sizeof(AlignedStruct) << endl; // 输出8，1+填充3+4=8，符合8字节对齐
cout << "AlignedStruct对齐值: " << alignof(AlignedStruct) << endl; // 输出8
return 0;
}
内存对齐优化的注意事项
内存对齐优化并不是对齐值越小或者越大越好，需要根据实际场景选择。如果是为了减少内存占用，可以适当降低对齐值，但要注意硬件平台是否支持非对齐访问，避免程序出现运行错误。如果是为了提升访问性能，建议保持默认的对齐规则，或者根据CPU的缓存行大小设置合理的对齐值，让数据尽量集中在同一个缓存行中，减少缓存失效的次数。
另外，在进行网络传输或者文件存储时，如果使用了内存对齐的结构体，要注意填充字节的内容是不确定的，直接传输结构体可能会导致数据错误，这时候需要手动序列化数据，避免填充字节的影响。