聚合和联合

其他类型（如数组、结构和联合）都具有较严格的对齐要求，以确保对聚合和联合实现一致的存储与数据检索。 以下是数组、结构和联合的定义：

• 数组
  包含相邻数据对象的有序组。 每个对象称为一个元素。 数组中所有元素的大小和数据类型都相同。

• 结构
  包含数据对象的有序组。 与数组的元素不同，结构中的数据对象可以具有不同的数据类型和大小。 结构中的每个数据对象称为一个成员。

• Union
  可保存任何命名成员集的对象。 命名集的成员可以是任何类型。 为联合分配的存储区等于该联合的最大成员所需的存储区，再加上对齐所需的所有空白。

下表所示为强烈建议的联合和结构标量成员的对齐方式。

标量类型	C 数据类型	要求的对齐方式
INT8	char	Byte
UINT8	unsigned char	Byte
INT16	short	Word
UINT16	unsigned short	Word
INT32	int、long	Doubleword
UINT32	unsigned int、unsigned long	Doubleword
INT64	__int64	Quadword
UINT64	unsigned __int64	Quadword
FP32（单精度）	float	Doubleword
FP64（双精度）	double	Quadword
POINTER	*	Quadword
__m64	struct __m64	Quadword
__m128	struct __m128	Octaword

适用以下聚合对齐规则：

• 数组的对齐方式与数组中某个元素的对齐方式相同。

• 结构或联合开始处的对齐方式是所有单个成员的最大对齐方式。 结构或联合中的每个成员必须位于其正确的对齐位置，如前面表中所定义的那样，而这可能需要进行隐式内部填充（由前面的成员决定）。

• 结构大小必须是其对齐的整数倍，这可能需要在最后一个成员之后进行填充。 由于结构和联合能以数组进行分组，因此结构或联合的每个数组元素必须按照前面定义的正确对齐方式开始和结束。

• 只要遵循前面的规则，就可以使用超出对齐要求的方式将数据对齐。

• 由于大小方面的原因，单个编译器可能会调整结构的封装方式。 例如，/Zp（结构成员对齐） 就允许调整结构的封装方式。

请参见

参考

类型和存储