std::variant是C++17引入的类型安全联合体，可存储多种类型之一并记录当前激活类型，避免未定义行为。通过std::get_if安全获取值或std::visit结合lambda实现类型安全的泛型访问，适用于配置解析、表达式求值、多类型返回等场景，提升代码安全性与可维护性。
在C++中，std::variant 是一种类型安全的联合体（union），自 C++17 起引入，用于替代传统的 union。与原始 union 不同，std::variant 明确记录当前存储的是哪种类型，避免了未定义行为，提升了程序的安全性和可维护性。
什么是 std::variant？
std::variant 是一个能持有多种类型之一的类模板，但同一时间只能保存其中一种类型的值。它被称为“类型安全的联合体”，因为它内部维护了一个“活动”类型的标识，确保你不会错误地访问未激活的成员。
例如，你可以定义一个可以存储 int、double 或 string 的 variant：
std::variant<int, double, std::string> v; v = 42; // v 当前持有 int v = 3.14; // 现在持有 double v = "hello"; // 现在持有 std::string
如何安全访问 variant 中的值？
直接使用 get<> 获取值存在风险，如果类型不匹配会抛出 std::bad_variant_access 异常。推荐以下几种更安全的方式：
立即学习“C++免费学习笔记（深入）”；
- std::get_if：返回指向当前值的指针，若类型不匹配则返回 nullptr
- std::visit：配合 lambda 或函数对象，对 variant 进行泛型访问，是最推荐的方式
示例：使用 get_if 安全判断类型：
if (auto* p = std::get_if<int>(&v); p) {
std::cout << "整数: " << *p << "\n";
} else if (auto* p = std::get_if<double>(&v); p) {
std::cout << "浮点数: " << *p << "\n";
}
使用 std::visit 处理多种类型
std::visit 允许你定义一组操作，自动根据 variant 当前持有的类型调用对应的处理逻辑。这种方式支持多 variant 同时访问，且类型检查在编译期完成。
示例：通过 visit 打印 variant 内容：
std::visit([](const auto& value) {
std::cout << value << "\n";
}, v);
也可以定义结构化访问：
struct Printer {
void operator()(int i) const { std::cout << "int: " << i; }
void operator()(double d) const { std::cout << "double: " << d; }
void operator()(const std::string& s) const { std::cout << "string: " << s; }
};
std::visit(Printer{}, v);
</font>常见应用场景
std::variant 特别适用于以下场景：
- 解析配置或 JSON 数据，字段可能是数字、字符串或布尔值
- 实现表达式求值器，节点值可能是不同字面量类型
- 替代带 tag 的 union，减少手动管理状态的错误
- 函数返回多个可能类型的值（类似 Rust 的 Result 或 Option）
例如，表示一个可能为空的数值：
using MaybeNumber = std::variant<double, std::monostate>; // monostate 表示“无值”，类似空状态
基本上就这些。std::variant 让你在保持性能的同时获得类型安全，是现代 C++ 中处理多类型数据的首选工具。合理使用 visit 和 get_if，能写出清晰又健壮的代码。
