struct结构体的内存对齐

struct结构体的内存对齐规则：

1、结构体中第一个成员在 与结构体变量偏移量为0 的位置；
2、其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处；
注意：
(1) 对齐数 = 编译器默认的一个对齐数 与 该成员所占空间的字节数 的较小值
(2) VS中默认的对其数是8，Linux中的默认值为4。
3、成员对其后，结构体自身也要对齐。结构体的总大小为成员中最大的对齐数(每个成员变量都有一个自己的对齐数)的整数倍；
4、如果结构体A中包含另一结构体B的变量，嵌套的结构体B对齐到 自己成员中的最大对齐数 的整数倍，结构体A的总大小就是成员中最大的对齐数(包含结构体B变量的对齐数，结构体B变量的对齐数就是结构体B的最大对齐数)的整数倍。
例如：

//在VS08下测试，使用VS默认的对齐数8。
struct A
{
	char a;
	struct B
	{
		char aa;
		double bb;
	} c;
	char b;
};//A的总大小为32，先解决struct B，aa占1字节，bb占用8字节，bb的对齐数通过“对齐规则2”计算为8，所以1 + 7 + 8，此时struct B整体也要对齐一下，而struct B的最大对齐数为8，所以最终struct B的大小为1 + 7 + 8 = 16字节。
  //a占1字节，c占用16字节，但是c的对齐数是8，所以1 + 7 + 16，b占1字节，b的对齐数是1，所以1 + 7 + 16 + 1 = 25，此时struct A整体也要对齐一下，而struct A的最大对齐数为8，所以25 + 7 = 32。

#pragma pack(1/2/4/8/16)//修改编译器的默认对齐数
//如果参数不是1/2/4/8/16，在VS08下：warning C4086: 杂注参数应为“1”、“2”、“4”、“8”或者“16”
#pragma pack()//把修改后的对齐数再改回来

//在VS08下测试，使用VS默认的对齐数8。
struct A
{
	char a;
	struct B
	{
		char aa;
		double bb;
	};
	char b;
};//此时，struct A大小只有2字节。

struct A
{
	char a[21];
};//struct A的大小为21字节

为什么存在内存对齐？

大部分的参考资料都是这样说的：
1、平台原因(移植原因)
不是所有的硬件平台都能访问任意地址上的任意数据的，某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。
2、性能原因
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
原因在于，为了访问未对齐的内存，处理器需要做两次内存访问，而对齐的内存仅需要一次访问。
进一步解释一下
cpu在取数据的时候一般都是4字节或8字节的取（32位cpu指的是cpu一次能处理的最大位数是32，并且它的内存寻址能力是32位，此时指针变量的大小为4字节。），以下图为例

没有内存对齐的话，取出来的数据就是一个char和3/4个int，不是一个完整的int，为了取出一个完整的int，还得再取一次。

总体来说，结构体的内存对齐是拿空间换取时间的做法。
那在设计结构体的时候，我们既要满足对齐，又要节省空间，如何做到？
让占用空间小的成员尽量集中在一起

struct S1
{
	char c1;
	int i;
	char c2;
};
//改为
struct S2
{
	char c1;
	char c2;
	int i;
};

union联合体的内存对齐规则：

1、联合体的大小至少是最大成员的大小；
2、当最大成员大小不是最大对齐数的整数倍的时候，就要对齐到最大对齐数的整数倍。
和struct类似，直接举例：

//在VS08下测试
#pragma pack(4)
union A
{
	char a[10];
	double b;
};//大小是12，虽然联合体中所有成员都在 与联合体变量偏移量为0 的位置，但是联合体A最终也要整体对齐一下，所以是12。

#pragma pack()
union B
{
	char a[10];
	double b;
};//大小是16

struct C
{
	int a;
	union B b;//16，b的对齐数是8
};//大小为24

还有，枚举类型的大小就是4字节，相当于int。