C++ std::variant与std::get _ 类型安全并集用法示例【详解】

容易踩的坑有哪些？

• 对包含重复类型的 std::variant（比如 std::variant）使用 std::get —— 编译失败，因为类型不唯一。
• 不检查 v.index() 或 std::holds_alternative(v)，就直接调用 std::get(v) —— 运行时崩溃。
• 把 std::get<0>(v) 当作“取第一个值”的万能操作，却忽略了索引对应的是声明顺序，而不是值插入顺序。

安全访问 std::variant 的三种常用方式

先说结论：在线上代码里，别裸写 std::get。更推荐的做法是：

• 先用 std::holds_alternative(v) 判断是否持有类型 T，再调用 std::get(v)。这是最朴素但最安全的方式。
• 用 std::visit + lambda 处理所有分支。这种方式天然覆盖所有情况，编译器会强制你处理每一种类型，一个都不会漏。
• 对简单场景，也可以用 v.index() 做分支切换。但要注意：索引值依赖模板参数的声明顺序，一旦重构类型列表，语义就会悄悄改变，容易引发隐蔽的bug。

最推荐的方式是 std::visit，看个例子：

std::variant v = "hello";
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";
    } else if constexpr (std::is_same_v) {
        std::cout << "double: " << x << "\n";
    }
}, v);

std::variant 的移动语义和异常安全性细节

std::variant 默认构造时处于“值初始化”状态，也就是用第一个类型的默认构造函数初始化。但有一点需要特别警惕：只声明而从未赋值的 std::variant，访问它属于未定义行为。

几个关键点值得记住：

• 赋值或 emplace 后，旧值会被正确析构，前提是该类型的析构函数不抛异常。
• 如果某个备选类型的构造函数或赋值运算符抛出了异常，std::variant 会保证自身处于一个有效但未指定的状态。此时 v.valueless_by_exception() == true，任何 std::get 调用都会抛出 std::bad_variant_access。
• 一旦 variant 进入 valueless_by_exception() 状态，绝对不要对它做任何访问操作。必须先重置，比如 v.emplace(42)。

一个容易被忽略的细节是：即便你只用了 int 和 std::string 两种类型，只要其中一个类型的构造可能抛异常（比如 std::string 的内存分配失败），整个 variant 的赋值就不再是 noexcept 的。这在实际编码中是需要留意的。