Linux下C的内存对齐

本文全文参考：http://blog.csdn.net/wendy260310/article/details/17675983

该博客是在Linux下C++测试的，我在他的基础上测试了C语言的结构体，环境采用Windows下DEV，由于都是GCC编译器，所以其本质是一样的

我们先测试一下double,char,int在我的电脑上占的位数:

the size of char  :1
the size of int   :4
the size of float :4
the size of double:8

一、缺省情况下，

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

首先考虑下面的一个结构:

struct{
    double da1;
    char da2;
    int da3;
}A;

那我们再看看结构体A占用的位数:

 printf("the size of struct A：%d",sizeof(A));

the size of struct A:16

这说明编译器给我们进行了内存对齐。

规则和vc上是一样的:各成员变量存放的起始地址相对于结构的起始地址的偏移量必须为该变量的类型所占用的字节数的倍数.且结构的大小为结构的字节边界数（即该结构中占用最大空间的类型所占用的字节数）的倍数。

char  
偏移量必须为sizeof(char)即1的倍数.  

int  
偏移量必须为sizeof(int)即4的倍数.  

float  
偏移量必须为sizeof(float)即4的倍数. 

double  
偏移量必须为sizeof(double)即8的倍数.

最开始的时候，偏移为0，刚好是8的倍数，分配8B之后，偏移是8了，是1的倍数。到int的时候偏移是9了，不是4的倍数，所以需要进行字节的对齐。填充3个字节到12，所以最后的结果是16.16刚好是结构体占用空间最大的类型(double)的倍数。

总结默认规则：

对于偏移量：变量type n起始地址相对于结构体起始地址的偏移量必须为sizeof(type(n))的倍数

       结构体大小：必须为成员最大类型字节的倍数

偏移量	大小	空地址
0	8
8（是1的倍数)	1	+3
12(9不是4的倍数+3）	4

最后大小为12+4=16.

（2）我把三个变量的位置换一下，看看结果：

struct{
      char da1;  
      double da2;  
      int da3;
}B;

the size of struct B:24

现在变成24了，按照刚才所说的规则，分配完int之后结果是20，但是20不是最大类型(double)的倍数，所以要进行填充，到24.

从网上摘抄的：

在缺省对齐下我先给你说下三条准则吧，
【1】结构体变量的首地址能够被其最宽基本类型成员的大小所整除
【2】结构体每个成员相对于结构体首地址的偏移量是成员大小的整数倍
【3】结构体的总大小为结构体最宽基本类型成员大小的整数倍
以上都是结构体中只有基本类型时的缺省对齐方式，当有嵌套复合成员时，
【2】改为：复合成员相对于结构体首地址偏移量是复合成员最宽基本类型大小的整数倍

二、不是缺省情况下，#pragma pack(n) 

Linux下也提供了和vc一样的屏蔽默认对齐方式的指令。#pragma pack(n)来设定变量以n字节对齐方式。

1，n字节对齐就是说变量存放的起始地址的偏移量有两种情况：

第一、如果n大于等于该变量所占用的字节数，那么偏移量必须满足默认的对齐方式，

第二、如果n小于该变量的类型所占用的字节数，那么偏移量为n的倍数，不用满足默认的对齐方式。

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

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

下面是一个例子:

#pragma pack(4) 

struct{
      char da1;  
      double da2;  
      int da3;
}B;

测试这个Class的大小结果是16B.
the size of struct B:16

最开始给da1分配空间,da1占用的空间小于4，且最开始的偏移是0，满足默认的对齐的方式，给它分配了一个字节，到da2的时候，da2占用的空间是大于4的，所以这个时候的偏移只需要是4的倍数，不像默认的方式必须是8的倍数。填上3个字节，此时的偏移是4了，分配了8个字节。到da3了，da3占用的空间等于4，那需要满足默认的对齐方式，现在的偏移是12了，满足就直接给da3分配空间。大小为16，在看结构体的问题，结构体最大的比4大，所以最后的大小是4的倍数就可以了。

偏移量	大小	空
> 0	1	+3
<(是n的倍数) 4	8
>= 12	4
16

最后结果为16，也满足第二种情况的>情况，是最大类型=8的倍数

我们把n改成8看看结果:

the size of struct B:24

按照给定的规则分析就可以得到这个结果。