C++内存对齐

结构体变量内存对齐遵循以下三个原则：

1、变量的起始地址能够被其对齐值整除，结构体变量的对齐值为最宽的成员大小；

2、结构体每个成员相对于起始地址的偏移能够被其自身对齐值整除，如果不能则在前一个成员后面补充字节；

3、结构体总体大小能够被最宽的成员大小整除，如不能则在后面补充字节。

此外还有编译器的默认对齐值，一般默认对齐值为4（结构体的实际对齐值会取结构体对齐值和编译器默认对齐值中较小的那一个）。

那么为什么要内存对齐？

1. 为了减少内存的使用；

2. 为了提升数据读取的效率

以下面结构体为例：

struct Test
{
	char a;
	int b;
	short c;
};

C++中可以使用alignof获取类型的对齐值，char类型的对齐值为1， int的对齐值为4, short的对齐值为2，整个结构体的对齐值为4。假设结构体变量的起始地址已经对齐，那么结构体的第一个成员a已经对齐，由于第一个成员a的大小为1而第二成员b的对齐值为4，则根据第二条对齐原则需要在第一个成员后填充3个字节才能使第二个成员对齐，第二个成员对齐后第三个成员的起始地址刚好为其对齐值的整数倍所以不需要进行填充，此时算上填充字节，结构体占用的总字节为10字节，又由第三条原则，结构体大小需要为4的整数倍，因此需要在第三个成员c后填充2个字节，可以算得结构体的总大小为12(在默认对齐值为2时，大小为8字节)。

改变结构体成员顺序如下：

struct Test
{
	int b;
	short c;
	char a;
};

改变成员顺序后，若结构体变量的起始地址已经对齐，则根据原则2三个成员均以对齐，中间不需要进行填充，此时结构体占用的总字节为7，又由原则3需要在最后一个变量后填充1个字节，因此结构体总大小为8(在默认对齐值为2时，大小也为8字节)。

从上面的例子可以看出根据对齐原则合理安排结构体成员的顺序可以减少内存的占用。

现在考虑一个double类型的数组(double类型为8字节对齐)， 其在内存中所处的位置如下：

 

数组的首地址为2，根据原则1数组未对齐。若CPU每次从内存中为8字节整数倍的地址开始读入8字节的数据，则每次从未对齐的数组中读取一个成员都要进行两次读取操作，而从对齐的数组中读取则只需要一次读取操作，数组对齐时读取效率有较大提升（虽然现在也有很多处理器支持非对齐的读取，但是还是推荐对齐)。