c++中如何使用std::variant替代传统的C风格union？ (类型安全)_技术教程

std::variant比C风格union更安全，因其是类型安全的标签联合，内置运行时类型标识，非法访问抛std::bad_variant_access异常；而C union无类型记录，读错类型触发未定义行为。

std::variant 为什么比 C 风格 union 更安全？

C 风格 union 允许你在同一块内存里存放不同类型的值，但不记录当前实际存的是哪个类型——读错类型（比如存了 int 却按 float 读）会触发未定义行为，编译器几乎不检查。而 std::variant 是类型安全的“标签联合”（tagged union），它内部自带一个运行时标识（index 或 type info），所有访问都强制校验，访问非法状态会抛出 std::bad_variant_access 异常。

如何正确定义和初始化 std::variant？

定义时明确列出所有允许的类型，顺序影响 index() 返回值；初始化必须指定其中一个合法类型，不能留空或默认构造（除非某个类型本身可默认构造）：

std::variant v1 = 42;           // OK：推导为 int
std::variant v2{"hello"};    // OK：推导为 std::string
std::variant v3;            // 编译错误：没有默认构造器
std::variant v4;   // OK：std::monostate 提供默认状态

std::monostate 是个空类型，专用于让 std::variant 可默认构造，且 v4.index() == 0 表示“未赋值”
类型列表中重复类型（如 int, int）会导致编译失败
类型必须满足可析构、可移动（或可复制），含引用或抽象类会编译报错

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

绝不能直接转型或指针强转——必须用 std::get 或 std::visit。前者适合你知道当前类型（运行时断言），后者适合处理多种可能类型：

std::variant v = "test";

// 方式一：已知类型，用 std::get（失败时抛 std::bad_variant_access）
try {
    std::string& s = std::get(v);  // OK
    int& i = std::get(v);                  // 抛异常：当前不是 int
} catch (const std::bad_variant_access&) { }

// 方式二：泛化处理，用 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);

std::get(v) 和 std::get(v) 都会检查当前 index()，不匹配就抛异常
std::visit 要求 lambda 支持所有变体类型；constexpr if 是处理异构逻辑最清晰的方式
避免用 std::holds_alternative(v) + std::get 组合——两次检查冗余，且中间可能被修改（多线程下更危险）

替换 union 时要注意哪些坑？

看似只是把 union 换成 std::variant，但语义和内存布局完全不同：

std::variant 的大小 ≥ 最大成员大小 + 少量 tag 开销（通常 1–8 字节），不是严格等于最大成员；而 C union 精确对齐到最大成员
std::variant 不支持 POD 类型的位域、结构体内嵌 union 等底层操作；不能用 reinterpret_cast 或 memcpy 操作其内部存储
如果原 union 里有非 trivial 析构类型（如 std::string），C 风格写法本就危险；std::variant 会自动管理生命周期，但你要确保所有类型都满足 std::is_trivially_destructible 以外的约束（例如移动构造）
性能敏感场景（如高频循环中），std::visit 有间接调用开销，std::get 有分支检查——若 99% 情况是同一类型，可先用 index() 分支预判，再 std::get