Struct对齐方式

毕业前找工作的经历让我发现，很多公司的笔试、面试题中都涉及到了struct的对齐的问题！今天我们就深入探索其中的奥秘！

缺省情况下，编译器为结构体的每个 成员按其自然对界（natural alignment）条件分配空间。各个成员按照它们被声明的顺序在内存中顺序存储，第一个成员的地址和整个结构的地址相同。

• 自然对界(natural alignment)

即默认对齐方式，是指按结构体的成员中size最大的成员对齐。

• 指定对界

一般地，可以通过下面的方法来改变缺省的对界条件：

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

　　注意：如果#pragma pack (n)中指定的n大于结构体中最大成员的size，则其不起作用，结构体仍然按照size最大的成员进行对界。

首先，让我们分析下面的代码：

分析例子B；

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

假 设B从地址空间0x0000开始排放。该例子中没有定义指定对齐值，在笔者环境下，该值默认为4。第一个成员变量b的自身对齐值是1，比指定或者默认指定 对齐值4小，所以其有效对齐值为1，所以其存放地址0x0000符合0x0000%1=0.第二个成员变量a，其自身对齐值为4，所以有效对齐值也为4， 所以只能存放在起始地址为0x0004到0x0007这四个连续的字节空间中，复核0x0004%4=0,且紧靠第一个变量。第三个变量c,自身对齐值为 2，所以有效对齐值也是2，可以存放在0x0008到0x0009这两个字节空间中，符合0x0008%2=0。所以从0x0000到0x0009存放的 都是B内容。再看数据结构B的自身对齐值为其变量中最大对齐值(这里是b）所以就是4，所以结构体的有效对齐值也是4。根据结构体圆整的要求， 0x0009到0x0000=10字节，（10＋2）％4＝0。所以0x0000A到0x000B也为结构体B所占用。故B从0x0000到0x000B 共有12个字节,sizeof(struct B)=12;

------------------------------------

到底为啥编译器要对struct做对齐处理呢？其实这句话有点片面，编译器会对所有的代码进行对齐处理，不值struct，那到底为啥要这么做呢？那我们就引用下前人的研究成果来做下说明：

      现代计算机中内存空间都是按照byte划分的，从理论上讲似乎对任何类型的变量的访问可以从任何地址开始，但实际情况是在访问特定类型变量的时候经常在特定的内存地址访问，这就需要各种类型数据按照一定的规则在空间上排列，而不是顺序的一个接一个的排放，这就是对齐。
      对齐的作用和原因：各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从某些特定地址开始存取。比如有些架构的CPU在访问一个没有进行对齐的变量的时候会发生错误,那么在这种架构下编程必须保证字节对齐.其他平台可能没有这种情况，但是最常见的是如果不按照适合其平台要求对数据存放进行对齐，会在存取效率上带来损失。比如有些平台每次读都是从偶地址开始，如果一个int型（假设为32位系统）如果存放在偶地址开始的地方，那么一个读周期就可以读出这32bit，而如果存放在奇地址开始的地方，就需要2个读周期，并对两次读出的结果的高低字节进行拼凑才能得到该32bit数据。显然在读取效率上下降很多。【1】

注释：【1】来源于：http://blog.chinaunix.net/uid-14802518-id-2784907.html

 

经过上面的介绍，你是否已经对字节对齐，以及为啥做字节对齐有了深刻的认识了！可能桀骜不驯的你会提出，我不管这么多，就是不想做字节对齐！那也有办法，因为所有内置变量都是以字节为单位的，那你就可以通过预编译命令#pragma pack(push,1) 和 #pragma pack(pop)来将对齐单位设置成1字节！我们看看下面示例：

 

#pragma pack( 1)
struct AT
{
    char a;
    char b;
    int  c;
    char d;
};

#pragma pack()

 

int main(void)
{
    AT at;
    cout<<sizeof(at)<<endl;

    return 0;
}

执行结果：

7
请按任意键继续. . .

 

怎么样？是否达到了目的？AT中a的1个字节+b的1个字节+c的4个字节+d的1个字节 = 7 字节。但是在用#pragma pack的时候一定要注意，在你定义的头文件中#pragma pack(push,1) 和 #pragma pack(pop)必须成对出现，并且只用于设置你的代码部分，不然其他人的代码包了你的库的头文件就会发生错误，比如别人是按默认字节对齐编译的库，结果你是按1字节进行的设置，包了你的头文件时，字节对齐就变成了1字节，但二进制库里还是原来默认字节对齐，就会导致在程序运行时取值错误！而且这种错误有时很难发现！