std::variant 是 c++17 提供的类型安全联合体，可存储多种类型之一并自动管理构造析构，结合 std::visit 实现安全访问与多态调度，适用于配置解析、AST 节点等场景。
在C++17中，std::variant 提供了一种类型安全的联合体（union）替代方案，能够在一个对象中存储多种不同类型中的某一个，并且避免了传统 union 的类型不安全问题。配合 std::visit，可以实现对 variant 中当前值的安全访问和操作，支持多态调度。
std::variant 基本用法
std::variant 是一个模板类，用于定义可持有若干指定类型之一的对象。它保证始终持有一个有效值（除非是异常状态），并自动管理内部类型的构造与析构。
示例：
定义一个可以保存 int、double 或 std::String 的 variant：
std::variant<int, double, std::string> v;
立即学习“C++免费学习笔记（深入）”；
赋值方式有多种：
- v = 42; // 存入 int
- v = 3.14; // 存入 double
- v = “hello”; // 存入 string
也可以使用 emplace 显式构造特定类型：
v.emplace<std::string>(“world”);
检查当前类型：std::holds_alternative 和 std::get
可以通过 std::holds_alternative 判断 variant 当前是否持有某个类型：
if (std::holds_alternative<int>(v)) { … }
使用 std::get<T>(v) 获取当前值（需确保类型匹配，否则抛出 std::bad_variant_access）：
if (std::holds_alternative<double>(v)) { double d = std::get<double>(v); }
使用 std::visit 进行类型分发
std::visit 是访问 variant 内容的推荐方式，它接受一个可调用对象（如 Lambda、函数对象）和一个或多个 variant，自动根据当前持有的类型调用对应的处理逻辑。
常见做法是传入一个包含多个重载 operator() 的 lambda 组合（通常使用泛型 lambda 或 C++17 的 lambda 合并语法）。
示例：打印 variant 的内容
std::visit([](const auto& value) {
std::cout << value << std::endl;
}, v);
这个泛型 lambda 会自动匹配 variant 当前持有的类型。
更复杂的例子：处理不同类型的计算
Struct Compute {
double operator()(int i) const { return i * 1.0; }
double operator()(double d) const { return d * 2.0; }
double operator()(const std::string& s) const { return s.Length(); }
};
double result = std::visit(Compute{}, v);
如果需要多个 variant 联合 dispatch，std::visit 也支持：
std::visit([](auto a, auto b) { return a + b; }, v1, v2);
注意事项与最佳实践
使用 std::variant 时注意以下几点：
- variant 中的类型必须可构造、可析构、可赋值，且不能是引用、数组或 cv 限定类型（如 const T）
- 访问时优先使用 std::visit，避免手动判断类型带来的冗余和错误
- 泛型 lambda 配合 std::visit 可大幅减少代码量
- 若需返回不同类型，可在 visit 中返回共同基类指针或另一个 variant
- std::monostate 可用于表示“空状态”，例如构建可为空的 variant：std::variant<std::monostate, int, std::string>
基本上就这些。std::variant 和 std::visit 结合，提供了一种现代、安全、高效的替代 union 和 void* 的方案，特别适合表达“一个值可能是几种类型之一”的场景，比如解析配置、AST 节点、事件处理等。