1、结构(struct)(或联合(union))中的第一个数据成员放在offset为0的地方,以后每个数据成员存储的起始位置要从该成员大小或者成员的子成员大小(只要该成员有子成员,比如说是数组,结构体等)的整数倍开始(比如int型变量在32位编译环境下为4字节,则要从4的整数倍地址开始存储;
2、如果一个结构里有某些结构体成员,则结构体成员要从其内部最大元素大小的整数倍地址开始存储.(如:struct a里存有struct b,b里有char,int ,double等元素,那b应该从8的整数倍开始存储.);
3、结构体的总大小,也就是sizeof的结果,必须是其内部最大成员的整数倍,不足的要补齐;
typedef struct Demo_A
{
double length; // 0 - 7;
int id; // 8 - 11;
char op; // 12 - 13;
float weight; // 16 - 19;
}AA;
typedef struct Demo_B
{
char name[5]; // 0 - 4 ;
int id; // 8 - 11 ;
double score; // 16 - 23 ;
float ui; // 24 - 27 ;
short grade; // 28 - 31 ;
char weight; // 32 ;
}BB;
//总大小为最大成员变量大小的整数倍,sizeof(AA) = 24; sizeof(BB) = 32;
#pragma pack()
在代码前加一句#pragma pack(1),会发现 sizeof(AA) = 17; sizeof(BB) = 24;
AA 是8+4+1+4=17;
BB 是5+4+8+4+2+1=24;
这就是理想中的没有内存对齐的情况,所以#pragma pack(1)是告诉编译器,所有的对齐都按照1的整数倍对齐,换句话说就是没有对齐规则。
即#pragma pack(n)就是所有的对齐都按照n的整数倍对齐。
ps:
Vc,Vs等编译器默认是#pragma pack(8),所以测试我们的规则会正常;
gcc默认是#pragma pack(4),并且gcc只支持1,2,4对齐。套用三原则里计算的对齐值是不能大于#pragma pack指定的n值。
另参考:C语言结构体字节对齐原则