std::variant是C++17引入的类型安全联合体，可存储多种类型之一并记录当前类型，避免未定义行为；通过std::get和std::holds_alternative安全访问，结合std::visit实现多态操作，适用于配置解析、表达式求值等场景，支持递归数据结构如JSON，提升代码健壮性。
在C++17中引入的std::variant是一种类型安全的联合体（union），可以用来存储多种不同类型中的某一个值。与传统union不同，std::variant知道当前保存的是哪种类型，避免了类型误读带来的未定义行为。它非常适合用于需要在一个变量中表示多种可能类型的场景，比如解析配置、表达式求值、状态机设计等。
基本用法：定义和赋值
要使用std::variant，需包含头文件variant。定义时列出所有可能的类型：
#include#include iostream>
int main() {
std::variant
v = 42; // 存储int
v = 3.14; // 存储double
v = "hello"; // 存储std::string
}
默认构造时，std::variant会初始化为第一个可默认构造的类型。如果第一个类型不能默认构造，编译会报错。
获取值：std::get 和 std::holds\_alternative
从variant中取值有几种方式。最直接的是使用std::get，但必须确保类型匹配，否则会抛出异常：
立即学习“C++免费学习笔记（深入）”；
try {double d = std::get
std::cout } catch (const std::bad_variant_access&) {
std::cout }
更安全的方式是先检查类型：
if (std::holds_alternative
double d = std::get
std::cout }
访问多种类型：std::visit
当需要根据variant当前持有的类型执行不同逻辑时，std::visit是最强大的工具。它可以接受一个lambda或函数对象，自动匹配当前类型：
std::visit([](auto& value) {std::cout }, v);
也可以使用多个lambda分别处理每种类型：
std::visit([&](auto& arg) {using T = std::decay_t
if constexpr (std::is_same_v
std::cout } else if constexpr (std::is_same_v
std::cout } else if constexpr (std::is_same_v
std::cout }
}, v);
实际应用场景示例
假设我们要构建一个简单的JSON-like数据结构，可以用variant递归定义：
using json_value = std::variant std::monostate, // nullbool,
int,
double,
std::string,
std::vectorjson_value>,
std::map<:string json_value>
>;
通过std::visit就可以实现打印函数，根据不同类型输出对应格式。
基本上就这些。std::variant提供了一种现代C++中安全、高效的多类型存储方案，结合std::visit能写出清晰且类型安全的代码。注意避免存储引用类型或数组，也不建议放入太多类型影响性能。掌握好这个工具，能让代码更简洁健壮。
