std::variant是C++17的类型安全联合体，可存储多种类型之一，赋值自动析构旧值，访问时需用std::holds_alternative检查类型再通过std::get安全获取，避免异常或未定义行为。
在C++中，std::variant 是 C++17 引入的一个类型安全的联合体（type-safe union），可以用来存储多种不同类型中的某一种。相比传统的 union，它能避免未定义行为，但要真正“安全”使用，仍需注意一些关键点。
理解 std::variant 的基本机制
std::variant 本质上是一个可持有固定类型列表中任意一个类型的容器，但它一次只能保存其中一个类型的值。例如：
std::variant<int, std::string, double> v = 42; v = "hello"; // OK
赋值会自动销毁旧值并构造新值，这是异常安全的。但访问时若类型不匹配，可能抛出异常或导致未定义行为，因此必须小心处理。
使用 std::get 安全访问值
直接用 std::get<T>(v) 或 std::get<Index>(v) 访问 variant 中的值时，如果当前持有的不是目标类型，会抛出 std::bad_variant_access 异常。
立即学习“C++免费学习笔记（深入）”；
为避免异常，应先检查当前活动类型：
- 使用 std::holds_alternative<T>(v) 判断是否持有指定类型
- 再调用 std::get<T> 安全取值
if (std::holds_alternative<std::string>(v)) {
std::cout << std::get<std::string>(v);
}
优先使用 std::visit 进行类型分发
最安全、最推荐的方式是使用 std::visit 配合 lambda 或函数对象，对 variant 所有可能类型统一处理。
这样能确保所有类型都被覆盖，编译器还能帮助检查是否遗漏情况（配合 if constexpr 或结构化绑定）。
std::visit([](const auto& value) {
std::cout << value << std::endl;
}, v);
若不同类型的处理逻辑不同，可用多个 lambda 或 switch-like 结构：
std::visit(overloaded{
[](int i) { /* 处理 int */ },
[](const std::string& s) { /* 处理 string */ },
[](double d) { /* 处理 double */ }
}, v);
</font>其中 overloaded 是一个常见的辅助结构，用于合并多个可调用对象。
避免常见陷阱
- 不要假设 variant 的初始状态：默认构造时，它会构造第一个可默认构造的类型。若所有类型都不可默认构造，variant 将处于“非活动”状态，访问会出错。
- 避免裸用 std::get 而不做类型检查，尤其在多线程或复杂逻辑中。
- 注意自赋值问题：虽然 std::variant 支持自赋值，但语义上会重新构造，可能影响性能或资源管理。
- 移动语义下，原 variant 变为“已移动”状态，不应再访问。
基本上就这些。只要配合 std::holds_alternative 检查或统一用 std::visit，就能安全使用 std::variant 存储和操作多种类型。
