现在深入讨论一个问题我们:计算结构体的大小。
分析如下代码1:
struct S1
{
char c1;
int i;
char c2;
};
int main()
{
printf("%d\n", sizeof(struct S1));
return 0;
}
按照以往的思路,该结构体大小应为:1+4+1=6;但结果为12个字节;为什么?
这就涉及到了结构体内存对齐!
结构体内存对齐规则:
1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。 对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。 VS中默认的值为8
3. 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
4. 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整 体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
分析代码1:
若稍加改动成员列表顺序,又将如何:代码2如下
struct S2
{
char c1;
char c2;
int i;
};
int main()
{
printf("%d\n", sizeof(struct S2));
return 0;
}
分析代码2:
结果为8:我们可以粗略的发现,让占用空间小的成员尽量集中在一起,可以节省空间。
同理:我们可用同样的方法去分析如下代码作为练习
struct S3
{
double d;
char c;
int i;
};
//结构体嵌套问题
struct S4
{
char c1;
struct S3 s3;
double d;
};
int main()
{
printf("%d\n", sizeof(struct S3));
printf("%d\n", sizeof(struct S4));
return 0;
}
为什么存在内存对齐?
1. 平台原因(移植原因): 不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特 定类型的数据,否则抛出硬件异常。
2. 性能原因: 数据结构(尤其是栈)应该尽可能地在自然边界上对齐。 原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。
总体来说: 结构体的内存对齐是拿空间来换取时间的做法。
那在设计结构体的时候,我们既要满足对齐,又要节省空间
如何做到: 让占用空间小的成员尽量集中在一起。
修改默认对齐数
#include <stdio.h>
#pragma pack(8)//设置默认对齐数为8
struct S1
{
char c1;
int i;
char c2;
};
#pragma pack()//取消设置的默认对齐数,还原为默认
#pragma pack(1)//设置默认对齐数为1
struct S2
{
char c1;
int i;
char c2;
};
#pragma pack()//取消设置的默认对齐数,还原为默认
计算结构体成员相对于起始位置的偏移量
offsetof - 宏
int main()
{
printf("%u\n", offsetof(struct S2, c1));
printf("%u\n", offsetof(struct S2, c2));
printf("%u\n", offsetof(struct S2, i));
return 0;
}
运行结果如下:
与先前分析一致!