1.结构体对齐含义
Ø 结构体的存储结构
Ø 结构体的总大小(sizeof)
2.结构体对齐原则
Ø 结构体是按照成员定义顺序存储的
Ø 结构体第一个成员从offset为0的地址开始存储
Ø 成员存储起始地址必须满足:min(“成员自身类型的模数”,“#pragam pack(x)”) 的整数倍,否则补齐直到满足
Ø 结构体的总大小必须满足:min(“结构体内部最大成员模数”," #pragam pack(x)")的整数倍,否则补齐直到满足
Ø 当结构体作为其他结构体成员时,成员模数为”结构体内部最大成员模数“
表-1 各类型成员的长度及模数默认值
char | short | int | long | double | long double | |
windows | 1 | 2 | 4 | 4 | 8 | 8 |
linux | 1 | 2 | 4 | 4 | 4 | 4 |
例1:无“#pragma pack(x)”宏定义
typedef struct
{
char a;
char b;
double c;
short d;
}Test;
存储结构:
因为无”#pragma pack()“宏定义:
min("成员自身类型的模数","#pragma pack(x)")=“成员自身类型的模数”;
min(”结构体内部最大成员模数“,"#pragma pack(x)")="结构体内部最大成员模数";
成员a:模数为1,为第一个成员,offset地址为“Addr0”;
成员b:模数为1,“Addr1”满足为1的整数倍条件;
成员c:模数为4,”Addr2“不满足为4的整数倍条件,应取”Addr4“,并补齐”Addr2“、"Addr3";
成员d:模数为2,”Addr8“满足为2的整数倍条件;
sizeof(Test):结构体内部最大成员模数为4,目前结构体长度为10,10不是4的整数倍,所以还需补齐2个字节,总大小为12;
例2:有“#pragma pack(x)”宏定义
#pragma pack(2)
typedef struct
{
char a;
char b;
double c;
short d;
}Test;
#pragma pack()
存储结构:
成员a:模数为1,为第一个成员,offset地址为“Addr0”;
成员b:模数为1,min("成员自身类型的模数","#pragmapack(2)")=1,“Addr1”满足为1的整数倍条件;
成员c:模数为4,min("成员自身类型的模数","#pragmapack(2)")=2,”Addr2“满足为2的整数倍条件;
成员d:模数为2,min("成员自身类型的模数","#pragmapack(2)")=2,”Addr6“满足为2的整数倍条件;
sizeof(Test):结构体内部最大成员模数4,min(结构体内部最大成员模数,"#pragmapack(2)")= 2,目前结构体长度为8,满足2的整数倍条件;