Union declaration

联合体是一种由成员序列组成的类型，其存储空间相互重叠（与结构体相反，结构体是由成员序列组成的类型，其存储按有序序列分配）。在任意时刻，联合体最多只能存储其中一个成员的值。

联合体的 类型说明符 与 struct 类型说明符完全相同，唯一的区别在于所使用的关键字：

语法

说明

联合体的大小仅需容纳其最大成员（可能还会添加额外的未命名尾部填充）。其他成员在该最大成员所在的相同字节内分配。

指向联合体的指针可以被强制转换为指向其每个成员的指针（如果联合体有位域成员，指向联合体的指针可以被强制转换为指向该位域底层类型的指针）。同样地，指向联合体任何成员的指针也可以被强制转换为指向该联合体的指针。

struct v
{
   union // anonymous union
   {
       struct { int i, j; }; // anonymous structure
       struct { long k, l; } w;
   };
   int m;
} v1;
v1.i = 2;   // valid
v1.k = 3;   // invalid: inner structure is not anonymous
v1.w.k = 5; // valid

关键词

union

注释

请参阅 结构体初始化 了解关于结构体和联合体初始化的规则。

示例

#include <assert.h>
#include <stdint.h>
#include <stdio.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

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的C语言标准。

参考文献

参见