标签联合体通过引入类型标签确保union类型安全，结合枚举标识当前存储的类型，避免未定义行为。手动实现需管理构造析构与标签一致性，C++17的std::variant提供标准安全实现，推荐优先使用以简化资源与类型管理。
在C++中，标签联合体（tagged union）是一种能安全持有多种不同类型值的数据结构，同时通过一个“标签”字段明确当前存储的是哪种类型。它解决了传统C风格联合体（union）无法知道当前使用的是哪个成员的问题，从而避免未定义行为。
什么是标签联合体
联合体（union）允许多个不同类型的变量共享同一块内存，但程序员必须自行管理当前使用的是哪一个成员。如果读取了未被写入的成员，会导致未定义行为。标签联合体在union的基础上增加了一个枚举或整型“标签”（tag），用于标识当前激活的类型。
这种设计让程序可以在运行时判断联合体内实际存储的类型，实现类型安全的多态数据处理。
示例：简单的标签联合体
立即学习“C++免费学习笔记（深入）”；
下面是一个手动实现的标签联合体，支持int、double和字符串：
enum class TypeTag { INT, DOUBLE, STRING };
struct TaggedUnion {
TypeTag tag;
union {
int i_val;
double d_val;
std::string* str_ptr;
};
// 构造函数
TaggedUnion(int i) : tag(TypeTag::INT), i_val(i) {}
TaggedUnion(double d) : tag(TypeTag::DOUBLE), d_val(d) {}
TaggedUnion(const std::string& s) : tag(TypeTag::STRING) {
str_ptr = new std::string(s);
}
// 析构函数需处理资源释放
~TaggedUnion() {
if (tag == TypeTag::STRING) {
delete str_ptr;
}
}
// 禁止拷贝（可进一步实现深拷贝）
TaggedUnion(const TaggedUnion&) = delete;
TaggedUnion& operator=(const TaggedUnion&) = delete;
// 访问函数
void print() const {
switch (tag) {
case TypeTag::INT:
std::cout << "int: " << i_val << "\n";
break;
case TypeTag::DOUBLE:
std::cout << "double: " << d_val << "\n";
break;
case TypeTag::STRING:
std::cout << "string: " << *str_ptr << "\n";
break;
}
}
};
C++标准库中的现代实现：std::variant
从C++17开始，std::variant 是标签联合体的标准实现。它提供了类型安全、异常安全和更简洁的接口。
std::variant自动管理内部对象的构造与析构，且可通过std::get、std::holds_alternative和std::visit进行类型检查与访问。
使用 std::variant 的例子
#include
#include
#include
using Value = std::variant;
void print_value(const Value& v) {
std::visit([](auto&& arg) {
std::cout << arg << "\n";
}, v);
}
int main() {
Value a = 42;
Value b = 3.14;
Value c = std::string("hello");
print_value(a); // 输出: 42
print_value(b); // 输出: 3.14
print_value(c); // 输出: hello
return 0;
}
如何保证安全性和正确性
手动实现标签联合体容易出错，尤其是涉及非POD类型（如string、vector等）时。以下几点是关键：
- 确保在切换类型时正确调用旧对象的析构函数和新对象的构造函数
- 标签字段必须始终与union中实际类型一致
- 禁止浅拷贝，除非实现完整的复制逻辑
- 考虑使用placement new和显式析构来管理复杂类型
安全访问建议
无论使用自定义标签联合体还是std::variant，都应先检查类型再访问：
if (std::holds_alternative(v)) {
std::cout << std::get(v);
}
或使用std::visit进行泛型处理，避免类型错误。
总结
标签联合体通过引入类型标签，使联合体的使用变得安全可控。虽然可以手动实现，但推荐优先使用C++17的std::variant——它已经解决了内存管理、类型安全和异常安全等复杂问题。对于需要兼容旧标准的项目，自定义实现时务必谨慎处理构造、析构和赋值逻辑。
基本上就这些。用好标签联合体，可以让代码更灵活又不失安全性。
