在C++编程中，我们经常会遇到一个看似矛盾的现象：定义一个包含多个成员变量的类，使用sizeof运算符计算类的大小时，得到的结果往往不等于所有成员变量大小的总和。这并不是编译器出现了错误，而是由内存对齐机制导致的。
什么是内存对齐
内存对齐是编译器对数据在内存中存放位置的一种约束规则。CPU访问内存时，并不是以单个字节为单位进行读取的，而是以特定的字长（比如32位系统字长4字节，64位系统字长8字节）为单位读取。如果数据的起始地址是字长的整数倍，CPU只需要一次内存访问就能读取到完整的数据；如果数据跨越了多个字长边界，CPU就需要多次访问内存才能拼凑出完整数据，这会严重影响程序的运行效率。
因此编译器会默认对类的成员变量进行对齐处理，调整每个成员的起始存放地址，同时可能会在成员之间或者类的末尾填充额外的空白字节，保证整体符合对齐规则。
内存对齐的基本规则
通常C++的内存对齐遵循以下三个核心规则：
- 第一个数据成员放在偏移量为0的位置
- 每个后续数据成员的起始偏移量必须是该成员大小的整数倍，如果不是则补齐字节
- 整个类的大小必须是最大成员大小的整数倍，如果不是则在末尾补齐字节
代码示例验证对齐规则
我们可以通过不同的类定义来验证上述规则，以下代码在64位系统下编译运行，long类型大小为8字节，int类型大小为4字节，char类型大小为1字节。
#include <iostream>
using namespace std;
// 第一个示例：成员按顺序char、int、long排列
class ClassA {
public:
char c; // 大小1字节，偏移0
int i; // 大小4字节，偏移需要是4的倍数，因此在c后补3字节，偏移4
long l; // 大小8字节，偏移需要是8的倍数，当前偏移8符合要求
// 总大小：1+3+4+8=16，最大成员大小8，16是8的倍数，不需要末尾补齐
};
// 第二个示例：调整成员顺序为int、char、long
class ClassB {
public:
int i; // 大小4字节，偏移0
char c; // 大小1字节，偏移4，符合要求
long l; // 大小8字节，偏移需要是8的倍数，当前偏移5，补3字节到偏移8
// 总大小：4+1+3+8=16，最大成员大小8，16是8的倍数，不需要末尾补齐
};
// 第三个示例：成员顺序为char、long、int
class ClassC {
public:
char c; // 大小1字节，偏移0
long l; // 大小8字节，偏移需要是8的倍数，补7字节到偏移8
int i; // 大小4字节，偏移16，符合要求
// 总大小：1+7+8+4=20，最大成员大小8，20不是8的倍数，补4字节到24
};
int main() {
cout << "ClassA size: " << sizeof(ClassA) << endl;
cout << "ClassB size: " << sizeof(ClassB) << endl;
cout << "ClassC size: " << sizeof(ClassC) << endl;
return 0;
}
运行上述代码，输出结果通常为：
ClassA size: 16 ClassB size: 16 ClassC size: 24
可以看到三个类包含的成员完全相同，只是排列顺序不同，类的大小就出现了差异，这就是内存对齐规则作用的结果。ClassC因为成员排列导致需要更多的填充字节，最终大小比其他两个类更大。
如何修改对齐规则
如果我们需要取消或者修改默认的对齐规则，可以使用编译器提供的预处理指令。比如使用#pragma pack(n)可以指定对齐的最大值为n字节，当成员大小超过n时，按n进行对齐；当成员大小小于n时，按成员自身大小对齐。
#include <iostream>
using namespace std;
#pragma pack(1) // 设置对齐最大值为1字节，即不对齐
class ClassD {
public:
char c;
int i;
long l;
};
#pragma pack() // 恢复默认对齐规则
int main() {
cout << "ClassD size: " << sizeof(ClassD) << endl;
return 0;
}
上述代码中设置了1字节对齐，此时每个成员的偏移不需要满足自身大小的整数倍，类的大小就是所有成员大小之和，输出结果为13（1+4+8）。不过这种方式会降低内存访问效率，实际开发中除非有特殊需求，否则不建议随意修改默认对齐规则。
实际开发中的注意事项
在设计类或者结构体时，我们可以把占用空间小的成员集中放在一起，尽量按照成员大小从大到小的顺序排列，这样可以减少填充字节的数量，降低类的总体内存占用。同时如果类需要跨平台传输或者写入文件，需要注意不同平台的对齐规则可能存在差异，避免出现数据解析错误的情况。