数据对齐(align)
许多OS对基本数据类型合法地址做出了限制,要求某种类型对象的地址必须是某个值k(通常2、4、8)的倍数,以简化cpu与RAM之间的接口。
Linux的对齐策略是,2字节数据类型(short)的地址必须为2的倍数:short类型对象地址最低位必须等于0;而较大的数据类型(如int、float)的地址必须为4的倍数:int类型对象或指针地址最低两位必须是0。
IA32的一个惯例:确保每个栈帧的长度都是16字节的整数倍。
Windows对齐的要求:任何K字节基本对象的地址都必须是K的倍数,K=2,4,8。特别的要求一个double或者long long 类型的数据地址应该是8的倍数。
例子:
在Windows机器编译各字节的偏移量,以及重排序使空间最小。
struct{
char *a; 0
short b; 4
double c; 8
char d; 16
float e; 20
char f; 24
long long g; 32
void *h; 40
}foo; =48 (整个struct最后8位对齐)
重排序后:
struct{
long long g; 0
double c; 8
float e; 16
void *h; 20
char *a; 24
short b; 28
char d; 30
char f; 31
}foo; =32 (整个struct最后8位对齐)