### C++17 标准库中的 std::variant 与 std::visit：实现类型安全的联合体

作者

在 C++17 中，标准库新增了 std::variant、std::monostate、std::visit 等容器与算法，它们为开发者提供了更安全、更灵活的“联合体”实现。相比传统的 union 或者 boost::variant，std::variant 的主要优势在于类型安全、异常安全以及更便捷的语法。本文将从 std::variant 的定义、使用方法、访问机制、常见陷阱以及实际应用场景等角度，深入剖析这一工具。

1. std::variant 的基本概念

std::variant<Ts...> 是一个可容纳多种类型的容器，但在任意时刻只能存储 Ts... 之一。它类似于 C 语言的 union，但通过模板实现了编译时类型检查，避免了不安全的类型转换。

#include <variant>
#include <string>
#include <iostream>

using MyVariant = std::variant<int, double, std::string>;

int main() {
    MyVariant v = 42;            // 以 int 初始化
    std::cout << std::get<int>(v) << '\n';  // 输出 42

    v = std::string("hello");    // 重新赋值为 std::string
    std::cout << std::get<std::string>(v) << '\n';  // 输出 hello
}

std::variant 必须满足所有备选类型都具备默认构造、可移动且可拷贝。如果备选类型不满足这些要求，可通过 std::variant<std::monostate, T1, T2, ...> 或自定义构造函数解决。

2. std::visit：统一访问

要访问 variant 中的值，最推荐的方法是 std::visit。它接收一个可调用对象（如 lambda）以及一个或多个 variant，并将当前活跃类型作为参数调用可调用对象。

MyVariant v = 3.14;
std::visit([](auto&& arg) {
    std::cout << "value = " << arg << '\n';
}, v);

上面 lambda 的参数 auto&& 通过模板推导得到当前存储类型，从而实现类型安全。若需要对不同类型做不同处理，可使用 overload（自定义多重重载结构）：

template<class... Ts> struct overload : Ts... { using Ts::operator()...; };
template<class... Ts> overload(Ts...) -> overload<Ts...>;

std::visit(overload{
    [](int i){ std::cout << "int: " << i << '\n'; },
    [](double d){ std::cout << "double: " << d << '\n'; },
    [](const std::string& s){ std::cout << "string: " << s << '\n'; }
}, v);

3. 访问方式对比

  • **`std::get

    (v)`**：直接访问指定类型，但若 `v` 当前不存储该类型则抛出 `std::bad_variant_access`。此方式适合你已知当前类型的场景。

  • **`std::get_if

    (&v)`**：返回指向 `T` 类型的指针，若当前类型不匹配则返回 `nullptr`，无异常抛出。适用于需要在非异常语境中检查类型。

  • std::visit：最通用且安全的访问方式，避免手工检查。

4. 常见陷阱

  1. 复制/移动构造时未激活默认类型
    std::variant 的默认值为第一个类型的默认构造值。若你想要默认无值，可以添加 std::monostate：

    using V = std::variant<std::monostate, int, double>;
V v;  // 默认状态为 monostate

  2. 访问未激活的备选类型导致异常
    `std::get

    ` 若类型不匹配会抛出 `std::bad_variant_access`，记得用 try-catch 或 `std::get_if`。

  3. 在 std::visit 中捕获值的方式
    采用 auto&& arg 时需注意是否需要 const、引用或移动。若要移动值，使用 std::move 或 std::forward。

  4. 多重 variant 访问顺序
    std::visit 只接受可调用对象和若干 variant，若其中一个 variant 未激活，则整个 visit 抛异常。若需要对每个 variant 单独处理，可使用多层 visit 或 std::apply。

5. 实际应用场景

  1. 表示多种可能的返回值
    与 std::optional 结合，可构建 std::variant<std::monostate, T, Error>，即多态结果类型。

    using Result = std::variant<std::monostate, int, std::string>;
Result parse(const std::string& input);

  2. 事件系统
    事件可以是 KeyPress, MouseMove, WindowResize 等多种结构体，统一放入 `std::variant

    `。

  3. 实现“多态”容器
    std::variant 也可用于实现 std::any 的强类型版本，允许用户在编译期知道可存储的类型。

6. 性能考量

  • std::variant 的大小等于最大备选类型的大小加上一个小型字节，通常为 1–2 bytes，用于记录当前激活类型的索引。
  • 对于小型类型（如 int, double）来说，存取速度与 union 相当，甚至更快因为编译器优化。
  • 复杂类型（如 std::string）在复制时会触发移动构造，开销较大，建议使用 std::move 或 emplace 进行构造。

7. 小结

std::variant 与 std::visit 为 C++17 引入了一套高效、类型安全、异常安全的多态容器。通过 std::visit 的闭包式访问，开发者能够轻松实现多分支逻辑，避免传统 if / switch 的繁琐。若你在项目中需要一种“安全的联合体”，不妨试试 std::variant，它将带给你更简洁、更可靠的代码体验。

发表评论