如何在C++中实现支持多类型操作数的三地址码式中间表示数据结构？

1. union+enum方案是否合理？ #

该方案是C++中处理异构类型存储的经典实现，具备合理性：

• 内存效率极高：union共享内存空间，不会产生额外的内存开销，契合编译器IR对内存占用敏感的需求；
• 类型可控：通过enum标记操作数类型，能在运行时明确当前操作数的实际类型，避免类型混淆。

但该方案存在明显缺点：每次访问操作数都需要手动编写switch分支处理不同类型，当操作数类型较多时，代码会变得繁琐冗余，维护成本上升。如果你的编译器IR操作数类型数量可控，该方案完全可以作为可行选项，不少小型自制编译器或成熟编译器的早期版本都采用过类似设计。

2. 是否应直接用字符串表示操作数？ #

绝对不推荐，原因如下：

• 内存与性能损耗：字符串存储需要额外的字符数组空间，且每次使用操作数时都需要解析字符串（如将寄存器名转为编号、字面量字符串转为数值），会在编译器优化、代码生成等关键路径引入不必要的性能开销；
• 类型安全缺失：字符串无法在编译期保证类型正确性，容易出现寄存器名与字面量混淆、类型拼写错误等问题，调试难度大。

3. 更合适的C++特性推荐 #

std::variant（C++17及以上） #

这是标准库提供的类型安全的联合体，是自定义union+enum方案的替代升级：

• 无需手动管理类型标签：标准库已封装类型信息，可通过std::holds_alternative判断类型，std::visit或std::get_if访问具体值，避免重复编写switch逻辑；
• 内存效率与自定义union相当：同样共享内存空间，无额外虚表开销；
• 类型安全：编译期即可检查操作数类型是否合法，避免运行时类型错误。

示例定义：

#include <variant>

// 假设寄存器类型用整数编号表示
using Register = int;
using Operand = std::variant<Register, int8_t, uint8_t, int16_t, uint16_t, int32_t, uint32_t>;

多态类层次结构 #

定义一个抽象基类Operand，派生出不同类型的操作数子类（如RegisterOperand、CharLiteralOperand、IntLiteralOperand等）：

• 扩展性强：新增操作数类型只需添加子类，无需修改现有代码；
• 语义清晰：每个子类对应明确的操作数类型，代码可读性高。

缺点是存在虚表内存开销，且访问时需通过dynamic_cast进行类型转换，性能略逊于std::variant，适合操作数类型极多且需频繁扩展的场景。

不推荐std::any #

std::any虽能存储任意类型，但类型信息仅在运行时可见，访问时需手动指定类型，类型安全保障弱于std::variant，且内存与性能开销更高，不适合编译器IR这种对性能和类型安全要求严格的场景。

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