c++中std::variant是什么，怎么用_c++多类型安全联合体用法详解

std::variant是C++17引入的类型安全联合体，可存储多种类型之一并记录当前活动类型，避免未定义行为。它支持默认构造、直接赋值和emplace初始化，通过std::get按类型或索引访问，结合std::holds_alternative检查类型安全，推荐使用std::visit配合lambda实现多态分发，适用于替代传统union、解析异构数据等场景。

std::variant 是 C++17 引入的一种类型安全的“联合体”（union），用于在一个对象中存储多种不同类型中的某一种值。与传统的 C 风格 union 不同，std::variant 是类型安全的，它会明确记录当前存储的是哪一种类型（称为“活动类型”），避免了访问错误类型的未定义行为。

基本概念与特点

std::variant 可以看作是一个“可变类型的容器”，只能同时保存其模板参数列表中的一个类型。例如：

std::variant v;

这个 v 变量可以是 int、std::string 或 double 中的任意一种，但只能是其中之一。

主要特性包括：

• 类型安全：尝试访问非当前类型的值会抛出异常或需要显式检查。
• 无需手动管理内存：自动调用构造和析构函数。
• 支持异常机制：如果访问类型不匹配且使用 get()，会抛出 std::bad_variant_access 异常。
• 可嵌套使用：variant 可包含其他 variant。

初始化与赋值方法

你可以通过多种方式给 variant 赋值：

• 默认构造：取第一个类型的默认值（前提是该类型可默认构造）

std::variant v; // v 当前持有 int()
    

• 直接初始化

std::variant v = 42;        // 持有 int
v = std::string("hello");                     // 切换为 string
    

• 使用 emplace 构造特定类型

v.emplace("world");
v.emplace(100);
    

这会就地构造新值并替换原内容。

访问 variant 中的值

由于 variant 的类型在运行时才确定，必须小心访问其内容。常用方法有以下几种：

• std::get(v)：按类型获取值

try {
    int i = std::get(v);
} catch (const std::bad_variant_access&) {
    // 类型不对时抛出异常
}
    

• std::get(v)：按索引获取（从0开始）

std::get<0>(v); // 获取第一个类型（int）
    

• std::holds_alternative(v)：判断是否为某类型

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

这是最安全的方式，在 get 前先判断。

使用 visit 访问 variant（推荐方式）

对于多个 variant 或复杂逻辑，C++ 提供了 std::visit 来统一处理不同类型的调用。

std::variant v = 3.14;

std::visit([](auto& arg) {
    using T = std::decay_t;
    if constexpr (std::is_same_v)
        std::cout << "int: " << arg;
    else if constexpr (std::is_same_v)
        std::cout << "string: " << arg;
    else if constexpr (std::is_same_v)
        std::cout << "double: " << arg;
}, v);

visit 会根据 v 的当前类型，自动调用 lambda 中对应分支。结合 if constexpr 可实现编译期分发，高效又安全。

你也可以传多个 variant 给 visit，适用于多变量组合场景：

std::variant a = 1, b = 2.5f;
std::visit([](auto x, auto y) { return x + y; }, a, b);

常见用途与使用建议

• 替代传统 union：当需要在几个不同类型间切换时，优先使用 variant 而不是裸 union。
• 解析异构数据：比如 JSON 解析中，一个字段可能是字符串、数字或布尔值。
• 状态机或选项返回值：配合 std::optional 使用，表达更丰富的语义。
• 避免频繁使用 get：容易出错，优先用 holds_alternative 或 visit。
• 注意性能影响：variant 有一定运行时开销（类型索引管理），但在大多数场景下可接受。