如何实现根据值类型自动选择C联合成员赋值的便捷宏？

问题背景 #

定义了如下联合类型：

typedef union Data {
    int i;
    char c;
    double d;
    float f;
} data;

希望无需手动根据数据类型访问对应字段，直接通过类似以下方式赋值：

data *c;
*c = 3;    // 替代 c->i = 3
*c = 'a';  // 替代 c->c = 'a'

但直接编写上述代码会触发编译错误：

Assigning to 'data' (aka 'union Data') from incompatible type 'int'.

可行实现方案 #

方法：使用C11类型泛型（_Generic） #

利用C11标准引入的_Generic特性，编写一个泛型赋值宏，编译时自动根据右值类型匹配联合的对应字段完成赋值：

#define DATA_ASSIGN(union_ptr, value) \
    _Generic((value), \
        int: (union_ptr)->i = (value), \
        char: (union_ptr)->c = (value), \
        double: (union_ptr)->d = (value), \
        float: (union_ptr)->f = (value) \
    )

使用示例

// 先定义并初始化联合变量（原代码中指针未初始化会导致未定义行为）
data my_data;
data *c = &my_data;

DATA_ASSIGN(c, 3);       // 自动赋值到c->i
DATA_ASSIGN(c, 'a');     // 自动赋值到c->c
DATA_ASSIGN(c, 3.14);    // 自动赋值到c->d
DATA_ASSIGN(c, 2.5f);    // 自动赋值到c->f

说明 #

• _Generic会在编译阶段判断value的类型，匹配对应的分支执行赋值操作，完全无需手动指定联合字段。
• 如果使用C99或更早版本的标准，只能通过命名不同的宏（如DATA_ASSIGN_INT、DATA_ASSIGN_CHAR）实现，但灵活性远不如泛型方案。
• 注意：必须确保联合指针指向有效的内存空间，避免未初始化指针解引用导致的未定义行为。

内容的提问来源于stack exchange，提问作者Pollastre