结构体边界对齐



　　许多实际的计算机系统对基本类型数据在内存中存放的位置有限制，它们会要求这些数据的首地址的值是某个数k(通常它为4或8)的倍数，这就是所谓的内存对齐，而这个k则被称为该数据类型的对齐模数(alignment modulus)。当一种类型S的对齐模数与另一种类型T的对齐模数的比值是大于1的整数，我们就称类型S的对齐要求比T强(严格)，而称T比S弱(宽松)。这种强制的要求一来简化了处理器与内存之间传输系统的设计，二来可以提升读取数据的速度。比如这么一种处理器，它每次读写内存的时候都从某个8倍数的地址开始，一次读出或写入8个字节的数据，假如软件能保证double类型的数据都从8倍数地址开始，那么读或写一个double类型数据就只需要一次内存操作。否则，我们就可能需要两次内存操作才能完成这个动作，因为数据或许恰好横跨在两个符合对齐要求的8字节内存块上。某些处理器在数据不满足对齐要求的情况下可能会出错，但是Intel的IA32架构的处理器则不管数据是否对齐都能正确工作。不过Intel奉劝大家，如果想提升性能，那么所有的程序数据都应该尽可能地对齐。

 

规则:

　　第一,编译器按照成员列表的顺序给每个成员分配内存.
　　第二,当成员需要满足正确的边界对齐时,成员之间用额外字节填充.
　　第三,结构体的首地址必须满足结构体中边界要求最为严格的数据类型所要求的地址.
　　第四,结构体的大小为其最宽基本类型的整数倍.

 

　　sizeof操作符能够得出一个结构体的整体长度,包括因边界对齐而额外填充的那些字节.

　　offsetof(type, member)宏能求得成员在结构体内的偏移,返回size_t.