结构体的对齐规则:
1、第一个成员在与结构体变量偏移量为0的地址处。
2、其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
(对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值)
(VS中默认的值为8)
3、结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
4、如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
总的来说,结构体的内存对齐是拿空间来换取时间的做法。
举个栗子,如下图:
观察上图代码,思考为什么答案为8?
分析:
1、char c1:第一个成员在与结构体变量偏移量为0的地址处。此时c1在结构体所开辟内存的0地址处。
2、char c2:第二个成员要对齐到某个数字(对齐数)的整数倍的地址处。char类型应该占1个字节,为了对齐,此时VS中默认的值为8,所以选择1和8的较小值为1,此时1地址处恰好为1的整数倍,所以c2放在1地址处。
3、int i:第三个成员也要对齐到某个数字(对齐数)的整数倍的地址处。int类型应该占4个字节,为了对齐,此时VS中默认的值为8,所以选择4和8的较小值为4,按道理应该放在2地址处,但2不是4的整数倍,所以c2放在4地址处,并且i占4个字节。
4、结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。此时此结构体正好占用8个字节,上述三个成员的对齐数分别为1、1、4。8恰好为4的倍数,所以最终得到此结构体所占内存为8。
练习题
//练习1
struct S1
{
char c1;
int i;
char c2;
};
//练习2
struct S2
{
char c1;
char c2;
int i;
};
//练习3
struct S3
{
double d;
char c;
int i;
};
//练习4-结构体嵌套问题
struct S4
{
char c1;
struct S3 s3;
double d;
};
int main()
{
printf("%d\n", sizeof(struct S1)); // 4 + 4 + 4 = 12
printf("%d\n", sizeof(struct S2)); // 4 + 4 = 8
printf("%d\n", sizeof(struct S3)); // 8 + 4 + 4 = 16
printf("%d\n", sizeof(struct S4)); // 8 + 16 + 8 = 32
return 0;
}