字节对齐的细节和编译器实现有关,一般而言,需要满足3个准则:
1:结构体变量的首地址能够被其最宽基本类型成员的大小所整除
2:结构体每个成员相对于结构体首地址的偏移量(offset)都是成员大小的整数倍。如有需要,编译器会在成员之间加上填充字节。
3:结构体的总大小为结构体最宽基本类型成员大小的整数倍,如有需要,编译器会在最末一个成员之后加上填充字节。
对齐是可以更改的,使用#pragma pack(x)可以改变编译器的对齐方式。
C++固有类型的对齐取 编译器对齐方式(默认是8,除非#pragma pack指定)与自身大小中较小的一个。
使用sizeof计算联合体的大小:
union u2
{
char a[13];
int b;
}
对于u2来说,最大的空间是char[13]类型的数组。这里要注意,由于它的另一个成员int b的存在,u2的对齐方式变成4,也就是说,U2的大小必须在4的对齐上,所以占用空间变为最接近13的对齐(4的倍数),即16.
使用sizeof计算结构体的大小:
struct test{
char c;
short s1;
short s2;
int i;
}
如果指定#pragma pack(1),那么将对齐设置为1,结果为1 + 2 + 2 +4 = 9
如果不指定对齐,就编译器按照默认对齐为8.由于各成员自身的对齐都小于8,因此它们使用自身的对齐,结果为1 + 1(补齐) + 2 + 2 + 2(补齐) +4 = 12