C++ variant用法详解 | 类型安全的联合体union替代方案【干货】

std::variant 能不能直接替代 union？

一句话总结：不能无脑替换，但std::variant在绝大多数业务场景下，确实是更安全、更省心的选择。关键在于，裸union不记录当前存的是哪个类型，也不负责调用构造和析构函数；而std::variant在运行时维护着一个活跃索引（tag），每次访问前都会强制校验——这正是它能从根本上避免未定义行为的核心机制。

来看一个典型的错误对比：union { std::string s; int i; } u;这段代码编译可能通过，但如果你执行u.s = "hello"; printf("%d", u.i);，结果大概率是程序崩溃或输出一堆垃圾值。反过来，如果用std::variant v = "hello"; std::get(v);，程序会直接抛出std::bad_variant_access异常。问题暴露得更早，也更可控。

• 适用场景：配置字段、AST节点、协议解析、状态机中的“非此即彼”数据容器。
• 不适用场景：需要与C ABI严格对齐的共享内存结构体、对内存占用极度敏感的极致优化场景（毕竟std::variant至少要多占1个字节的tag）。
• 一个关键细节：默认构造会尝试构造第一个类型。如果第一个类型（比如std::string）不可默认构造，那么整个std::variant也就不可默认构造了。

怎么声明和赋值 std::variant？

声明时，只需把所有允许的类型列在模板参数里。赋值就更简单了，直接用=就行。它会自动销毁旧值、构造新值，整个生命周期管理完全无需手动介入。

最直接、可用的写法如下：

立即学习“C++免费学习笔记（深入）”；

std::variant v;
v = 42;           // 活跃类型变为 int
v = "ok";         // 自动析构 int，构造 std::string
v = 3.14;         // 自动析构 std::string，构造 double

• 支持类模板参数推导（C++17）：auto v = std::variant{42}; 会自动推导为 std::variant。
• 如何表示空状态：把std::monostate放在类型列表首位即可，例如std::variant v{};。
• 异常安全有保障：赋值过程中，如果新类型的构造函数抛出异常，旧值会保持完好无损。

怎么安全读取 std::variant 的值？

这里必须和union划清界限：不能再用裸指针强转或者直接访问成员那套老办法了。必须使用std::get或std::visit，否则要么编译不过，要么运行时直接报错。

• std::get(v)：按类型提取。如果类型不匹配，直接抛出std::bad_variant_access异常。
• std::get<0>(v)：按索引提取（索引从0开始）。同样，越界访问也会抛异常。
• std::get_if(&v)：返回一个double*指针。如果类型不匹配，则返回nullptr。这适合在不确定类型时进行非抛出的安全检查。
• std::holds_alternative(v)：先判断是否持有某个类型，再配合std::get使用，逻辑更清晰。

话说回来，当分支逻辑比较复杂时，更推荐优先使用std::visit，它能提供更结构化的访问方式：

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

absl::variant 和 std::variant 有什么区别？

本质上，它们是同一套机制。absl::variant是Google Abseil库对标准std::variant的封装实现，主要区别体现在接口细节和兼容性上。

• 语法高度一致：absl::variant v; v = "hello"; 用法几乎一样。
• 接口行为相同：absl::holds_alternative、absl::get、absl::get_if等函数的行为与标准版相同。不过，Abseil的某些版本可能更早地支持了constexpr等特性。
• 如何选择：如果你的项目已经使用了Abseil库，并且需要更好的调试支持或更细粒度的错误提示，可以优先考虑absl::variant。对于纯标准库项目，直接用std::variant即可，无需引入额外依赖。

这里有一个容易被忽略但至关重要的点：无论使用哪个版本，variant的tag都是在运行时存储的，并非编译期常量。这意味着，基于类型的switch操作只能在运行时进行，无法通过模板特化完全消除分支开销——这一点，在编写高频循环的代码时，心里一定要有数。