结构体对齐

对齐方式

在没有#pragma pack宏的情况下：

•  原则1、数据成员对齐规则：结构（struct或则class）的数据成员，第一个数据成员放在offset为0的地方，以后每个数据成员存储的起始位置要从该成员大小的整数倍开始（比如int在32位机为４字节，则要从4的整数倍地址开始存储）。
•  原则2、结构体作为成员：如果一个结构里有某些结构体成员，则结构体成员要从其内部最大元素大小的整数倍地址开始存储。（struct a里存有struct b，b里有char，int，double等元素，那b应该从8的整数倍开始存储。）
•  原则3、收尾工作：结构体的总大小，也就是sizeof的结果，必须是其内部最大成员的整数倍，不足的要补齐。

例1：struct {

                     short a1;

                     short a2;

                     short a3;

                    }A; 

               struct{

                   long a1;

                   short a2;

                  }B; 

       sizeof(A) = 6; 这个很好理解，三个short都为2

       sizeof(B) = 8; 这个比是不是比预想的大2个字节？long为4，short为2，整个为8，因为原则3。

       例2：struct A{

                    int a;

                    char b;

                    short c;

                    }; 

               struct B{

                   char b;

                   int a;

                   short c;

                    }; 

       sizeof(A) = 8; int为4，char为1，short为2，这里用到了原则1和原则3。

       sizeof(B) = 12; 是否超出预想范围？char为1，int为4，short为2，怎么会是12？还是原则1和原则3。

       深究一下，为什么是这样，我们可以看看内存里的布局情况。

                                   a         b         c

       A的内存布局：1111,     1*,       11

                                   b          a        c

       B的内存布局：1***,     1111,   11**

       其中星号*表示填充的字节。A中，b后面为何要补充一个字节？因为c为short，其起始位置要为2的倍数，就是原则1。c的后面没有补充，因为b和c正好占用4个字节，整个A占用空间为4的倍数，也就是最大成员int类型的倍数，所以不用补充。

       B中，b是char为1，b后面补充了3个字节，因为a是int为4，根据原则1，起始位置要为4的倍数，所以b后面要补充3个字节。c后面补充两个字节，根据原则3，整个B占用空间要为4的倍数，c后面不补充，整个B的空间为10，不符，所以要补充2个字节。

#pragma pack

程序编译器对结构的存储的特殊处理确实提高CPU存储变量的速度，但是有时候也会带来一些麻烦，我们可以自己设定变量对齐方式

编译器中提供了#pragma pack(n)来设定变量以n字节对齐方式。n字节对齐就是说变量存放的起始地址的偏移量有两种情况：

1. 如果n大于等于该变量所占用的字节数，那么偏移量必须满足默认的对齐方式
2. 如果n小于该变量的类型所占用的字节数，那么偏移量为n的倍数，不用满足默认的对齐方式

结构的总大小也有个约束条件，分为下面两种情况：

1. 如果n大于所有成员变量类型所占用的字节数，那么结构的总大小必须为占用空间最大的变量占用的空间数的倍数
2. 否则必须为n的倍数

举例：

[cpp]  view plain copy

1. #include <stdio.h>  
2.   
3. #pragma pack(4)  
4.   
5. typedef struct test {  
6.     char m1;  
7.     double m4;  
8.     int m3;  
9. } test;  
10.   
11. int main(void)  
12. {  
13.     test test1;  
14.   
15.     printf("%d\n", sizeof(test1));  
16.   
17.     return 0;  
18. }  

以上结构体的大小为16,下面分析一下存储情况：

• 首先为m1分配内存空间，其偏移量为0,满足我们自己设定的对齐方式(4字节对齐)，m1大小为1byte
• 接着为m4分配内存空间，这时其偏移量为4,需要补足3个字节，这样使得偏移量满足4的倍数，m2大小为8byte
• 接着为m3分配内存空间，这时其偏移量为12,满足为4的倍数，m3占用4个byte

所以，总共占用的空间为：1+3+8+4 = 16

总结

1. 复杂类型中各个成员按照它们被声明的顺序在内存中顺序存储，第一个成员的地址和整个类型的地址相同
2. 每个成员分别对齐，即每个成员按自己的方式对齐，并最小化长度;规则就是每个成员按其数据类型的对齐参数（通常是这个类型的大小）和指定对齐参数中较小的一个对齐
3. 结构、联合或者类的数据成员，第一个放在偏移量为0的地方;以后每个数据成员的对齐，按照#pragma pack指定的数值和这个数据成员自身长度两个中比较小的那个进行
4. 复杂类型（如结构体）整体的对齐，是按照结构体中长度最大的数据成员和#pragma pack指定值间较小的那个值进行;这样在成员是复杂类型时，可以最小化长度
5. 结构整体长度的计算必须取所用过的所有对齐参数的整数倍，不够补字节;也就是取所用过的所有对齐参数中最大的那个值的整数倍，因为对齐参数都是2的n次方