【一点一点学Linux c】浅谈C语言中的字节对齐问题

qinkaiabc

【一点一点学Linux c】浅谈C语言中的字节对齐问题 [复制链接]

所谓的字节对齐，就是各种类型的数据按照一定的规则在空间上排列，而不是顺序的一个接一个的排放，这个就是对齐。我们经常听说的对齐在N上，它的含义就是数据的存放起始地址%N==0。具体对齐规则会在下面的篇幅中介绍。首先还是让我们来看一下，为什么要进行字节对齐吧。
    各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从某些特定地址开始存取。比如有些架构的CPU，诸如SPARC在访问一个没有进行对齐的变量的时候会发生错误，那么在这种架构上必须编程必须保证字节对齐。而有些平台对于没有进行对齐的数据进行存取时会产生效率的下降。让我们来以x86为例看一下如果在不进行对齐的情况下，会带来什么样子的效率低下问题，看下面的数据结构声明:

1. struct A {
   
2. char c;
   
3. int i;
   
4. };
   
5. struct A a;

复制代码

    假设变量a存放在内存中的起始地址为0x00，那么其成员变量c的起始地址为0x00，成员变量i的起始地址为0x01，变量a一共占用了5个字节。当CPU要对成员变量c进行访问时，只需要一个读周期即可。而如若要对成员变量i进行访问，那么情况就变得有点复杂了，首先CPU用了一个读周期，从0x00处读取了4个字节(注意由于是32位架构)，然后将0x01-0x03的3个字节暂存，接着又花费了一个读周期读取了从0x04-0x07的4字节数据，将0x04这个字节与刚刚暂存的3个字节进行拼接从而读取到成员变量i的值。为了读取这个成员变量i，CPU花费了整整2个读周期。试想一下，如果数据成员i的起始地址被放在了0x04处，那么读取其所花费的周期就变成了1，显然引入字节对齐可以避免读取效率的下降，但这同时也浪费了3个字节的空间(0x01-0x03)。

    有了上述的基本概念之后，让我们来看一下，编译器是按照什么样的原则进行对齐的。首先有3个重要的概念：自身对齐值，指定对齐值和有效对齐值。

    自身对齐值：即数据类型的自身的对齐值。例如char型的数据，其自身对齐值为1字节;short型的数据，其自身对齐值为2字节;int,float,long类型，其自身对齐值为4字节;double类型，其自身对齐值为4字节;而struct和class类型的数据其自身对齐值为其成员变量中自身对齐值最大的那个值。

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

    有效对齐值：上述两个对齐值中最小的那个。

    我们一般说的对齐在N上，都是指有效对齐在N上。说了这么多，还是让我们先来看一些例子来加深对这些概念的理解吧。

    例：假设在x86机器上，假设编译器按默认4字节进行对齐。

1. struct A {
   
2. char c;
   
3. int i;
   
4. short s;
   
5. };
   
6. 
   
7. #pragma pack (2)   /* 指定按2字节对齐 */
   
8. struct B {
   
9.     char c;
   
10.     short s;
    
11.     int i;
    
12. };
    
13. #pragma pack ()    /* 恢复默认对齐 */

复制代码

让我们来考虑一下sizeof(struct A)和sizeof(struct B)的结果各应该是什么。

    首先来看sizeof(struct A)，假设A的起始地址为0x00，做这样的假设只是为了更方便理解，其实A始终被放在对齐边界上，这并不影响sizeof的结果，在接下来的例子中，我们也会继续沿用这个假设。

    言归正传，数据成员c的自身对齐值=1，指定对齐值=4(默认)，所以其有效对齐值为1，因0x00%1==0，所以它被存放在0x00处；数据成员i的自身对齐值=4，指定对齐值=4，可得出其有效对齐值为4，因0x01%4 != 0，因此它应该被存放在0x04地址处，占用0x05,0x06,0x07共4个字节；接下来看数据成员s的自身对齐值=2，指定对齐值=4，得出有效对齐值为2，因0x08%2 == 0，因此它被存放在起始地址为0x08处，并占用2字节；最后再看数据结构A自身的对齐值=4(最大数据成员自身对齐值)，指定对齐值=4，得有效对齐值为4，因0x0A%4 != 0，因此多占用0x0A和0x0B为结构体A所用(这一步的作用是基于结构体数组的出发，对于结构体或者类，要将它们补充成其有效对齐值的整数倍，这点请千万注意)。由此可见sizeof(struct A)的结果应该是=1+3(空闲空间)+4+2+2(结构体补充)=12字节。

    接下来让我们考察sizeof(struct B)的结果。这里需要注意的是，在B被声明前，指定对齐值已经被设置为2个字节。数据成员c的有效对齐值为1，存放起址0x00，s的有效对齐值为2，存放起址0x02，i的有效对齐值也为2，存放起址为0x04，累加起来一共是8个字节，已经是数据结构B的有效对齐值2的整数倍了。因此sizeof(struct B)的结果8个字节。

    看到这里，应该对字节对齐有了一定的了解了吧。接下来我们要看一个更加复杂的例子：假设在x86机器上，假设编译器按默认4字节进行对齐。

1. #pragma pack(8)
   
2. struct S1 {
   
3.     char a;
   
4.     long b;
   
5. };
   
6. 
   
7. struct S2 {
   
8.     char c;
   
9.     struct S1 d;
   
10. long long e;
    
11. };
    
12. #pragma pack()

复制代码

     运用上面所学到的知识，应该不难得出sizeof(struct S1)的值为8字节，其中a的有效对齐值为1，b的有效对齐值为4，结构S1的有效对齐值为4。现在让我们来看看sizeof(struct S2)的值会是多少呢？首先成员c的有效对齐值为1，S1的自身对齐值为成员的最大自身对齐值，即4字节，其指定对齐值为8，则其有效对齐值也为4，存放起址应该为0x04，并且占用8个字节(0x04+0x08=0x0C)，其中0x01-0x03被用来填充。接下去数据成员e的有效对齐值为4，存放起址应该是0x0D % 8 == 0，占用8个字节(0x10)。最后考察S2本身的有效对齐值应该是4字节，而0x0D%8==0，就不需要填充了，因此sizeof(struct S2)=20。

[ 本帖最后由 qinkaiabc 于 2013-4-4 16:27 编辑 ]