以此分析 3.1.1 节中的结构体 B：
假设 B 从地址空间 0x0000 开始存放，且指定对齐值默认为 4(4 字节对齐)。成员变量 b 的
自身对齐值是 1，比默认指定对齐值 4 小，所以其有效对齐值为 1，其存放地址 0x0000 符
合 0x0000%1=0。成员变量 a 自身对齐值为 4，所以有效对齐值也为 4，只能存放在起始地
址为 0x0004~0x0007 四个连续的字节空间中，符合 0x0004%4=0 且紧靠第一个变量。变
量 c 自身对齐值为 2，所以有效对齐值也是 2，可存放在 0x0008~0x0009 两个字节空间中，
符合 0x0008%2=0。所以从 0x0000~0x0009 存放的都是 B 内容。
再看数据结构 B 的自身对齐值为其变量中最大对齐值(这里是 b)所以就是 4，所以结构体的
有效对齐值也是 4。根据结构体圆整的要求，0x0000~0x0009=10 字节，(10+2)%4=0。所
以 0x0000A~0x000B 也为结构体 B 所占用。故 B 从 0x0000 到 0x000B 共有 12 个字节，
sizeof(struct B)=12。
之所以编译器在后面补充 2 个字节，是为了实现结构数组的存取效率。试想如果定义一个
结构 B 的数组，那么第一个结构起始地址是 0 没有问题，但是第二个结构呢?按照数组的定
义，数组中所有元素都紧挨着。如果我们不把结构体大小补充为 4 的整数倍，那么下一个
结构的起始地址将是 0x0000A，这显然不能满足结构的地址对齐。因此要把结构体补充成
有效对齐大小的整数倍。其实对于
char/short/int/float/double 等已有类型的自身对齐值也是基于数组考虑的，只是因为这些类
型的长度已知，所以他们的自身对齐值也就已知。
上面的概念非常便于理解，不过个人还是更喜欢下面的对齐准则。
结构体字节对齐的细节和具体编译器实现相关，但一般而言满足三个准则：
(1)结构体变量的首地址能够被其最宽基本类型成员的大小所整除;
(2)结构体每个成员相对结构体首地址的偏移量(offset)都是成员大小的整数倍，如有需要编
译器会在成员之间加上填充字节(internal adding);
(3)结构体的总大小为结构体最宽基本类型成员大小的整数倍，如有需要编译器会在最末一
个成员之后加上填充字节{trailing padding}。
对于以上规则的说明如下:
(1)编译器在给结构体开辟空间时，首先找到结构体中最宽的基本数据类型，然后寻找内存
地址能被该基本数据类型所整除的位置，作为结构体的首地址。将这个最宽的基本数据类型
的大小作为上面介绍的对齐模数。
(2)为结构体的一个成员开辟空间之前，编译器首先检查预开辟空间的首地址相对于结构体
首地址的偏移是否是本成员大小的整数倍，若是，则存放本成员，反之，则在本成员和上一
