联合体声明

< c‎ | language
 
C
 
C 语言
 
声明
 

联合体是由一序列的成员所组成的类型，成员的存储重叠（与结构体相反，结构体是由一序列的成员所构成的类型，成员的存储以顺序分配）。在任一时刻，最多能在联合体中存储其一个成员的值。

联合体的类型说明符与 struct 类型说明符相同，只是所用的关键词有别。

语法

union 名字(可选) { 结构体声明列表 } (1)
union 名字 (2)
名字 - 正在定义的联合体名称
结构体声明列表 - 任意数量的变量声明、位域声明和静态断言声明。不允许不完整类型的成员和函数类型的成员。

解释

联合体只大到足以保有其最大成员（亦可能添加额外的尾随填充字节）。其他成员被分配于与该最大成员一部分相同的字节中。

能转型指向联合体的指针为指向它每个成员的指针（若联合体拥有位域成员，则能转型指向联合体的指针为指向位域底层类型的指针）。类似地，指向结构体任何成员的指针都能被转型为指向整个结构体的指针。

若用于访问内容的联合体成员不同于上次用于存储值的成员，则转译被存储值的对象表示为新类型的对象表示（这被称为类型双关）。若新类型的大小大于上次写入的类型大小，则多出的字节内容是未指明的（而且可以是陷阱表示）。

类似结构体，类型为不带 name 的联合体的无名联合体成员被称为匿名联合体。每个匿名联合体的成员被认为是外围结构体或联合体的成员。若外围结构体或联合体亦为匿名，则递归调用此规则。 

struct v {
   union { // 匿名联合体
      struct { int i, j; }; // 匿名结构体
      struct { long k, l; } w;
   };
   int m;
} v1;
 
v1.i = 2;   // 合法
v1.k = 3;   // 非法：内层结构体不是匿名的
v1.w.k = 5; // 合法

类似结构体，若不以任何具名成员（包含经由匿名嵌套结构体或联合体获得的成员）定义联合体，则程序行为未定义。

(C11 起)

关键词

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 现为活跃成员
    printf("Union S has size %zu and holds %x\n", sizeof s, s.u32);
    s.u16[0] = 0x0011;  // s.u16 现为活跃成员
    // 从 s.u32 或 s.u8 的读取转译对象表示
//  printf("s.u8 is now %x\n", s.u8); // 未指定，典型结果是 11 或 00
//  printf("s.u32 is now %x\n", s.u32); // 未指定，典型结果是 12340011 或 00115678
 
    // 指向联合体所有成员的指针彼此间比较相等，也与指向联合体的指针比较相等
    assert((uint8_t*)&s == &s.u8);
 
    // 此联合体拥有尾随的 3 个填充字节
    union pad {
       char  c[5];   // 占据 5 字节
       float f;      // 占据 4 字节，隐含对齐 4
    } p = {.f = 1.23}; // 大小为 8 以满足 float 的对齐
    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

引用

  • C11 standard (ISO/IEC 9899:2011):
  • 6.7.2.1 Structure and union specifiers (p: 112-117)
  • C99 standard (ISO/IEC 9899:1999):
  • 6.7.2.1 Structure and union specifiers (p: 101-104)
  • C89/C90 standard (ISO/IEC 9899:1990):
  • 3.5.2.1 Structure and union specifiers

参阅