c++ 之字节对齐

  什么是字节对齐

     现代计算机中，内存空间按照字节划分，理论上可以从任何起始地址访问任意类型的变量。但实际中在访问特定类型变量时经常在特定的内存地址访问，这就需要各种类型数据按照一定的规则在空间上排列，而不是顺序一个接一个地存放，这就是对齐。

二  对齐的原因和作用

     不同硬件平台对存储空间的处理上存在很大的不同。某些平台对特定类型的数据只能从特定地址开始存取，而不允许其在内存中任意存放。例如Motorola 68000 处理器不允许16位的字存放在奇地址，否则会触发异常，因此在这种架构下编程必须保证字节对齐。

     但最常见的情况是，如果不按照平台要求对数据存放进行对齐，会带来存取效率上的损失。比如32位的Intel处理器通过总线访问(包括读和写)内存数据。每个总线周期从偶地址开始访问32位内存数据，内存数据以字节为单位存放。如果一个32位的数据没有存放在4字节整除的内存地址处，那么处理器就需要2个总线周期对其进行访问，显然访问效率下降很多。

     因此，通过合理的内存对齐可以提高访问效率。为使CPU能够对数据进行快速访问，数据的起始地址应具有“对齐”特性。比如4字节数据的起始地址应位于4字节边界上，即起始地址能够被4整除。

     此外，合理利用字节对齐还可以有效地节省存储空间。但要注意，在32位机中使用1字节或2字节对齐，反而会降低变量访问速度。因此需要考虑处理器类型。还应考虑编译器的类型。在VC/C++中：

32位编译器：32位系统下指针占用4字节

64位编译器：64位系统下指针占用8字节

对齐准则

     先来看四个重要的基本概念：

     1) 数据类型自身的对齐值：char型数据自身对齐值为1字节，short型数据为2字节，int/float型为4字节，double型为8字节。

     2) 结构体或类的自身对齐值：其成员中自身对齐值最大的那个值。

     3) 指定对齐值：#pragma pack (value)时的指定对齐值value。

     4) 数据成员、结构体和类的有效对齐值：自身对齐值和指定对齐值中较小者，即有效对齐值=min{自身对齐值，当前指定的pack值}。

其中，有效对齐值N是最终用来决定数据存放地址方式的值。有效对齐N表示“对齐在N上”，即该数据的“存放起始地址%N=0”。而数据结构中的数据变量都是按定义的先后顺序存放。第一个数据变量的起始地址就是数据结构的起始地址。结构体的成员变量要对齐存放，结构体本身也要根据自身的有效对齐值圆整(即结构体成员变量占用总长度为结构体有效对齐值的整数倍)。

使用的代码指令

• 使用伪指令#pragma pack(n)：C编译器将按照n个字节对齐；
• 使用伪指令#pragma pack()： 取消自定义字节对齐方式。

或者是

• 使用伪指令#pragma pack( push,n)：C编译器将按照n个字节对齐；
• 使用伪指令#pragma pack(pop)： 取消自定义字节对齐方式。

push 、pop 是先进先出。

总结：

如果没有定义#pragma pack(n)

sizeof的最终结果必然是结构内部最大成员的整数倍，不够补齐；

结构内部各个成员的首地址必然是自身大小的整数倍；

如果定义了#pragma pack(n)

sizeof的最终结果必然必然是min[n,结构内部最大成员]的整数倍，不够补齐；

结构内部各个成员的首地址必然是min[n,自身大小]的整数倍。

延伸：

__declspec(align(n)) declarator

其中，n是对齐参数，其有效值是2的整数次幂（从1到8192字节），如2，4，8，16，32或64。参数declarator是要设置对齐方式的数据。
1.使用__declspec(align(n))来精确控制用户自定义数据的对齐方式。你可以在定义struct，union，class或声明变量时使用__declspec(align(n))。
2.不能为函数参数使用__declspec(align(n))。

3. 如果未使用__declspec(align(#))，编译器将根据数据大小按自然边界对齐。如4字节整数按4字节边界对齐；8字节double按8字节 边界对齐。类或结构体中的数据，将取数据本身的自然对齐方式和#pragma pack(n)设置的对齐系数中的最小值进行对齐。
4.__declspec(align(n))和#pragma pack(n)是一对兄弟，前者规定了对齐系数的最小值，后者规定了对齐系数的最大值。
5.当两者同时出现时，前者拥有更高的优先级，即当两者同时出现且值矛盾时，后者将不起作用。

_declspec ( align() )的一个特点是，它仅仅规定了数据对齐的位置，而没有规定数据实际占用的内存长度，当指定的数据被放置在确定的位置之后，其后的数据填充仍然是按照#pragma pack规定的方式填充的。

若alignas小于自然对齐的最小单位，则被忽略。

如果想使用单字节对齐的方式，使用alignas是无效的。应该使用#pragma pack(push,1)或者使用__attribute__((packed))。

struct alignas(4) Info2

{

uint8_t a;

uint16_t b;

uint8_t c;

};

std::cout << sizeof(Info2) << std::endl; // 8 4 + 4

std::cout << alignof(Info2) << std::endl; // 4

__attribute__ 

GNU C 的一大特色就是__attribute__ 机制。__attribute__ 可以设置函数属性（Function Attribute ）、变量属性（Variable Attribute ）和类型属性（Type Attribute ）。

__attribute__ 书写特征是：__attribute__ 前后都有两个下划线，并切后面会紧跟一对原括弧，括弧里面是相应的__attribute__ 参数。

__attribute__ 语法格式为：__attribute__ ((attribute-list))

关键字__attribute__ 也可以对结构体（struct ）或共用体（union ）进行属性设置。大致有六个参数值可以被设定，即：aligned, packed, transparent_union, unused, deprecated 和 may_alias 。

在使用__attribute__ 参数时，你也可以在参数的前后都加上“__” （两个下划线），例如，使用__aligned__而不是aligned ，这样，你就可以在相应的头文件里使用它而不用关心头文件里是否有重名的宏定义。

如：指定对象的对齐格式（以字节为单位）

struct S {

       short b[3];

} __attribute__ ((aligned (8)));