请看下面的代码，输出结果是多少？
#include <stdio.h>
int main()
{
struct S1
{
char c1;
int i;
char c2;
};
printf("%d\n", sizeof(struct S1));
struct S2
{
char c1;
char c2;
int i;
};
printf("%d\n", sizeof(struct S2));
return 0;
}经调试可得到以下结果：
众所周知，在x86环境下，char型是1个字节，int型是4个字节。不论是在结构体S1还是结构体S2中都是两个char型和一个int型，那为什么输出结果不是两个6呢？这就涉及到结构体内存对齐的问题了。
结构体的对齐规则如下：
1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。
对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。VS中默认的值为8。
3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整
体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。
以结构体S1为例，用图演示结构体内存对齐方式：
这印证了结构体内存对齐的第一个规则，即
第一个成员在与结构体变量偏移量为0的地址处。
我们继续：
在VS中默认对齐数是8，而int型大小是4，那么就取较小的数4作为对齐数。 4就是4的整数倍，所以就在4处对齐。
要注意在不同编译器下默认对齐数不一样，如在Linux gcc下就没有默认对齐数，对齐数就是结构体成员自身大小。
继续：
char型大小是1个字节，VS中默认对齐数是8，那么就取较小的值1作为对齐数。8是1的整数倍，所以就在8处对齐。
现在，从0到8总共占了9个字节，那么结构体大小就是9吗？显然不是，因为之前提到过：
结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。
现在已知c1的对齐数是1，i的对齐数是4，c2的对齐数是1，那么在这个结构体中，最大的对齐数就是4。
那么结构体大小就如下：
结构体大小是12。
最后用宏offsetof来证明下，引用stddef.h头文件，然后执行以下代码，可得出每个成员的偏移量：
#include <stdio.h>
#include <stddef.h>
int main()
{
struct S1
{
char c1;
int i;
char c2;
};
printf("%d\n", offsetof(struct S1,c1));
printf("%d\n", offsetof(struct S1, i));
printf("%d\n", offsetof(struct S1, c2));
return 0;
}
如果结构体发生了嵌套怎么办？
如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整
体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。
什么意思？
举例来看：
在S3中，double大小是8，char大小是1，int大小是4。
8+1+4=13。S3的最大对齐数是8，那么S3的大小就是最大对齐数的整数倍16。
在S4中c1对齐数为1，大小为1。
s3的对齐数已知是8，大小为16。
图中黑色方块代表s3。
在S4中d的对齐数为8，那么在s3后，24便是8的整数倍数，double的大小是8。
因为c1对齐数是1，s3对齐数是8，d的对齐数是8，那么S4中最大对齐数是8，32又是8的整数倍数，所以S4的大小就是32。
再来看s3的成员是如何对齐的：
至于为什么要有结构体内存对齐？目前暂时没有官方的理由。但是有以下说法：
1. 平台原因(移植原因)：
不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。2. 性能原因：
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。
总体来说：结构体的内存对齐是拿空间来换取时间的做法。
那在设计结构体的时候，我们既要满足对齐，又要节省空间，如何做到？
#include <stdio.h>
int main()
{
struct S1
{
char c1;
int i;
char c2;
};
struct S2
{
char c1;
char c2;
int i;
};
printf("%d\n", sizeof(struct S1));
printf("%d\n", sizeof(struct S2));
return 0;
}通过对比输出结果可发现S2占用空间更小：
