数据对齐

转自：http://www.cnblogs.com/hlxs/archive/2012/10/03/2711128.html

许多计算机系统对数据类型的合法地址做了一些限制，要求某种数据类型对象的地址必须是某个值K（2,4,8）的倍数，这种堆积限制简化形成了处理器和存储器系统之间接口的硬件设计，总之就是为了方便高效的读取数据，于是就有了数据对齐。

struct S1{    char k;    double i;    char c; };

Sizeof(S1)的值为24，而不是10，其原因就是数据对齐，如果是连续的存每个字段的值，那么double类型的i就可能分配在两个8字节的存储器块中，那么可能就要执行两次存储器访问，而现在的内存分配至这样的，k,i,c都占用8个字节，这样访问1次存储器就能得到double类型的i的值。k后面会有7个字节被浪费掉，也就是说i的偏移量是8，同样的c后面有7个字节被浪费掉，尽管它后面没有任何字段。这样显然太浪费内存了。如果我们将i和c的位置交换一下得到如下struct S2：

struct S2{    char k;    char c;      double i;};

现在Sizeof(S2)的值为16，而不是10也不是24。为了方便取出struct中最长的字段，即方便一次性读出，这个最长的字段前面和后面的字段所占的长度都必须是它的倍数，在这里就是double的长度8的倍数。而k所占的长度加c所占的长度为2，小于8，所以k和c的内存是连续的，c后面接着的是6个空白字节然后就是i所占的8个字节。

有了上面的解释说明，在看一些简单的struct所需的内存就容易了。

struct S3{    char k;    int c;    double i;};

Sizeof(S3):16,k后面3个字节空白，然后是c占4个字节，紧接着i占8个字节，共16个字节。

struct S4{    S3 a;    int i[5];};

那么sizeof(S4)的值为多少呢？40，a占16个字节，i占24个字节。a占16个字节我们是知道的，为什么int i[5]占24个字节，而不是20个字节呢，还是因为数据对齐，因为S3中的double i占8个字节，那么S4占用的字节长度就一定是8的倍数，所以int i[5]占24个字节，而不是20个字节，如果S4中i的定义是int i[4],则i占16个字节，大家都没话说，没有疑问。

同样的S4中的所有元素都是连续（会出现因为数据的长度不同而出现间隙空白），S4中的元素也会遵守数据对齐原则，其实我们可以把S4看成如下的样子：

struct S4{    char k;    int c;    double i;    int i[5];};