コンテンツにスキップ

C言語/union

リンクを追加
出典: フリー教科書『ウィキブックス（Wikibooks）』

共用体の基本概念

[編集]

共用体（union）はC言語の複合データ型の一つで、同じメモリ領域に異なる型のデータを格納するための機構です。構造体（struct）と似た構文を持ちますが、メモリの使い方が根本的に異なります。構造体がすべてのメンバーを別々のメモリ領域に保存するのに対し、共用体はすべてのメンバーが同じメモリ領域を共有します。

共用体の定義と宣言

[編集]

共用体は以下の構文で定義します： 

union タグ名 {
    型名1 メンバー名1;
    型名2 メンバー名2;
    ...
};

共用体の宣言と初期化の例： 

// 共用体の定義
union Value {
    int i;
    float f;
    char str[8];
};

// 共用体変数の宣言
union Value val;

// 初期化方法1: メンバーを直接指定
union Value val1 = {.i = 10};

// 初期化方法2: 最初のメンバーとして初期化
union Value val2 = {42};  // int i として初期化

// C99以降: 指定初期化子を使用
union Value val3 = {.f = 3.14};

共用体のサイズは最大のメンバーのサイズに等しくなります。これは、すべてのメンバーが同じメモリ空間を共有するためです。 

#include <stdio.h>
union Example {
    int i;      // 通常4バイト
    double d;   // 通常8バイト
    char c[10]; // 10バイト
};

int main() {
    printf("sizeof(union Example) = %zu バイト\n", sizeof(union Example));
    return 0;
}

// 実行結果（システムによって異なる場合があります）:
// sizeof(union Example) = 16 バイト

共用体の使用方法

[編集]

共用体の主な使用方法は、一度に一つのメンバーだけを使用する場合のメモリ効率化です。ただし、一つのメンバーに値を書き込むと、他のすべてのメンバーの値が上書きされることに注意が必要です。 

#include <stdio.h>
union Data {
    int i;
    float f;
    char str[8];
};

int main() {
    union Data data;
    
    // int メンバーに値を設定
    data.i = 123456;
    printf("data.i = %d\n", data.i);
    
    // float メンバーに値を設定（これにより .i の値は無効になる）
    data.f = 3.14;
    printf("data.f = %f\n", data.f);
    printf("data.i = %d\n", data.i);  // 不定値になる
    
    // 文字列をセット（これにより .f と .i の値は無効になる）
    sprintf(data.str, "ABCDE");
    printf("data.str = %s\n", data.str);
    printf("data.f = %f\n", data.f);  // 不定値になる
    printf("data.i = %d\n", data.i);  // 不定値になる
    
    return 0;
}

共用体の典型的な用途

[編集]

1. 異なる形式でデータを扱う

[編集]
#include <stdio.h>
#include <string.h>
union Number {
    int integer;
    float real;
};

struct Value {
    char type;  // 'i'はint、'f'はfloat
    union Number number;
};

void printValue(struct Value val) {
    if (val.type == 'i') {
        printf("整数値: %d\n", val.number.integer);
    } else if (val.type == 'f') {
        printf("実数値: %.2f\n", val.number.real);
    }
}

int main() {
    struct Value v1 = {'i'};
    v1.number.integer = 42;
    
    struct Value v2 = {'f'};
    v2.number.real = 3.14;
    
    printValue(v1);
    printValue(v2);
    
    return 0;
}

2. ビットフィールドとしての使用

[編集]
#include <stdio.h>
// RGBAカラーを異なる形式で扱う
union Color {
    unsigned int value;  // 32ビット整数としてアクセス
    struct {             // ビットフィールドとしてアクセス
        unsigned char r;
        unsigned char g;
        unsigned char b;
        unsigned char a;
    } components;
};

int main() {
    union Color color;
    
    // 16進数で色を設定
    color.value = 0xFF5500FF;  // 赤: FF, 緑: 55, 青: 00, 不透明度: FF
    
    printf("色の値: 0x%08X\n", color.value);
    printf("赤: %u\n", color.components.r);
    printf("緑: %u\n", color.components.g);
    printf("青: %u\n", color.components.b);
    printf("不透明度: %u\n", color.components.a);
    
    // 個別のコンポーネントを変更
    color.components.g = 128;
    printf("新しい色: 0x%08X\n", color.value);
    
    return 0;
}

3. メモリの節約

[編集]
#include <stdio.h>
#include <string.h>
// 各要素の型が異なる配列を効率的に実装
union ArrayElement {
    int i;
    double d;
    char s[16];
};

struct TypedArray {
    char type;  // 'i'=int, 'd'=double, 's'=string
    union ArrayElement data;
};

