C++ variant用法与适用场景详解

std::variant是C++17引入的类型安全联合体，可存储多种类型之一并记录当前类型。通过模板定义允许的类型，支持赋值和类型切换；使用std::get获取值时需确保类型匹配，否则抛出异常，推荐结合std::visit与lambda实现安全访问，利用auto参数进行类型推导输出值信息。还可通过v.index()获取当前类型索引，或用std::holds_alternative检查具体类型。适用于解析异构数据、函数多类型返回、事件处理等场景，相比union和继承更安全高效。注意类型列表不可重复，默认构造要求首类型可默认构造，可用std::monostate表示空状态，支持移动拷贝且异常安全。合理使用能提升代码清晰度与安全性。

在C++17中引入的 std::variant 是一种类型安全的联合体（union），可以保存多种不同类型中的某一个值。与传统的 union 不同，std::variant 知道当前存储的是哪种类型，避免了类型错误和未定义行为，是处理“一个值可能是多种类型之一”的理想工具。

基本用法：如何定义和赋值

std::variant 的模板参数列出它能容纳的所有类型。一旦定义，变量可以在这些类型之间切换。

#include <variant>
#include <iostream>

int main() {
    std::variant<int, double, std::string> v;

    v = 42;              // 存入 int
    std::cout << std::get<int>(v) << '\n';

    v = 3.14;            // 存入 double
    std::cout << std::get<double>(v) << '\n';

    v = "hello";         // 存入 string
    std::cout << std::get<std::string>(v) << '\n';
}

注意：使用 std::get<T> 获取值时，如果当前类型不匹配会抛出 std::bad_variant_access 异常。也可以用 std::get<index> 按类型顺序获取。

安全访问：std::visit 和类型检查

直接使用 std::get 容易出错，推荐使用 std::visit 配合 lambda 或函数对象来安全地处理所有可能类型。

std::visit([](auto& value) {
    std::cout << "Type: " << typeid(value).name() << ", Value: " << value << '\n';
}, v);

还可以通过 v.index() 获取当前类型的索引，或使用 std::holds_alternative 判断是否为某种类型：

if (std::holds_alternative<double>(v)) {
    std::cout << "It's a double: " << std::get<double>(v) << '\n';
}

典型使用场景

std::variant 特别适用于以下几种情况：

• 解析异构数据：比如 JSON 或配置文件中某个字段可能是整数、浮点或字符串。
• 状态或结果返回：替代 union 或 void*，用于表示函数可能返回多种类型的值。
• 事件处理系统：事件类型不同但需统一传递，例如 UI 框架中的消息队列。
• 替代继承层次：当多态可以通过值语义解决时，用 variant 更高效且无需动态分配。

注意事项和技巧

使用 std::variant 时需要注意几点：

• 类型列表中不能有重复类型（如 int 和 int），否则编译失败。
• 默认构造时，第一个类型必须可默认构造，否则 variant 处于非活动状态。
• 可以用 std::monostate 作为占位符，实现类似“空状态”的功能。
• 支持移动语义和拷贝，性能优于指针+基类的方式。
• 异常安全性较好，析构会自动调用当前类型的析构函数。

基本上就这些。合理使用 std::variant 能让代码更清晰、更安全，尤其是在处理多类型值的时候，比传统 union 和继承更现代、更简洁。