ISO/IEC 9899:2011 条款6.2.8——对象的对齐

6.2.8 对象的对齐

1、完整的对象类型具有对齐要求，对齐要求是对该类型对象可以在哪个地址进行分配的放置限制。一个对齐是一个实现定义的整数值，表示一个给定对象可以分配在相继两个地址之间跨多少字节的位置。一个对象类型指示了那个类型的每一个对象的对齐要求：可以使用_Alignas关键字来请求更严格的对齐。

2、一个基本对齐用一个小于等于实现的所有上下文中所支持的最大对齐的一个对齐来表示，实现在所有上下文中所用的最大对齐为_Alignof(max_align_t)。

3、一个扩展对齐用一个大于_Alignof(max_align_t)的一个对齐来表示。任一扩展对齐是否被支持以及它们在哪些上下文中被支持是由实现定义的。具有一个扩展对齐要求的一个类型是一个过度对齐类型。［注：每个过度类型是，或包含一个结构体或联合体类型，其中的一个成员使用了一个扩展对齐。］

4、对齐被表示为类型size_t的值。有效的对齐只包括那些由一个对基本类型使用_Alignof的表达式所返回的值，加上一组由实现定义的值，当然实现定义的值可以为空集。每个有效的对齐值应该是一个非负的2的整数幂。

5、对齐有一个从稍弱到稍强或更严格的次序。更严格的对齐具有更大的对齐值。满足一个对齐要求的地址也满足任一更弱的有效对齐要求。

6、一个完整类型的对齐要求可以用一个_Alignof表达式来查询。类型char、signed char和unsigned char应该具有最弱的对齐要求。

7、对齐的比较是有意义的并且提供了明显的结果：

    ——两个对齐相等，当它们的数值相等。

    ——两个对齐不同，当它们的对齐不等。

    ——当一个对齐比另一个大时，它表示了一个更严格对齐。