int main() {
    // 異なる型の要素を含む配列
    struct TypedArray elements[3];
    
    // 整数
    elements[0].type = 'i';
    elements[0].data.i = 42;
    
    // 浮動小数点数
    elements[1].type = 'd';
    elements[1].data.d = 3.14159;
    
    // 文字列
    elements[2].type = 's';
    strcpy(elements[2].data.s, "Hello, C!");
    
    // 各要素を表示
    for (int i = 0; i < 3; i++) {
        printf("要素 %d: ", i);
        switch (elements[i].type) {
            case 'i':
                printf("整数 = %d\n", elements[i].data.i);
                break;
            case 'd':
                printf("浮動小数点数 = %f\n", elements[i].data.d);
                break;
            case 's':
                printf("文字列 = \"%s\"\n", elements[i].data.s);
                break;
        }
    }
    
    return 0;
}

匿名共用体（C11以降）

[編集]

C11以降では匿名共用体（anonymous union）をサポートしています。これにより、共用体のメンバーに名前を付けずに、構造体の中で直接アクセスすることができます。 

#include <stdio.h>
struct Data {
    int type;  // 1=int, 2=float
    
    // 匿名共用体
    union {
        int i;
        float f;
    };  // 名前がないことに注意
};

int main() {
    struct Data d;
    
    d.type = 1;
    d.i = 42;  // 共用体の名前なしで直接アクセス
    
    printf("type = %d, value = ", d.type);
    if (d.type == 1) {
        printf("%d\n", d.i);
    } else {
        printf("%f\n", d.f);
    }
    
    d.type = 2;
    d.f = 3.14;  // 同じメンバーに異なる型でアクセス
    
    printf("type = %d, value = ", d.type);
    if (d.type == 1) {
        printf("%d\n", d.i);
    } else {
        printf("%f\n", d.f);
    }
    
    return 0;
}

共用体の型安全性と注意点

[編集]

共用体は型安全性を犠牲にして使用されるため、注意が必要です。具体的には以下の点に注意しましょう：

  1. アクティブメンバーの追跡: 現在どのメンバーが有効（最後に代入されたメンバー）かを追跡する仕組みが必要です。
  2. メモリ表現の依存性: 共用体のメモリ表現はアーキテクチャやコンパイラに依存するため、ポータブルではないコードになる可能性があります。
  3. アライメント問題: 大きなアライメント制約を持つデータ型（例えば、double）を含む共用体は、メモリアライメントの問題が発生する可能性があります。
#include <stdio.h>
union Mixed {
    char c;
    int i;
    double d;
};

int main() {
    union Mixed m;
    
    printf("共用体のサイズ: %zu バイト\n", sizeof(m));
    printf("char のオフセット: %zu\n", (size_t)&m.c - (size_t)&m);
    printf("int のオフセット: %zu\n", (size_t)&m.i - (size_t)&m);
    printf("double のオフセット: %zu\n", (size_t)&m.d - (size_t)&m);
    
    return 0;
}

C23での共用体の新機能

[編集]

C23（ISO/IEC 9899:2024）では、共用体に関する主な変更点は以下の通りです：

デフォルトメンバー初期化子

[編集]

C23では、共用体のメンバーにデフォルトの初期化子を指定できるようになりました： 

union Value {
    int i = 0;      // デフォルト初期化子
    float f = 0.0f; // デフォルト初期化子
    char c = 'A';   // デフォルト初期化子
};

ただし、共用体はすべてのメンバーが同じメモリ領域を共有するため、最初のメンバーのデフォルト初期化子のみが適用されます。

共用体とジェネリックセレクション

[編集]

C11で導入された_GenericとC23の拡張を組み合わせることで、共用体のアクティブメンバーに基づいた型安全な操作が可能になります： 

#include <stdio.h>
union Number {
    int i;
    float f;
    double d;
};

// C23では_Genericの拡張により、より柔軟な型分岐が可能
#define print_value(x) _Generic((x), \
    int: printf("整数値: %d\n", (x)), \
    float: printf("実数値（float）: %f\n", (x)), \
    double: printf("実数値（double）: %lf\n", (x)), \
    default: printf("未知の型\n"))

int main() {
    union Number num;
    
    num.i = 42;
    print_value(num.i);
    
    num.f = 3.14f;
    print_value(num.f);
    
    num.d = 2.71828;
    print_value(num.d);
    
    return 0;
}

共用体のキーワードの別の用途

[編集]

C言語において、unionキーワードは他の文脈でも使用されることがあります：

atomic_flag_testとunion

[編集]

C11で導入された原子操作においては、unionを使用して型変換を行うことがあります： 

#include <stdatomic.h>
#include <stdio.h>
int main() {
    // 異なる型の原子変数の値を安全に取得するためにunionを使用
    atomic_int a_int = 5;
    
    union {
        int i;
        float f;
    } converter;
    
    converter.i = atomic_load(&a_int);
    printf("整数値: %d\n", converter.i);
    printf("浮動小数点数として見た場合: %f\n", converter.f);
    
    return 0;
}

C++との互換性における違い

[編集]

