C++如何使用std::variant_C++类型安全联合体与std::variant应用_技术教程

std::variant是C++17引入的类型安全联合体，可存储多种类型之一并记录当前类型，避免未定义行为。它通过模板定义可选类型，如std::variant，默认构造时使用首个可默认构造的类型，支持赋值切换类型，并用std::get按类型安全访问值，确保类型正确匹配，防止非法访问。

在C++17中引入的std::variant是一种类型安全的联合体（union），用来替代传统C风格union，避免未定义行为。它能在一个对象中存储多种不同类型中的某一种，并确保类型安全，是处理“一个值可能是多种类型之一”的理想选择。

std::variant 是一个类模板，可以持有其模板参数列出的任意一种类型的值。同一时间只能保存其中一个类型的一个实例。与原始 union 不同，std::variant 记录当前存储的是哪种类型（称为活动类型），从而防止非法访问。

例如：

std::variant data;

这个变量 data 可以是 int、string 或 double 类型之一。

创建和赋值非常直观：

示例代码：

std::variant v = 42;
v = "hello"; // 自动切换为 string 类型

// 获取值（注意：类型必须匹配）
std::cout (v)
// 错误：运行时会抛出 std::bad_variant_access 异常
// std::cout (v);

直接用 std::get 取值有风险，如果类型不匹配会抛异常。推荐以下几种更安全的方式：

1. 使用 std::holds_alternative 检查类型

if (std::holds_alternative<:string>(v)) {
std::cout (v);
}

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;

2. 替代继承层次的小型多态系统

当不需要完整 OOP 多态时，用 variant 更轻量高效。

3. 错误处理（配合 std::monostate 实现类似 Rust 的 Result）

虽然 C++23 有 std::expected，但在之前可用 variant 模拟：

using Result = std::variant; // 值或错误信息

通过 std::monostate 可构建无状态选项，实现类似“可选联合”结构。

基本上就这些。std::variant 提供了类型安全、易于使用的多类型容器，结合 std::visit 能写出清晰且高效的代码，是现代 C++ 中处理异构数据的重要工具。合理使用能显著提升代码健壮性和可读性。

C++如何使用std::variant_C++类型安全联合体与std::variant应用