为了使CPU能够对变量进行快速的访问,变量的起始地址应该具有某些特性,即所谓的”对齐”,比如4字节的int型,其起始地址应该位于4字节的边界上,即起始地址能够被4整除,也即对齐跟数据在内存中的位置有关。如果一个变量的内存地址正好位于它长度的整数倍,他就被称做自然对齐。
现代计算机中内存空间都是按照byte划分的,从理论上讲似乎对任何类型的变量的访问可以从任何地址开始,但实际情况是在访问特定类型变量的时候经常在特定的内存地址访问,这就需要各种类型数据按照一定的规则在空间上排列,而不是顺序的一个接一个的排放,这就是对齐。
自然对界(natural alignment)即默认对齐方式,是指按结构体的成员中 size 最大的成员对齐。
为了提高 CPU 的存储速度,编译器会对一些变量的起始地址做了“对齐”处理。
对齐方式(变量存放的起始地址相对于结构的起始地址的偏移量)
char 偏移量必须为 sizeof(char) 即 1 的倍数
int 偏移量必须为 sizeof(int) 即 4 的倍数 (跟编译器有关,有可能是 2)
float 偏移量必须为 sizeof(float) 即 4 的倍数
double 偏移量必须为 sizeof(double) 即 8 的倍数
short 偏移量必须为 sizeof(short) 即 2 的倍数
为了确保结构的大小为结构的字节边界数(即该结构中占用最大空间的类型所占用的字节数)的倍数,所以在为最后一个成员变量申请空间后,还会根据需要自动填充空缺的字节。
struct MyStruct
{
double a; //偏移量为 0 ,占用 8 字节
char b; //偏移量为 8 ,占用 1 字节
//后面的 int 型偏移量必为 4 的倍数,故编译器自动填充 3 个空缺的字节
int c; //偏移量为 12 ,占用 4 字节
}; //sizeof(MyStruct)=8+1+3+4=16