std::variant 与 C# 类型对比：OneOf 判别联合完全解析

先回答那个最直接的问题：C++17 的 std::variant，在 C# 里没有一个内置类型能和它完全等价。真正对标它的是 C# 里的第三方库 OneOf（也就是 OneOf<T0, T1, ...>），或者你自己搭一套“封闭继承体系 + 模式匹配”的判别联合（Discriminated Union）方案。很多写 C# 的朋友刚看 C++17 代码时会下意识想到 object、dynamic、Tuple、Nullable<T>，这些其实都对不上，因为它们解决的是另一类问题。本文会把 variant 的底层机制、和 C# 各类型对比的原因、以及实际项目中的用法一次讲清楚，适合正在从 C# 视角理解 C++17、或者反过来从 C++17 视角写 C# 的人参考。

1. 先把 std::variant 到底是个什么东西说清楚

1.1 从 C++ 里那个“原始但危险”的 union 说起

要理解 std::variant，得先理解它到底替我们解决了什么历史包袱。C++ 里很早就有 union，它允许你把多个类型的值放在同一块内存上。但 union 有两个极其原始的设计：

第一，它不记录“当前存的是哪个类型”。union 的内存布局是所有成员共享的，同一时刻只有其中一个成员是活跃的，可是语言本身不给任何提示。你只能自己额外搞一个 enum 或者 int 去标记当前状态，然后每次按这个标记去读对应的成员。一旦标记和实际写入的类型不一致，读取结果就是未定义行为，程序可能直接崩溃，也可能悄悄返回一堆乱码。这类 bug 在串口协议解析、指令解析这种“按字段解释字节流”的场景里特别容易出现，排查起来极其痛苦。

第二，老标准里的 union 对成员类型限制很死。带非平凡构造、析构、拷贝语义的类型，比如 std::string、std::vector，是不能直接放进 union 的。因为编译期不知道当前哪个成员活着，就没法安全地构造和析构。C++11 之后放宽了一点，但要求你自己用 placement new 和手动析构调用去维护生命周期，代码会变得非常难写易错。

你可以把传统 union 想象成一个小旅馆：多个客人共用同一个房间，但是前台不登记“现在这间房住的是谁”。每次客人退房换人，你得自己拿个小本本记录，一旦忘改记录，下一拨客人就可能拿着错误的房卡刷开房门，看到满屋别人的东西。

1.2 variant 的“盒子模型”：带标签的联合体

std::variant<T1, T2, ..., Tn> 在概念上正是为了解决上面两个痛点而生的。它在实现上仍是一个能容纳所有候选类型中最大者的内存区域，但额外保存了一个当前活跃类型的“标签”（index）。每一次构造、赋值、析构，variant 都会自动更新标签、自动管理当前类型的生命周期。你不再需要记住当前存的是什么，也不需要手动调用构造函数和析构函数。

我用一个类比来帮助理解：variant 像一个带指示牌的收纳盒。这个盒子内部空间的大小，是由你能放进去的所有物品类型中体积最大的那个决定的，但同一时刻盒子里只能放一个物品。盒盖上有一个小指示牌，显示当前放的是哪一类物品。你往盒子里放东西时，指示牌自动更新；你取东西时，先看指示牌，再用专门针对该类型的工具去取。如果你指示牌不看就直接用错误的工具去夹，那就可能出问题。

这也是 std::variant 的核心特征：类型集合在编译期是封闭的，当前是哪个类型在运行期是有记录的。两者结合，才让“类型安全”成为可能。

1.3 核心 API 速览与最小可跑示例

C++17 里 std::variant 的日常使用主要围绕四个 API：

cpp复制#include <variant>
#include <string>
#include <iostream>

int main() {
    // 构造：当前类型就是 int
    std::variant<int, double, std::string> v = 42;

    // 判断当前是不是某个类型
    std::cout << std::holds_alternative<int>(v) << std::endl;   // 输出 1

    // 赋值：切到 double
    v = 3.14;
    std::cout << std::holds_alternative<double>(v) << std::endl; // 输出 1

    // 取值：用 get 取错类型会抛 std::bad_variant_access
    try {
        auto& d = std::get<double>(v);
        std::cout << d << std::endl;
    } catch (const std::bad_variant_access& e) {
        std::cout << "取错类型了" << std::endl;
    }

    // 更安全的取值方式：get_if 返回指针
    if (auto* s = std::get_if<std::string>(&v)) {
        std::cout << *s << std::endl;
    } else {
        std::cout << "当前不是 string" << std::endl;
    }

    // 统一访问：std::visit 是 variant 最强大的用法
    std::visit([](auto&& arg) {
        using T = std::decay_t<decltype(arg)>;
        if constexpr (std::is_same_v<T, int>) {
            std::cout << "int: " << arg << std::endl;
        } else if constexpr (std::is_same_v<T, double>) {
            std::cout << "double: " << arg << std::endl;
        } else if constexpr (std::is_same_v<T, std::string>) {
            std::cout << "string: " << arg << std::endl;
        }
    }, v);

    return 0;
}

`std::visit