Union declaration

联合是由存储重叠的成员序列组成的类型（与结构相对，结构是一种由存储按有序序列分配的成员序列组成的类型）。至多一个成员的价值可以在任何时候存储在工会中。

struct除了使用的关键字之外，联合的类型说明符与 类型说明符相同：

句法

说明

工会的规模只有持有其最大成员所需的那么大（另外还可以添加未命名的追尾填充）。其他成员以相同字节分配，作为该最大成员的一部分。

指向联合的指针可以转换为指向其每个成员的指针（如果联合有位字段成员，指向联合的指针可以转换为指向位字段的基础类型的指针）。同样，可以将指向任何联合成员的指针转换为指向包围联合的指针。

如果用于访问联合的内容的成员与上次用于存储值的成员不相同，则存储的值的对象表示将被重新解释为新类型的对象表示（这称为类型打孔）。如果新类型的大小大于最后写入类型的大小，则超出字节的内容未指定（并且可能是陷阱表示）。

关键词

union.

笔记

有关结构和联合初始化的规则，请参阅结构初始化。

例

#include <stdio.h>
#include <stdint.h>
#include <assert.h>
 
int main(void)
{
    union S {
        uint32_t u32;
        uint16_t u16[2];
        uint8_t  u8;
    } s = {0x12345678}; // s.u32 is now the active member
    printf("Union S has size %zu and holds %x\n", sizeof s, s.u32);
    s.u16[0] = 0x0011;  // s.u16 is now the active member
    // reading from s.u32 or from s.u8 reinterprets the object representation
//  printf("s.u8 is now %x\n", s.u8); // unspecified, typically 11 or 00
//  printf("s.u32 is now %x\n", s.u32); // unspecified, typically 12340011 or 00115678
 
    // pointers to all members of a union compare equal to themselves and the union
    assert((uint8_t*)&s == &s.u8);
 
    // this union has 3 bytes of trailing padding
    union pad {
       char  c[5];   // occupies 5 bytes
       float f;      // occupies 4 bytes, imposes alignment 4
    } p = {.f = 1.23}; // the size is 8 to satisfy float's alignment
    printf("size of union of char[5] and float is %zu\n", sizeof p);
}

输出：

Union S has size 4 and holds 12345678
size of union of char[5] and float is 8

每个成员都被分配好像它是唯一的成员，这就是为什么s.c在上面的例子中第一个字节是别名s.s[0]。

参考

• C11标准（ISO / IEC 9899：2011）：
  • 6.7.2.1结构和联合说明符（p：112-117）
• C99标准（ISO / IEC 9899：1999）：
  • 6.7.2.1结构和联合说明符（p：101-104）
• C89 / C90标准（ISO / IEC 9899：1990）：
  • 3.5.2.1结构和联合说明符