C++でもunionがサポートされていますが、C++17以降、unionはより多くの機能（例えばコンストラクタやデストラクタを持つクラスをメンバーとして含めることができる）をサポートします。C言語のみを使用する場合、このような違いに注意が必要です。

共用体の実用的な例

[編集]

バイトレベルの操作

[編集]

共用体はバイトレベルの操作に便利です： 

#include <stdio.h>
union ByteAccess {
    unsigned int value;
    unsigned char bytes[4];
};

int main() {
    union ByteAccess ba;
    ba.value = 0x12345678;
    
    printf("32ビット値: 0x%08X\n", ba.value);
    printf("バイト単位: ");
    for (int i = 0; i < 4; i++) {
        printf("0x%02X ", ba.bytes[i]);
    }
    printf("\n");
    
    // エンディアン判定
    if (ba.bytes[0] == 0x78) {
        printf("このシステムはリトルエンディアンです\n");
    } else if (ba.bytes[0] == 0x12) {
        printf("このシステムはビッグエンディアンです\n");
    }
    
    return 0;
}

シリアライゼーションとネットワーク通信

[編集]
#include <stdio.h>
#include <string.h>
// パケットフォーマット
struct Packet {
    unsigned char type;
    unsigned char version;
    unsigned short length;
    
    union PacketData {
        struct {
            unsigned int source_ip;
            unsigned int dest_ip;
        } ip_data;
        
        struct {
            unsigned short source_port;
            unsigned short dest_port;
            unsigned int sequence;
        } tcp_data;
        
        unsigned char raw[8];
    } data;
};

void printPacket(const struct Packet *pkt) {
    printf("パケットタイプ: %u\n", pkt->type);
    printf("バージョン: %u\n", pkt->version);
    printf("データ長: %u\n", pkt->length);
    
    if (pkt->type == 1) {  // IPパケット
        printf("送信元IP: %u.%u.%u.%u\n", 
            (pkt->data.ip_data.source_ip >> 24) & 0xFF,
            (pkt->data.ip_data.source_ip >> 16) & 0xFF,
            (pkt->data.ip_data.source_ip >> 8) & 0xFF,
            pkt->data.ip_data.source_ip & 0xFF);
        printf("宛先IP: %u.%u.%u.%u\n",
            (pkt->data.ip_data.dest_ip >> 24) & 0xFF,
            (pkt->data.ip_data.dest_ip >> 16) & 0xFF,
            (pkt->data.ip_data.dest_ip >> 8) & 0xFF,
            pkt->data.ip_data.dest_ip & 0xFF);
    } else if (pkt->type == 2) {  // TCPパケット
        printf("送信元ポート: %u\n", pkt->data.tcp_data.source_port);
        printf("宛先ポート: %u\n", pkt->data.tcp_data.dest_port);
        printf("シーケンス番号: %u\n", pkt->data.tcp_data.sequence);
    }
}

int main() {
    struct Packet ipPacket = {0};
    ipPacket.type = 1;
    ipPacket.version = 4;
    ipPacket.length = 8;
    ipPacket.data.ip_data.source_ip = 0xC0A80101;  // 192.168.1.1
    ipPacket.data.ip_data.dest_ip = 0xC0A80102;    // 192.168.1.2
    
    struct Packet tcpPacket = {0};
    tcpPacket.type = 2;
    tcpPacket.version = 1;
    tcpPacket.length = 8;
    tcpPacket.data.tcp_data.source_port = 8080;
    tcpPacket.data.tcp_data.dest_port = 80;
    tcpPacket.data.tcp_data.sequence = 12345678;
    
    printf("IPパケット:\n");
    printPacket(&ipPacket);
    
    printf("\nTCPパケット:\n");
    printPacket(&tcpPacket);
    
    // パケットをバイトシーケンスに変換（シリアライズ）
    unsigned char buffer[sizeof(struct Packet)];
    memcpy(buffer, &tcpPacket, sizeof(struct Packet));
    
    printf("\nシリアライズされたデータ (16進数):\n");
    for (size_t i = 0; i < sizeof(struct Packet); i++) {
        printf("%02X ", buffer[i]);
        if ((i + 1) % 8 == 0) printf("\n");
    }
    
    return 0;
}

まとめ

[編集]

共用体（union）はC言語において重要なデータ構造であり、同じメモリ領域に異なる型のデータを格納するために使用されます。メモリの効率的な使用、バイトレベルの操作、異なる形式のデータ処理など、様々な用途に活用できます。

しかし、型安全性を犠牲にしているため、どのメンバーが現在アクティブであるかを適切に追跡する仕組みが必要です。C23で導入された新機能とジェネリックプログラミングを組み合わせることで、よりロバストなコードを書くことができます。

共用体を適切に使用することで、効率的でエレガントなプログラミングソリューションを実現できます。

"https://ja.wikibooks.org/w/index.php?title=C言語/union&oldid=271029" より作成