在C语言开发当中会遇到这样的情况：

 1 #include <stdio.h>
 2 
 3 struct test {
 4     int a;
 5     char b;
 6 };
 7 
 8 int main(int argc, const char * argv[])
 9 {
10     printf("%lu\n", sizeof(struct test));
11     return 0;
12 }

sizeof操作输出的结果是8，可是int和char类型的长度加起来只有5，那么为什么输出了8呢？

　　这就牵扯到结构体的内存对齐问题，事实上，结构体中的变量在内存当中并不是以一种连续紧凑的方式存储的。

　　上面这个例子是一种最简单的情况，来看一下它的内存排布：

　　可见，从0x15到0x18都是空位，为什么要这样存储呢？因为计算机字长为4，处理结构体变量时，需要一次读入32位，也就是4个字节，那么假定两个结构体变量a和b，a从0x10开始，b从0x15开始的话，则需要两次寻址，第一次是读出0x14到0x17，取出后三位，第二次是从0x18到0x1B，取出第一位，然后做位运算，由于变量处理很频繁，这样就增加了性能的开销，那么只能采取用空间换时间的策略了。

　　假设有两个结构体变量，那么内存排布是这样的：

　　这便是内存对齐的第一个方面——结构体的末尾如果没有对齐，则会留出空位来，为排在它前后的变量提供寻址上的便利。

　　事实上，结构体的大小，必然是其中占用空间最大的类型的长度的整数倍。

　　接下来改变一下我们的结构体：

1 struct test {
2     char b;
3     int a;
4 };

它的长度同样是8，内存排布如下：

　　同样基于上面提到的原因，如果将a放在0x11的位置，需要两次寻址。那么，结构体内存排列的一个重要原则就是要得到最少的寻址次数，显然，为了方便找到int型的a，需要在b后面空出3个字节的空间来。

　　下面举一个稍微复杂一点的例子：

1 struct test {
2     char a;
3     int b;
4     char c;
5     char d;
6     double e;
7     char f;
8 };

它的长度是32，看一下内存排列：

　　为了让变量b寻址方便，在a的后面空出了3个字节，而c和d无论如何都要寻址一次，所以顺序排下去就可以了，而e长度为8，按说可以从0x1C开始排，但是这里需要和类型本身的长度8进行对齐，则排在了0x20的位置，于是乎d的后面又空出了6个字节的空间，最后f排在e的后面，之后为了结构体本身和最长类型的长度8对齐，后面又留出了7个字节的空位。

　　显而易见结构体当中变量的顺序是会影响存储空间的，在设计结构体的时候需要进行优化，比如将上面的结构体改写成下面的形式可以节省空间：

1 struct test {
2     char a;
3     char c;
4     char d;
5     char f;
6     int b;
7     double e;
8 };

这种排列只占用16字节，内存如下：

　　可见，内存对齐是一种空间换时间的手段，当然，为了节约内存，可以通过如下代码令结构体紧凑排列：

1 #pragma pack(1)

C语言结构体的内存对齐问题,布布扣,bubuko.com

C语言结构体的内存对齐问题