在C和C++开发中，结构体是常用的自定义数据类型，很多场景下我们需要知道结构体占用的内存大小，这时候就会用到sizeof运算符。不过结构体的实际大小往往不等于所有成员大小的总和，这背后是内存对齐原则在起作用。
sizeof运算符的基本用法
sizeof是C和C++中的单目运算符，用来计算操作数占用的内存字节数，操作数可以是类型名、变量、表达式等。对于结构体类型，sizeof会返回整个结构体实例占用的内存大小，包含因为内存对齐产生的填充字节。
先看一个简单的示例，计算普通变量的大小：
#include <stdio.h>
int main() {
int a;
char b;
// 计算int类型大小，通常是4字节
printf("int size: %zun", sizeof(int));
// 计算变量a的大小，和int类型大小一致
printf("a size: %zun", sizeof(a));
// 计算char类型大小，是1字节
printf("char size: %zun", sizeof(char));
return 0;
}
内存对齐的核心原则
内存对齐是编译器为了提升CPU访问内存效率做的优化，CPU访问内存时通常按照固定的字节数读取，比如32位系统一次读4字节，64位系统一次读8字节。如果数据没有对齐，可能需要多次访问才能读取完整数据，性能会下降。结构体的内存对齐遵循三个核心规则：
- 第一个成员的起始地址和结构体的起始地址相同，偏移量为0。
- 每个成员的起始偏移量必须是该成员类型大小的整数倍，如果不是，编译器会在前一个成员后面填充字节直到满足条件。
- 结构体的总大小必须是所有成员中最大类型大小的整数倍，如果不是，会在最后一个成员后面填充字节直到满足条件。
另外有些编译器支持自定义对齐系数，比如通过#pragma pack(n)设置对齐系数为n，这时候每个成员的偏移量需要是min(成员类型大小, n)的整数倍，结构体总大小是min(最大成员类型大小, n)的整数倍。
不同场景的结构体大小计算示例
场景1：默认对齐规则下的结构体
先看一个基础的结构体示例：
#include <stdio.h>
// 定义结构体类型
struct Test1 {
char c; // 类型大小1字节
int i; // 类型大小4字节
char d; // 类型大小1字节
};
int main() {
printf("Test1 size: %zun", sizeof(struct Test1));
return 0;
}
按照对齐规则计算：
- 成员c是char类型，大小1字节，偏移量0，符合条件。
- 成员i是int类型，大小4字节，需要偏移量是4的整数倍，当前偏移量是1，所以填充3字节，i的偏移量变成4，占用4字节，此时总偏移量到8。
- 成员d是char类型，大小1字节，偏移量8是1的整数倍，直接存放，总偏移量到9。
- 结构体总大小需要是最大成员类型大小4的整数倍，9不是4的倍数，填充3字节到12，所以最终结构体大小是12字节。
场景2：调整成员顺序后的结构体
如果把结构体的成员顺序调整一下，把同类型的成员放在一起：
#include <stdio.h>
struct Test2 {
char c; // 1字节
char d; // 1字节
int i; // 4字节
};
int main() {
printf("Test2 size: %zun", sizeof(struct Test2));
return 0;
}
计算过程：
- c偏移0，占1字节，偏移量到1。
- d偏移1，是1的整数倍，占1字节，偏移量到2。
- i需要偏移量是4的整数倍，当前偏移量2，填充2字节到4，i占4字节，偏移量到8。
- 最大成员大小是4，8是4的整数倍，所以总大小是8字节，比Test1小了4字节，合理调整成员顺序可以节省内存。
场景3：自定义对齐系数的结构体
使用#pragma pack设置对齐系数为2：
#include <stdio.h>
#pragma pack(2) // 设置对齐系数为2
struct Test3 {
char c; // 1字节
int i; // 4字节
char d; // 1字节
};
#pragma pack() // 恢复默认对齐
int main() {
printf("Test3 size: %zun", sizeof(struct Test3));
return 0;
}
计算过程：
- c偏移0，占1字节，偏移量1。
- i的类型大小是4，对齐系数是2，取min(4,2)=2，所以偏移量需要是2的整数倍，当前偏移量1，填充1字节到2，i占4字节，偏移量到6。
- d的类型大小1，min(1,2)=1，偏移量6是1的整数倍，占1字节，偏移量到7。
- 最大成员类型大小4，min(4,2)=2，总大小需要是2的整数倍，7不是，填充1字节到8，所以最终大小是8字节。
常见注意事项
- 不同编译器的默认对齐规则可能略有差异，但是核心的对齐逻辑基本一致，跨平台开发时如果需要固定结构体大小，可以显式设置对齐系数。
- 结构体的大小计算只和成员类型、顺序、对齐规则有关，和成员的具体值无关。
- 如果结构体包含数组成员，数组的对齐规则按照数组元素类型计算，比如char arr[3]的对齐值是1，int arr[2]的对齐值是4。
内存对齐的本质是牺牲部分内存空间换取CPU访问内存的效率，实际开发中可以根据场景平衡内存占用和访问性能，合理调整结构体成员顺序减少填充字节。