1.第一个成员在结构体变量偏移量为0的地址处。

2.其他成员变量对齐到某个数字(对齐数)的整数倍的地址处。(对齐数=编译器默认的一个对齐数与该成员大小的较小值）注意：目前有且只有VS编译器有默认为8.

3.结构体总大小为最大对齐数的整数倍。

4.如果嵌套了结构体，嵌套的结构体对齐到自己的最大对齐数整数倍处，结构体整体大小就是所有最大对齐数(含嵌套结构体对齐数)的整数倍。

例1：

a1是char类型所以大小是1，i是int类型所以大小是4，a2是char类型所以大小是1，如上图所示，a1从0开始，占一个，因为1-3之间没有4的倍数所以i从4开始占4个空间大小，a2占一个(任何数都是1的倍数)；总共是9个空间的大小，因为9不是4的倍数，所以向后找直到所占大小是4的倍数浪费了3个空间大小，最终结果是12.

例2：

a1是char类型从0开始占一个，因为a2是嵌套的结构体所以对齐到自己的最大对齐数整数倍由上面例题可知是4，所以从4开始向后占12个空间大小(上面例题求出S1大小是12）,a3是char类型所以向后占一个空间的大小；上图可以看出0-16之间有17个数不是4的倍数，向后一直找直到为4的倍数，向后找3个总大小为20是4的倍数所以答案是20.