Union declaration

유니온(union)은 저장 공간이 겹치는 멤버들의 시퀀스로 구성된 타입입니다(반면 구조체(struct)는 저장 공간이 순차적으로 할당되는 멤버들의 시퀀스로 구성된 타입입니다). 언제든지 최대 하나의 멤버 값만 유니온에 저장될 수 있습니다.

공용체의 타입 지정자 는 사용된 키워드를 제외하면 struct 타입 지정자와 동일합니다:

구문

설명

공용체는 가장 큰 멤버를 보관하기에 충분한 크기로만 구성됩니다(추가적인 이름 없는 후행 패딩이 추가될 수도 있습니다). 다른 멤버들은 가장 큰 멤버의 일부로 동일한 바이트에 할당됩니다.

union에 대한 포인터는 각 멤버에 대한 포인터로 캐스트될 수 있습니다 (union에 비트 필드 멤버가 있는 경우, union에 대한 포인터는 비트 필드의 기본 타입에 대한 포인터로 캐스트될 수 있습니다). 마찬가지로, union의 어떤 멤버에 대한 포인터든 enclosing union에 대한 포인터로 캐스트될 수 있습니다.

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

참고 사항

구조체와 공용체의 초기화 규칙에 대해서는 struct initialization 을 참조하십시오.

예제

#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
    // union의 모든 멤버에 대한 포인터는 자신과 union과 비교 시 동일합니다
    assert((uint8_t*)&s == &s.u8);
    // 이 union은 3바이트의 트레일링 패딩을 가집니다
    union pad
    {
        char  c[5]; // 5바이트 차지
        float f;    // 4바이트 차지, 4의 정렬을 부과
    } p = { .f = 1.23 }; // float의 정렬을 충족하기 위해 크기는 8입니다
    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 표준에 소급 적용되었습니다.

참고문헌

참고 항목