struct S1
{
char c1;
char c2;
int i;
};
struct S2
{
char c1;
int i;
char c2;
};
我们来看上面两个结构体,并且求出两个结构体所占空间大小。
两个结构体里的成员类型一样,根据所学的数据类型大小我们会觉得两个结构体的大小一样,并且都是6。而在vs上的结果却与我们想的截然不同。
为什么会出现这样的现象呢?因为我们把结构体成员放在了某一个对其的位置上,如果将其进行对其,就会浪费一些空间。因此实际开辟使用的空间比我们需要的要大。
首先来看看对齐规则
对齐规则
1.结构体第一个成员对齐到和结构体变量起始位置偏移量为0的地址处
2.其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处
对齐数
编译器默认的一个对齐数与该成员变量大小的较小值
VS 默认 8
Linus 、gcc中没有默认对齐数,对齐数就是成员自身的大小
3.结构体总大小为最大对齐数(结构体中每个成员变量都有一个对齐数,所有对齐数中最大的)的 整数倍。
判断8是最大对齐数(4)的整数倍,因此S1的大小是8.
判断9不是最大对齐数(4)的整数倍,因此最后的S2大小是12。
4.如果嵌套了结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构 体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍。
紧接着上文的S2结构体,判断S3的大小
struct S3
{
char c1;
int i;
struct S2 s2;
};
S2中的最大成员 i 大小是4,所以S2对齐到4的倍数处,由上文可知S2大小是12个字节。
最后S3的整体大小是最大对齐数(4)的整数倍,20是4的倍数,因此S3大小是20.
例题
#include<stdio.h>
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;
}
d占8个,c占1个,i对其到12,之后再加4,最终S3的大小是16.
c1占1个,S3对齐到8的整数倍8之后再加16就是24,d占8个,最终S4的大小是32.
宏offsetof
offsetof可以计算结构体成员相较于起始位置的偏移量
offsetof (type,member)
传的第一个参数是结构体类型,第二个是结构体成员
需要的头文件<stddef.h>
举例看上文S1中成员的偏移量
为什么存在内存对齐
1.平台原因
不是所有的硬件平台都能访问任意地址上的任意数据的,某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
2.性能原因
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。假设一个处理器总是从内存中取8个字节,则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对齐成8的倍数,那么就可以用一个内存操作来读或者写值了。否则,我们可能需要执行两次内存访问,因为对象可能被分放在两个8字节内存块中。
总体来说:结构体的内存对齐是拿空间来换取时间的做法,访问效率更高。
所以在设计结构体的时候,我们既要满足对齐,又要节省空间,所以我们要让占用空间小的成员尽量集中在一起。
修改默认对齐数
#pragma这个预处理指令,可以改变编译器的默认对齐数。
#include<stdio.h>
#pragma pack(1)//设置默认对齐数是1
struct S1
{
char c1;
char c2;
int i;
};
#pragma pack()//取消设置的对齐数,恢复到默认值
struct S2
{
char c1;
int i;
char c2;
};
int main()
{
printf("%d\n", sizeof(struct S1));
printf("%d\n", sizeof(struct S2));
return 0;
}
结构体在对齐方式不合适的时候,我们可以自己更改默认对齐数。