std::variant是C++17引入的类型安全联合体，可存储多种类型之一并记录当前类型，避免未定义行为。它通过模板定义可选类型，如std::variant<int, string, double>，默认构造时使用首个可默认构造的类型，支持赋值切换类型，并用std::get按类型安全访问值，确保类型正确匹配，防止非法访问。
在C++17中引入的std::variant是一种类型安全的联合体（union），用来替代传统C风格union，避免未定义行为。它能在一个对象中存储多种不同类型中的某一种，并确保类型安全，是处理“一个值可能是多种类型之一”的理想选择。
什么是std::variant？
std::variant 是一个类模板，可以持有其模板参数列出的任意一种类型的值。同一时间只能保存其中一个类型的一个实例。与原始 union 不同，std::variant 记录当前存储的是哪种类型（称为活动类型），从而防止非法访问。
例如：
std::variant
立即学习“C++免费学习笔记（深入）”；
这个变量 data 可以是 int、string 或 double 类型之一。
基本使用方法
创建和赋值非常直观：
- 默认构造时，初始化为第一个可默认构造的类型
- 可以通过赋值或构造函数设置新值
- 使用 std::get 来获取值（需知道确切类型）
示例代码：
std::variant
v = "hello"; // 自动切换为 string 类型
// 获取值（注意：类型必须匹配）
std::cout
// 错误：运行时会抛出 std::bad_variant_access 异常
// std::cout
安全访问 variant 中的值
直接用 std::get 取值有风险，如果类型不匹配会抛异常。推荐以下几种更安全的方式：
1. 使用 std::holds_alternative 检查类型
if (std::holds_alternative<std::string>(v)) {
std::cout
}
2. 使用 std::visit 配合 lambda 进行泛型访问
这是最强大也最常用的方法，尤其适合需要对不同类型的值执行不同逻辑的情况。
std::visit([](const auto& value) {
std::cout
}, v);
lambda 中的 auto& 会被实例化为每种可能类型的引用，实现统一处理。
也可以写成多个重载的函数对象：
struct Printer {
void operator()(int i) const { std::cout
void operator()(const std::string& s) const { std::cout
};
std::visit(Printer{}, v);
实际应用场景
1. 表示可能有多种类型的配置项或数据字段
比如 JSON 解析中，一个字段可能是字符串、数字或布尔值：
using JsonValue = std::variant<int, double, std::string, bool>;
2. 替代继承层次的小型多态系统
当不需要完整 OOP 多态时，用 variant 更轻量高效。
3. 错误处理（配合 std::monostate 实现类似 Rust 的 Result）
虽然 C++23 有 std::expected，但在之前可用 variant 模拟：
using Result = std::variant<int, std::string>; // 值 或 错误信息
通过 std::monostate 可构建无状态选项，实现类似“可选联合”结构。
基本上就这些。std::variant 提供了类型安全、易于使用的多类型容器，结合 std::visit 能写出清晰且高效的代码，是现代 C++ 中处理异构数据的重要工具。合理使用能显著提升代码健壮性和可读性。
