字节对齐详解

接触字节对齐，主要还是因为sizeof结构体大小时引入的，其实很早就接触过，只不过并没有记录成文，今天就总结下。

字节对齐：现代计算机中内存空间都是按照byte划分的，从理论上讲似乎对任何类型的变量的访问可以从任何地址开始，但实际情况是在访问特定类型变量的时候经常在特 定的内存地址访问，这就需要各种类型数据按照一定的规则在空间上排列，而不是顺序的一个接一个的排放，这就是对齐。

各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从某些特定地址开始存取。比如有些架构的CPU在访问 一个没有进行对齐的变量的时候会发生错误，那么在这种架构下编程必须保证字节对齐.其他平台可能没有这种情况，但是最常见的是如果不按照适合其平台要求对 数据存放进行对齐，会在存取效率上带来损失。比如有些平台每次读都是从偶地址开始，如果一个int型（假设为32位系统）如果存放在偶地址开始的地方，那 么一个读周期就可以读出这32bit，而如果存放在奇地址开始的地方，就需要2个读周期，并对两次读出的结果的高低字节进行拼凑才能得到该32bit数据。

准则

其实字节对齐的细节和具体 编译器实现相关，但一般而言，满足三个准则：

1)  结构体变量的首地址能够被其最宽基本类型成员的大小所整除；

2)  结构体每个成员相对于 结构体首地址的 偏移量都是成员大小的整数倍，如有需要 编译器会在成员之间加上填充字节；例如上面第二个结构体 变 量的 地址空间。

3)  结构体的总大小为结构体最宽基本类型成员大小的整数倍，如有需要编译器会在最末一个成员之后加上填充字节。例如上面第一个结构体 变量。

更改C编译器的缺省字节对齐方式

     在缺省情况下，C编译器为每一个变量或是数据单元按其自然对界条件分配空间。一般地，可以通过下面的方法来改变缺省的对界条件：
　　· 使用伪指令#pragma pack (n)，C编译器将按照n个字节对齐。
    · 使用伪指令#pragma pack ()，取消自定义字节对齐方式。

     另外，还有如下的一种方式：
     · __attribute((aligned (n)))，让所作用的结构成员对齐在n字节自然边界上。如果结构中有成员的长度大于n，则按照最大成员的长度来对齐。
     · __attribute__ ((packed))，取消结构在编译过程中的优化对齐，按照实际占用字节数进行对齐。

以上的n = 1, 2, 4, 8, 16... 第一种方式较为常见。

例子：
t ypedef Test1
{
char head;
short value;
char reserved;

}S_Test1;

sizeof(S_Test1)值为6

typedef Test2
{
char head;
char reserved;
short value;
}S_Test2;

sizeof(S_Test2)值为4
结构体定义前增加自定义对齐方式
     #pragma  pack (1)
sizeof(S_Test1)值为4,sizeof(S_Test2)值为4。

大家可以根据字节对齐方式准则，分析下结构体内存分配方式，就可分别确定结构体大小了！！！