是否有实用方案移除AmbiguousType相关枚举switch语句？

针对运行时动态选择联合成员导致switch逻辑冗余的问题，有两种实用替代方案，既能保留原有功能，又能消除重复分支：

方案一：函数指针表 #

通过函数指针数组将不同成员的处理逻辑与AmbiguousTypeSpecifier枚举值映射，直接索引调用对应逻辑，替代switch分支。

具体实现： #

1. 定义统一的函数指针类型，匹配赋值逻辑的签名：

typedef void (*AmbiguousAssignFunc)(AmbiguousType*, void*);

2. 为每个联合成员实现独立的赋值函数：

static void AssignUnsigned32(AmbiguousType* affected, void* value) {
    affected->unsigned32 = VPTT(u32, value);
}

static void AssignUnsigned64(AmbiguousType* affected, void* value) {
    affected->unsigned64 = VPTT(u64, value);
}

static void AssignSigned32(AmbiguousType* affected, void* value) {
    affected->signed32 = VPTT(i32, value);
}

static void AssignSigned64(AmbiguousType* affected, void* value) {
    affected->signed64 = VPTT(i64, value);
}

3. 创建函数指针数组，顺序与AmbiguousTypeSpecifier枚举值一一对应：

static const AmbiguousAssignFunc assignFuncs[] = {
    AssignUnsigned32,  // 对应unsigned32枚举值
    AssignUnsigned64,  // 对应unsigned64枚举值
    AssignSigned32,    // 对应signed32枚举值
    AssignSigned64     // 对应signed64枚举值
};

4. 重构AssignAmbiguousType函数：

void AssignAmbiguousType(AmbiguousType* affected, AmbiguousTypeSpecifier member, void* value) {
    // 可选：添加边界检查，避免数组越界
    if (member < sizeof(assignFuncs)/sizeof(assignFuncs[0])) {
        assignFuncs[member](affected, value);
    }
}

这种方式扩展性强，后续新增联合成员时，仅需添加对应处理函数和数组元素，无需修改核心逻辑。

方案二：内存拷贝+成员元数据 #

利用联合成员共享内存空间的特性，结合类型大小直接拷贝内存数据，省去显式的成员赋值逻辑。

具体实现： #

#include <stddef.h>  // 用于offsetof
#include <string.h>  // 用于memcpy

// 存储每个成员对应的类型大小，顺序与枚举值一致
static const size_t memberSizes[] = {
    sizeof(u32),   // unsigned32
    sizeof(u64),   // unsigned64
    sizeof(i32),   // signed32
    sizeof(i64)    // signed64
};

void AssignAmbiguousType(AmbiguousType* affected, AmbiguousTypeSpecifier member, void* value) {
    if (member < sizeof(memberSizes)/sizeof(memberSizes[0])) {
        // 联合所有成员起始地址相同，直接拷贝对应大小的数据
        memcpy(&affected->unsigned32, value, memberSizes[member]);
    }
}

这种方式代码更简洁，无需额外函数定义，但需确保value指向的数据类型和大小与目标成员完全匹配。

注意：两种方案都要求AmbiguousTypeSpecifier枚举值为连续的非负整数（从0开始），若枚举值不连续，需额外做索引映射（比如用枚举值作为键的数组，但实现成本较高，不如前两种方案实用）。

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