含有基本类型的结构体的大小所对应的最终决定因素是结构体内自身成员的分布。成员不同的分布将导致含有相同成员结构体大小的不同,每个成员的对齐都是以紧接着后面的一个为参考的,如果紧接着的大于对应指定,就以紧接着的为对齐因子,否则将联系周围的具体情况进行对齐,而且对齐因子只有三种类型:1,2,4。对于最后一类孤立的成员,以结构体中最大成员一致。下面将通过实例来验证。
【1】结构体变量的首地址能够被其最宽基本类型成员的大小所整除
【2】结构体每个成员相对于结构体首地址的偏移量是成员大小的整数背
【3】结构体的总大小为结构体最宽基本类型成员大小的整数背
以上都是结构体中只有基本类型时的缺省对齐方式,当有嵌套复合成员时,
【2】改为:复合成员相对于结构体首地址偏移量是复合成员最宽基本类型大小的整数背
变量地址的差。结构体大小等于最后一个成员的偏移量加上最后一个成员的大小。
由于存储变量时地址对齐的要求,编译器在编译程序时会遵循两条原则:
一、结构体变量中成员的偏移量必须是成员大小的整数倍(0被认为是任何数的整数倍)
二、结构体大小必须是所有成员大小的整数倍。
这是一种说法,还有一种说法:
结构体默认的字节对齐一般满足三个准则:
1) 结构体变量的首地址能够被其最宽基本类型成员的大小所整除;
如有需要编译器会在成员之间加上填充字节(internal adding);
3) 结构体的总大小为结构体最宽基本类型成员大小的整数倍,如有需要编译器会在最末
一个成员之后加上填充字节。
我自己写了三个结构体测试了一下,代码如下:
输出结果是:
12
8
20
先看第一个结构体,第一个成员a的偏移量为0。第二个成员b的偏移量是第一个成员的偏移量加上第一个成员的大小(0+4),其值为4;第三个成员c的偏移量是第二个成员的偏移量加上第二个成员的大小(4+1),其值为5。上面的例子中前两个成员的偏移量都满足要求,但第三个成员的偏移量为5,并不是自身(int)大小的整数倍。编译器在处理时会在第二个成员后面补上3个空字节,使得第三个成员的偏移量变成8。结构体大小等于最后一个成员的偏移量加上最后一个成员的大小。偏移量8加上最后一个成员c自身的大小,即为9,9不能被最宽基本类型成员大小整除,所以这里编译器会在最后补齐3个字节,得出12。
至于第二个结构体,大小等于最后一个成员的偏移量加上其大小,上面的例子中计算出来的大小为8,满足要求。