结构体的内存对齐

首先，先来算一下，下面的这个例子，这些结构体的大小是多少呢？

struct s4
{
    char c1;
    struct s3 a;
    double b;
};
struct s3
{
    double b;
    char c;
    int i;
}s3,*p;

struct s2
{
    char c1;
    char c2;
    int i;
};

struct s1
{
    char c1;
    int i;
    char c2;
};

计算结构体大小的时候就会牵扯到一个问题：结构体内存对齐

内存对齐本质上就是用空间换时间的方案。

可是，为什么会存在内存对齐？

有下面两个方面的原因：

1) 平台原因(移植原因)
  因为并不是所有的硬件平台都能访问任意地址上的任意数据；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。
2）性能原因
   数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要做两次内存访问；而对齐的内存访问仅需要一次。

结构体的内存对其规则：
 1) 第一个成员在结构体变量偏移量为0的地址处。
 2) 其他成员变量要对其到某个数字（对齐数）的整数倍的地址处。
      对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。
      VS中默认的值为8，linux中默认的为4
 3) 结构体总大小为最大对齐数(每个成员变量除了第一个成员外都有一个对齐数)的整数倍.
 4) 如果嵌套了有结构体的情况，嵌套的结构体对其到自己的最大对齐数的整数倍，结构体的整体大小就是所有最大对齐数(含嵌套的结构体的对齐数)的整数倍。
  5) 结构体的第一个元素不需要对齐。

现在，来看上面给的那个例子，结果如下：

分别为：12 、8、16、28

我是在Linux下运行的，编译器默认对齐数为4.

结构体的内存对齐是用空间换时间的，那么在设计结构体时，怎样才能既满足内存对齐，又要节省空间？

答案是让占用空间小的成员集中在一起。比如我们上面例子中的s1和s2,s1将两个char类型变量分开存储，占内存空间为12，但是s2结构体将两个char类型的变量放在一起存储，占内存大小为8，比s1少了4个字节。

我们可以通过#pragma pack()来更改默认对齐数：

 1>参数设置为2的n次方
 2>如果一个参数都不传，恢复默认
 3>#pragma pack()设置对齐数不能超过默认，否则不起作用