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

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

句法

联合体名称(可选){结构声明列表}(1)工会名称(2)

name-正在定义的联盟的名称结构声明列表-任何数量的变量声明，位域声明和静态断言声明。不完整类型的成员和函数类型的成员是不允许的。

说明

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

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

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

与struct类似，类型为无名称的联合的联合的未命名成员称为匿名联合。匿名联盟的每个成员都被认为是封闭结构或联盟的成员。如果封闭的结构或联合也是匿名的，则这将递归应用。struct v {union {//匿名联合结构{int i，j; }; //匿名结构struct {long k，l; } w; }; int m; } v1; v1.i = 2; //有效v1.k = 3; //无效：内部结构不是匿名的v1.wk = 5; // valid类似于struct，如果union没有任何命名成员(包括通过匿名嵌套结构或联合获得的)定义，则程序的行为是未定义的。(自C11以来)

关键词

union.

笔记

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

例

#include #include #include

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 12345678size 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结构和联合说明符