std::variant是C++17引入的类型安全联合体，可存储多种类型之一并明确记录当前类型。它支持复杂类型，避免未定义行为，通过std::get、std::get_if和std::visit安全访问值，常用于多类型返回值、消息系统等场景，提升程序健壮性。
在C++中，std::variant 是 C++17 引入的一个类型安全的“联合体”（union）替代方案。与传统的 union 不同，它能明确知道当前存储的是哪种类型，避免了因类型误用导致的未定义行为。这使得 std::variant 成为处理多种可能类型时更安全、更现代的选择。
什么是 std::variant？
std::variant 是一个可以保存多种不同类型值的类模板，但任意时刻只能保存其中一种类型的值。它类似于 union，但具备类型安全性，并且支持带有构造函数和析构函数的复杂类型。
例如，你可以定义一个 variant 来存储 int、double 或 string：
#include <variant> #include <string> std::variant<int, double, std::string> v = 42; // 当前持有 int v = 3.14; // 现在持有 double v = "hello"; // 现在持有 std::string
如何访问 variant 中的值？
直接获取值需要小心，因为如果类型不匹配会抛出异常。推荐使用标准方法来安全提取数据。
立即学习“C++免费学习笔记（深入）”；
1. 使用 std::get<T>(variant)如果你确定当前 variant 存储的是某种类型，可以用 std::get 获取：
v = 3.14; double d = std::get<double>(v); // 正确 // int i = std::get<int>(v); // 抛出 std::bad_variant_access2. 使用 std::get_if 获取指针（更安全）
返回指向当前值的指针，若类型不符则返回 nullptr：
if (auto p = std::get_if<double>(&v)) {
std::cout << "Got double: " << *p << '\n';
} else if (auto p = std::get_if<std::string>(&v)) {
std::cout << "Got string: " << *p << '\n';
}
3. 使用 std::visit 进行类型分发
这是最强大也最常用的方式——通过访问者模式统一处理所有可能类型：
struct PrintVisitor {
template<typename T>
void operator()(const T& value) const {
std::cout << value << '\n';
}
};
std::visit(PrintVisitor{}, v); // 自动调用对应类型的 operator()
也可以用 lambda 写得更简洁：
std::visit([](auto&& arg){
std::cout << arg << '\n';
}, v);
常见使用场景
1. 表示可能有多种类型的返回值比如解析配置项时，值可能是数字、布尔或字符串：
std::variant<int, bool, std::string> parse_config_value(const std::string& str);2. 构建类型安全的事件或消息系统
每个消息可以是不同种类，用 variant 统一封装：
using Message = std::variant<LoginRequest, LogoutEvent, DataPacket>;3. 替代不安全的 union 和 void*
相比裸指针或 union，variant 提供编译期类型检查和运行时安全，减少错误风险。
注意事项和技巧
- variant 至少要包含一个类型，空 variant 会导致编译错误。
- 默认构造时，variant 会初始化第一个可默认构造的类型。
- 可以通过
std::monostate实现“可为空”的行为，尤其当首类型不可默认构造时：
std::variant<std::monostate, MyNonDefaultConstructibleType> maybe_value;
- 使用
v.index()查看当前存储类型的索引，可用于调试或状态判断。 - 注意性能：variant 的大小等于最大类型的大小加上少量额外开销，适合小数量类型组合。
基本上就这些。std::variant 让你在需要“多态但非继承”的场合有了更清晰、更安全的表达方式。配合 std::visit 和 lambda，代码既简洁又高效。合理使用，能显著提升 C++ 程序的健壮性。
