标签联合体是带类型标记的union，由标签字段和union成员组成，通过标签确保类型安全访问；C++17前需手动管理非POD类型生命周期，C++17引入std::variant实现自动管理，支持类型安全、自动构造析构和std::visit分发，适用于JSON解析、表达式求值等多类型单值场景。
在C++中，标签联合体（tagged union）是一种能安全表示多种不同类型数据之一的数据结构。它解决了传统C风格联合体（union）的一个核心问题：无法知道当前存储的是哪种类型。由于union共享同一块内存，若使用错误的类型读取数据，会导致未定义行为。tagged union通过引入一个“标签”（tag）字段来记录当前活跃的类型，从而实现类型安全的访问。
什么是标签联合体（Tagged Union）？
标签联合体由两部分组成：
- 一个枚举或整型标签（tag）：用于标识当前union中存放的是哪种类型。
- 一个union成员：包含多个可能的数据类型，共享同一段内存。
通过检查tag值，程序可以确定如何正确地解释union中的数据，避免类型混淆。
例如，实现一个可存储整数、浮点数或字符串的variant类型：
立即学习“C++免费学习笔记（深入）”；
enum class ValueType { INT, FLOAT, STRING };
struct TaggedValue {
ValueType tag;
union {
int i;
float f;
std::string s;
};
// 必须手动管理构造和析构
};
但上面的代码有问题：std::string有构造函数和析构函数，在union中直接使用会引发未定义行为。因此需要更精细的控制。
C++中的安全联合体设计
要安全使用联合体，必须手动管理非POD类型（如std::string、std::vector）的生命周期。规则如下：
- 在写入某个类型前，先调用其构造函数（placement new）。
- 在覆盖或销毁前，若当前类型需要析构，应显式调用析构函数。
- 始终维护tag字段与union中实际类型的同步。
改进后的安全实现示例：
使用约定式提交（Conventional Commits）生成标准化的 Git 提交信息。适用于以下场景： (1) 暂存更改时需要提交信息； (2) 审查 diff 时希望获得结构化摘要； (3) 编写 PR 描述或变更日志（changelog）条目； (4) 用户明确要求“为本次更改编写提交信息”。 该功能会分析已暂存/未暂存的 diff，并生成按类型（type）划分范围的提交信息。
struct SafeTaggedValue {
ValueType tag;
union {
int i;
float f;
std::string s;
};
SafeTaggedValue() : tag(ValueType::INT), i(0) {}
~SafeTaggedValue() {
if (tag == ValueType::STRING) {
s.~basic_string();
}
}
void set_string(const std::string& str) {
if (tag == ValueType::STRING) {
s = str;
} else {
if (tag == ValueType::STRING) s.~basic_string();
new(&s) std::string(str);
tag = ValueType::STRING;
}
}
};
这种手动管理方式复杂且易出错，因此C++17引入了更高级的解决方案。
std::variant：现代C++的标签联合体
C++17标准库中的std::variant是标签联合体的安全、泛型实现。它自动处理类型标签、构造、析构和赋值，避免了手动管理的风险。
使用示例：
#include <variant>
#include <string>
#include <iostream>
using Value = std::variant<int, float, std::string>;
void print(const Value& v) {
std::visit([](const auto& x) {
std::cout << x << "\n";
}, v);
}
int main() {
Value a = 42;
Value b = 3.14f;
Value c = std::string("hello");
print(a); // 输出: 42
print(b); // 输出: 3.14
print(c); // 输出: hello
}
std::variant的优势：
- 类型安全：不允许访问非活跃类型，尝试错误访问会抛出异常（std::bad_variant_access）。
- 自动生命周期管理：构造、复制、移动、析构均由编译器生成代码处理。
- 支持std::visit进行类型分发，无需手动判断tag。
何时使用标签联合体？
标签联合体适用于需要“一个值，多种类型”的场景，比如：
- 解析JSON或配置文件，其中字段可能是数字、字符串或布尔值。
- 表达式求值器中表示不同字面量类型。
- 状态机中携带不同类型的数据载荷。
在C++17之前，需手动实现tagged union；之后，优先使用std::variant。
基本上就这些。tagged union本质是带类型标记的union，而std::variant是其现代、安全、推荐的实现方式。理解其原理有助于更好地使用variant，并在必要时设计自定义变体类型。
