原因
平台原因:不是所有的硬件平台都允许在任意地址上访问任意的数据类型。
性能原因:数据结构应该尽可能的在自然边界上对齐减少对内存的访问次数。
规则
不同平台上的编译器都有默认对齐系数,可通过预编译命令#pragma pack(n)修改。
1.数据成员对齐:结构体或联合的数据成员,第一个数据成员放在offect为0的位置,以后每个数据成员的对齐,取对齐系数与数据成员自身长度两者中的小值
2.结构或联合的整体对齐规则:完成数据成员对齐后,结构或联合本身还需要进行对齐,取对齐系数和最大数据成员两者中的小值进行对齐
实例
win32 32位的C编译器的对齐规则
结构体的首地址是内含的基本数据类型的数据成员中最长成员长度(k)的整数倍,并取k与n中的小值作为对齐系数,各个成员相对首地址的偏移都是成员大小的整数倍。
注意结构体的总大小也是k的整数倍。
最后介绍一下对齐的意思,如下结构体默认对齐系数假设是3
#pragma pack(3)
struct test
{
char a;
int b;
char c;
};
则a的位置放在offect=0的地方,同时sizeof(char)=1<3,按1对齐,故offect%1=0,存放在区间[0];
sizeof(int)=4>3,区间0之后第一个offect%3=0的位置为3故从3开始存放,存放在区间[3,6]
最后sizeof(char)=1<3,区间6之后第一个offect%1=0的位置为7,存放在区间[7]
完成了内部数据对齐。
之后进行结构类型对齐,因为sizeof(int)>3,所以取3进行对齐,9%3=0,故总长度为9,即sizeof(test)=9;