在C++程序开发中，结构体是常用的自定义数据类型，很多开发者会发现使用sizeof运算符计算结构体大小时，得到的结果和所有成员变量的字节数之和并不相等，这是因为编译器会对结构体成员进行内存对齐优化。理解内存对齐规则和sizeof运算符的用法，才能准确计算结构体的实际大小。
sizeof运算符的基本用法
sizeof是C++中的单目运算符，用于计算对象或类型在内存中占用的字节数，其计算结果在编译阶段就会确定，不会在运行时产生额外开销。对于基本数据类型，sizeof的结果和类型本身的字节数一致，比如int类型通常占4字节，char类型占1字节。
对于结构体类型，sizeof的计算结果会受到内存对齐规则的影响，基本用法示例如下：
#include <iostream>
using namespace std;
struct Test1 {
char c;
int i;
};
int main() {
cout << "sizeof(char): " << sizeof(char) << endl; // 输出1
cout << "sizeof(int): " << sizeof(int) << endl; // 输出4
cout << "sizeof(Test1): " << sizeof(Test1) << endl; // 输出8，不是1+4=5
return 0;
}
C++内存对齐的核心规则
不同编译器的内存对齐规则略有差异，不过主流编译器都遵循以下通用规则：
- 第一个结构体成员的偏移量为0，后续每个成员的起始偏移量必须是该成员类型大小的整数倍，如果不是则需要补齐字节。
- 结构体的总大小必须是结构体中最大成员类型大小的整数倍，如果不是则需要补齐字节到满足条件。
- 可以通过编译器指令修改默认对齐系数，比如使用
#pragma pack(n)可以将对齐系数设置为n，此时成员的对齐值取成员类型大小和n的较小值。
不同场景下的结构体大小计算示例
场景1：默认对齐规则下的结构体
以下结构体的成员类型不同，排列顺序也会影响最终大小：
#include <iostream>
using namespace std;
// 场景1-1：成员按char、int、char排列
struct TestA {
char c1; // 偏移0，占1字节
int i; // 偏移需要是4的倍数，因此偏移4，占4字节，前面补3字节
char c2; // 偏移8，占1字节
// 总大小需要是最大成员int(4字节)的倍数，当前总占9字节，补3字节到12
};
// 场景1-2：成员按char、char、int排列
struct TestB {
char c1; // 偏移0，占1字节
char c2; // 偏移1，占1字节
int i; // 偏移需要是4的倍数，因此偏移4，占4字节，前面补2字节
// 总大小8，是4的倍数，无需额外补齐
};
int main() {
cout << "sizeof(TestA): " << sizeof(TestA) << endl; // 输出12
cout << "sizeof(TestB): " << sizeof(TestB) << endl; // 输出8
return 0;
}
场景2：修改默认对齐系数后的结构体
使用#pragma pack修改对齐系数后，计算规则会发生变化：
#include <iostream>
using namespace std;
#pragma pack(1) // 设置对齐系数为1
struct TestC {
char c; // 偏移0，占1字节
int i; // 偏移1，占4字节，对齐系数为1，无需补字节
short s;// 偏移5，占2字节
// 总大小7，是最大成员int(4)和1的较小值1的倍数，无需补齐
};
#pragma pack() // 恢复默认对齐系数
int main() {
cout << "sizeof(TestC): " << sizeof(TestC) << endl; // 输出7
return 0;
}
内存对齐的意义
内存对齐主要是为了提升CPU访问内存的效率，很多CPU只能从内存的特定倍数地址开始读取数据，如果数据没有对齐，可能需要进行多次内存访问才能读取完整的数据，还会引发硬件异常。虽然内存对齐会造成一定的内存空间浪费，但换来了更高的访问效率，是编译器普遍采用的优化策略。
注意事项
- 不同平台的基本类型字节数可能存在差异，比如部分嵌入式平台
int占2字节，计算时需要先明确当前平台的基本类型大小。 - 结构体中如果包含结构体成员，子结构体的对齐值取子结构体中最大成员的类型大小。
- 不要依赖结构体的内存布局进行跨平台的数据传输，不同平台的对齐规则可能不同，会导致数据解析错误。