内存对齐

结构体内存对齐

什么是结构体内存对齐？

默认的对齐方式：各成员变量在存放的时候根据在结构中出现的顺序依次申请空间，同时按照上面的对齐方式调整位置，空缺的字节编译器会自动填充。
同时编译器为了确保结构的大小为结构的字节边界数（即该结构中占用最大空间的类型所占用的字节数）的倍数，所以在为最后一个成员变量申请空间后，还会根据需要自动填充空缺的字节。
这样的定义语言是不是有些难懂？下面通过一个实例来演示内存对齐。

内存对齐实例

深信服（C++软件开发）面试原题：

struct A
{
  char a;
  int b;
  char c;
  double d;
};

1. 先为第一个成员a分配空间，其起始地址和结构体的起始地址相同（偏移量为0），该变量为char型，占用sizeof(char) = 1个字节；
2. 再为第二个成员b分配空间，这时下一个可以分配的地址对于结构体的偏移量为1，不是sizeof(int) = 4 的倍数，所以编译器需要自动补齐3个字节，变量b存储在偏移量为4的地址上，它占用4个字节；此时的偏移量为1+3+4=8；
3. 为第三个成员c分配空间，这时下一个可以分配的地址对于结构体的偏移量为8，是sizeof(char) = 1 的倍数，所以变量c存储在偏移量为8的地址上，它占用1个字节；此时的偏移量为8+1=9;
4. 为第四个成员d分配空间，这时下一个可以分配的地址对于结构体的偏移量为9，不是sizeof(double) = 8 的倍数，所以编译器需要自动补齐 (8*2-9)=7 个字节，变量b存储在偏移量为16的地址上，它占用8个字节；此时的偏移量为9+7+8=24；
5. 偏移量为24，是结构体中最大空间类型所占用字节数 8 （sizeof(double) ) 的倍数，不需要补齐；
6. 所以最终结构体占用的总空间大小为24个字节。

n字节对齐方式

人为设定n字节对齐方式

在VC中提供了#pragmapack(n)来设定变量以n字节对齐方式。
n字节对齐就是说变量存放的起始地址的偏移量有两种情况：

1. 如果n大于等于该变量所占用的字节数，那么偏移量必须满足默认的对齐方式；
2. 如果n小于该变量的类型所占用的字节数，那么偏移量为n的倍数，不用满足默认的对齐方式。

结构的总大小也有个约束条件：

1. 如果n大于所有成员变量类型所占用的字节数，那么结构的总大小必须为占用空间最大的变量占用的空间数的倍数；
2. 否则必须为n的倍数。

设定n字节对齐方式实例

仍以上面代码为例，稍加修改：

#pragmapack(push)	//保存对齐状态
#pragmapack(4)		//设定为4字节对齐

struct A
{
  char a;
  int b;
  char c;
  double d;
};

#pragmapack(pop)	//恢复对齐状态

1. 先为第一个成员a分配空间，其起始地址和结构体的起始地址相同（偏移量为0），满足我们设定的4字节对齐方式，该变量占用sizeof(char) = 1个字节；
2. 再为第二个成员b分配空间，这时下一个可以分配的地址对于结构体的偏移量为1，不是sizeof(int) = 4 和设定的4字节的倍数，所以编译器需要自动补齐3个字节，变量b存储在偏移量为4的地址上，它占用4个字节；此时的偏移量为1+3+4=8；
3. 为第三个成员c分配空间，这时下一个可以分配的地址对于结构体的偏移量为8，是sizeof(char) = 1 的倍数，所以变量c存储在偏移量为8的地址上，它占用1个字节；此时的偏移量为8+1=9;
4. 为第四个成员d分配空间，这时下一个可以分配的地址对于结构体的偏移量为9，不是我们设定的 4 的倍数（因为sizeof(double)大于4），所以编译器需要自动补齐 (4*3-9)=3 个字节，变量b存储在偏移量为12的地址上，它占用8个字节；此时的偏移量为9+3+8=20；
5. 偏移量为20，满足4的倍数，不需要补齐；
6. 所以最终结构体占用的总空间大小为20个字节。

内存对齐的作用

我们平时理解中的内存是一个一个字节分开存储的，但是CPU并不是这样看待的。

CPU把内存当成是一块一块的，比如块的大小是4，8，16个字节大小，因此CPU在读取内存时是一块一块地读取。

如图，当数据对齐时（从0字节开始），CPU只需读取一次内存就可以把4个字节的数据完全读取到寄存器中

当数据没有对齐，比如从1字节开始，CPU读取数据有些复杂，需要分两次才能读取到数据

总结

其实内存对齐就是拿空间换取时间的做法，来提高CPU读数据的效率。