对齐方式
在没有#pragma pack宏的情况下:
- 原则1、数据成员对齐规则:结构(struct或则class)的数据成员,第一个数据成员放在offset为0的地方,以后每个数据成员存储的起始位置要从该成员大小的整数倍开始(比如int在32位机为4字节,则要从4的整数倍地址开始存储)。
- 原则2、结构体作为成员:如果一个结构里有某些结构体成员,则结构体成员要从其内部最大元素大小的整数倍地址开始存储。(struct a里存有struct b,b里有char,int,double等元素,那b应该从8的整数倍开始存储。)
- 原则3、收尾工作:结构体的总大小,也就是sizeof的结果,必须是其内部最大成员的整数倍,不足的要补齐。
例1:struct {
short a1;
short a2;
short a3;
}A;
struct{
long a1;
short a2;
}B;
sizeof(A) = 6; 这个很好理解,三个short都为2
sizeof(B) = 8; 这个比是不是比预想的大2个字节?long为4,short为2,整个为8,因为原则3。
例2:struct A{
int a;
char b;
short c;
};
struct B{
char b;
int a;
short c;
};
sizeof(A) = 8; int为4,char为1,short为2,这里用到了原则1和原则3。
sizeof(B) = 12; 是否超出预想范围?char为1,int为4,short为2,怎么会是12?还是原则1和原则3。
深究一下,为什么是这样,我们可以看看内存里的布局情况。
a b c
A的内存布局:1111, 1*, 11
b a c
B的内存布局:1***, 1111, 11**
其中星号*表示填充的字节。A中,b后面为何要补充一个字节?因为c为short,其起始位置要为2的倍数,就是原则1。c的后面没有补充,因为b和c正好占用4个字节,整个A占用空间为4的倍数,也就是最大成员int类型的倍数,所以不用补充。
B中,b是char为1,b后面补充了3个字节,因为a是int为4,根据原则1,起始位置要为4的倍数,所以b后面要补充3个字节。c后面补充两个字节,根据原则3,整个B占用空间要为4的倍数,c后面不补充,整个B的空间为10,不符,所以要补充2个字节。
#pragma pack
程序编译器对结构的存储的特殊处理确实提高CPU存储变量的速度,但是有时候也会带来一些麻烦,我们可以自己设定变量对齐方式
编译器中提供了#pragma pack(n)来设定变量以n字节对齐方式。n字节对齐就是说变量存放的起始地址的偏移量有两种情况:
- 如果n大于等于该变量所占用的字节数,那么偏移量必须满足默认的对齐方式
- 如果n小于该变量的类型所占用的字节数,那么偏移量为n的倍数,不用满足默认的对齐方式
结构的总大小也有个约束条件,分为下面两种情况:
- 如果n大于所有成员变量类型所占用的字节数,那么结构的总大小必须为占用空间最大的变量占用的空间数的倍数
- 否则必须为n的倍数
举例:
- #include <stdio.h>
- #pragma pack(4)
- typedef struct test {
- char m1;
- double m4;
- int m3;
- } test;
- int main(void)
- {
- test test1;
- printf("%d\n", sizeof(test1));
- return 0;
- }
以上结构体的大小为16,下面分析一下存储情况:
- 首先为m1分配内存空间,其偏移量为0,满足我们自己设定的对齐方式(4字节对齐),m1大小为1byte
- 接着为m4分配内存空间,这时其偏移量为4,需要补足3个字节,这样使得偏移量满足4的倍数,m2大小为8byte
- 接着为m3分配内存空间,这时其偏移量为12,满足为4的倍数,m3占用4个byte
所以,总共占用的空间为:1+3+8+4 = 16
总结
- 复杂类型中各个成员按照它们被声明的顺序在内存中顺序存储,第一个成员的地址和整个类型的地址相同
- 每个成员分别对齐,即每个成员按自己的方式对齐,并最小化长度;规则就是每个成员按其数据类型的对齐参数(通常是这个类型的大小)和指定对齐参数中较小的一个对齐
- 结构、联合或者类的数据成员,第一个放在偏移量为0的地方;以后每个数据成员的对齐,按照#pragma pack指定的数值和这个数据成员自身长度两个中比较小的那个进行
- 复杂类型(如结构体)整体的对齐,是按照结构体中长度最大的数据成员和#pragma pack指定值间较小的那个值进行;这样在成员是复杂类型时,可以最小化长度
- 结构整体长度的计算必须取所用过的所有对齐参数的整数倍,不够补字节;也就是取所用过的所有对齐参数中最大的那个值的整数倍,因为对齐参数都是2的n次方