首先,先来算一下,下面的这个例子,这些结构体的大小是多少呢?
struct s4
{
char c1;
struct s3 a;
double b;
};
struct s3
{
double b;
char c;
int i;
}s3,*p;
struct s2
{
char c1;
char c2;
int i;
};
struct s1
{
char c1;
int i;
char c2;
};
计算结构体大小的时候就会牵扯到一个问题:结构体内存对齐
内存对齐本质上就是用空间换时间的方案。
可是,为什么会存在内存对齐?
有下面两个方面的原因:
1) 平台原因(移植原因)
因为并不是所有的硬件平台都能访问任意地址上的任意数据;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
2)性能原因
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要做两次内存访问;而对齐的内存访问仅需要一次。
结构体的内存对其规则:
1) 第一个成员在结构体变量偏移量为0的地址处。
2) 其他成员变量要对其到某个数字(对齐数)的整数倍的地址处。
对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。
VS中默认的值为8,linux中默认的为4
3) 结构体总大小为最大对齐数(每个成员变量除了第一个成员外都有一个对齐数)的整数倍.
4) 如果嵌套了有结构体的情况,嵌套的结构体对其到自己的最大对齐数的整数倍,结构体的整体大小就是所有最大对齐数(含嵌套的结构体的对齐数)的整数倍。
5) 结构体的第一个元素不需要对齐。
现在,来看上面给的那个例子,结果如下:
分别为:12 、8、16、28
我是在Linux下运行的,编译器默认对齐数为4.
结构体的内存对齐是用空间换时间的,那么在设计结构体时,怎样才能既满足内存对齐,又要节省空间?
答案是让占用空间小的成员集中在一起。比如我们上面例子中的s1和s2,s1将两个char类型变量分开存储,占内存空间为12,但是s2结构体将两个char类型的变量放在一起存储,占内存大小为8,比s1少了4个字节。
我们可以通过#pragma pack()来更改默认对齐数:
1>参数设置为2的n次方
2>如果一个参数都不传,恢复默认
3>#pragma pack()设置对齐数不能超过默认,否则不起作用