C语言中结构体内存对齐规则:按照最大对齐数的整数倍对齐。那么,最终结构体的大小也肯定为最大对齐数的整数倍。
最大对齐数:就是每个成员变量都有一个对齐数,那就选择最大对齐数的整数倍。
例如:
char 占据 1Byte,所以 char类型 最大对齐数为1Byte。
int 占据4Byte,所以 int类型 最大对齐数为4Byte。
short占据2Byte,所以 short类型 最大对齐数为2Byte。
float占据4Byte,所以 float类型 最大对齐数为4Byte。
double占据8Byte,所以 double类型 最大对齐数为8Byte。
long占据4Byte,所以 long类型 最大对齐数为4Byte。
所以,在结构体中,选取最大对齐数的整数倍的最小值(“最大对齐数”的最小整数倍),为结构体的字节大小。
例一:
第一个成员存储在结构体开头位置,相对于结构体基地址偏移为0.
其中c1在起始位置,占据1Byte。a为第二个成员,int类型,占据4Byte。c2为第三个成员,char类型,占据1Byte。
根据结构体对齐规则,因为最大对齐数为4,所以c1距离a需要满足4的倍数,所以,c1距离a相差要满足4Byte,所以0地址处为c1, (0+4)Byte处为a。
c2也占据1Byte,但由于满足最大对齐数的整数倍原则,所以,c2之后也要预留3个Byte。所以总共结构体占据(1+3)+4+(1+3) = 12Byte。
例二:
这两个都是8Byte。
例三:
如果嵌套了结构体。仍要按照对齐原则,只不过此时结构体大小要按照:所有成员(包含嵌套结构体中的成员)的最大对齐数的最小整数倍。
讲解:
1)结构体Inside,大小为24Byte。因为double类型的b占据8Byte,且是结构体Inside成员中的最大的对齐数,char a[16]可以拆分为8+8,即:两个8Byte。为什么这么分呢,是因为:char [],本质还是char类型的,所以最大对齐数仍为1Byte,所以我们把数组a[16]拆分为两个8Byte。所以最终的Inside所占大小就为 (8+8)+8 = (char[8] + char[8])+double = 24Byte。
2)结构体Outside,int a占据4Byte,char b[5]同理占据4+1+3.这是没有内嵌Inside时候的大小。但是由于内嵌了结构体Inside,又因为Inside中有double b,在整个Outside中拥有最大对齐数,所以结构体Outside大小要符合double的对齐数规则,即是8的整数倍。
所以,int a实际有4Byte变为了8Byte,char b[5]由实际的5Byte变为了8Byte,结构体Inside是24Byte(已经满足了double的对齐规则),故Outside的大小为8+8+24 = 40Byte。