C++中的内存对齐

C++的内存对齐机制

在C++11之前我们经常这么用

 #pragma pack(4)         //指定接下来，4字节对齐

在C++11后引入了alignas 等一系列关键字。

在C++中每个类型都有两个属性，一个是大小（size），还有一个就是对齐要求（alignment requirement），或称之为对齐量（alignment）。
C++标准并没有规定每个类型的对齐量，但是一般都会有这样的规律。

1. 所有基础类型的对齐量等于这个类型的大小。
2. struct, class, union类型的对齐量等于他的非静态成员变量中最大的对齐量。
3. 另外，标准规定所有的对齐量必须是2的幂。

编译器在给一个变量分配内存时，都要算出并满足这个类型的对齐要求。struct和class类型的非静态成员变量的字节数偏移（offset）也要满足各自类型的对齐要求。

举例来说

class MyObject
{
    char c;//0-1 | 2-4为空
    int i;//5-8
    short s;//9-10 | 11-12为空
};

c是char类型，对齐要求是1，i是int类型，对齐要求是4，s是short类型，对齐要求是2。那么MyObject取最大的，也就是4作为他的对齐要求。如果在某个函数中声明了MyObject类型的变量，那么分配给这个变量的内存的起始地址是能够被4整除的。

我们再看MyObject的成员变量。c是MyObject的第一个成员变量，所以他的字节数偏移是0，也就是说变量c占据MyObject的第一个byte。i的对齐要求是4，所以字节数偏移必须是4的倍数，又因为变量i必须在变量c的后面，于是i的字节数偏移就是4，也就是说变量i占据MyObject的第5到第8个byte，而第2到第4个byte则是空白填充（padding）。s的对齐要求是2，又因为s必须在i的后面，所以s的字节数偏移是8，也就是说，变量s占据MyObject的第9个和第10个byte。另外，因为struct、class、union类型的数组的每个元素都要内存对齐，所以一般来说struct、class、union的大小都是这个类型的对齐量的整数倍，所以MyObject的大小是12，也就是说，变量s后面会有2个byte的空白填充。

在C++中修改对齐要求

一般情况下，我们不需要自定义对齐要求，但也会有很特殊的情况下需要做调整。C++中，我们可以使用alignas关键字修改一个类型、或者一个变量的对齐要求。例如：

class MyObject
{
    char c;//0-1 |2-8为空
    alignas(8) int i;//9-12 | 这里只改变了i的对齐方式
    short s;//13-14 |15-16位空
};

这样的话，变量i的对齐要求由原本的4变成了8，结果就是，i的字节数偏移由4变成了8，s的字节数偏移由8变成了12，MyObject的对齐要求也变成了8，大小变成了16。

我们也可以对MyObject的定义使用alignas：

class alignas(16) MyObject
{
    char c;
    int i;
    short s;
};

还可以在alignas里面写某个类型。也可以使用多个alignas，结果就是使用最大的对齐要求。例如以下MyObject的对齐要求就是16：

class alignas(int) alignas(16) MyObject
{
    char c;
    int i;
    short s;
};

alignas有一个限制，那就是不能用alignas改小对齐要求。例如以下的代码会报错：

alignas(1) int i;

内存对齐的好处：

各个硬件平台对存储空间的处理上有很大的不同。如果不按照适合其平台要求对数据存放进行对齐，会在存取效率上带来损失。
比如有些平台每次读都是从偶地址开始，如果一个int型（假设为32位系统）如果存放在偶地址开始的地方，那么一个读周期就可以读出，而如果存放在奇地址开始的地方，
就可能会需要2个读周期，并对两次读出的结果的高低字节进行拼凑才能得到该int数据。显然在读取效率上下降很多。这也是空间和时间的取舍;

可以提升程序运行效率，相当于碎片整理

最容易遇到的场景就是：收到网络字节流，消息头是结构化的，定义一个结构体，强转读取对应的字段