标签联合体通过引入类型标签确保union类型安全，结合枚举标识当前存储的类型，避免未定义行为。手动实现需管理构造析构与标签一致性，c++17的std::variant提供标准安全实现，推荐优先使用以简化资源与类型管理。
在C++中，标签联合体（tagged union）是一种能安全持有多种不同类型值的数据结构，同时通过一个“标签”字段明确当前存储的是哪种类型。它解决了传统C风格联合体（union）无法知道当前使用的是哪个成员的问题，从而避免未定义行为。
什么是标签联合体
联合体（union）允许多个不同类型的变量共享同一块内存，但程序员必须自行管理当前使用的是哪一个成员。如果读取了未被写入的成员，会导致未定义行为。标签联合体在union的基础上增加了一个枚举或整型“标签”（tag），用于标识当前激活的类型。
这种设计让程序可以在运行时判断联合体内实际存储的类型，实现类型安全的多态数据处理。
示例：简单的标签联合体
立即学习“C++免费学习笔记（深入）”；
下面是一个手动实现的标签联合体，支持int、double和字符串：
enum class TypeTag { INT, DOUBLE, String }; <p>struct TaggedUnion { TypeTag tag; union { int i_val; double d_val; std::string* str_ptr; };</p><pre class="brush:php;toolbar:false;"><pre class="brush:php;toolbar:false;">// 构造函数 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 <variant> #include <string> #include <iostream> <p>using Value = std::variant<int, double, std::string>;</p><p>void print_value(const Value& v) { std::visit([](auto&& arg) { std::cout << arg << "n"; }, v); }</p><p>int main() { Value a = 42; Value b = 3.14; Value c = std::string("hello");</p><pre class="brush:php;toolbar:false;"><pre class="brush:php;toolbar:false;">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<std::string>(v)) { std::cout << std::get<std::string>(v); }
或使用std::visit进行泛型处理，避免类型错误。
总结
标签联合体通过引入类型标签，使联合体的使用变得安全可控。虽然可以手动实现，但推荐优先使用C++17的std::variant——它已经解决了内存管理、类型安全和异常安全等复杂问题。对于需要兼容旧标准的项目，自定义实现时务必谨慎处理构造、析构和赋值逻辑。
基本上就这些。用好标签联合体，可以让代码更灵活又不失安全性。