c++中如何使用variant_c++17 std::variant联合体用法【详解】

std::variant 是 C++17 类型安全联合体，需显式处理所有类型；默认构造调用首类型默认构造函数，赋值仅接受模板参数类型；读取推荐 std::visit，次选 std::get_if，避免 std::get 异常和 index() 误用。

c++中如何使用variant_c++17 std::variant联合体用法【详解】第1张

std::variant 是 C++17 引入的类型安全联合体，它比 union 更安全、更易用，但不是“拿来就能直接替换”的黑盒——它强制你处理所有可能类型，且访问前必须确认当前持有哪个类型。

std::variant 初始化和赋值要注意什么

不能像原始 union 那样默认构造任意成员；std::variant 默认构造时会调用第一个类型的默认构造函数（如果该类型可默认构造）。若首类型不可默认构造，编译失败。

赋值必须是其模板参数列表中的类型之一，否则编译报错。隐式转换不会自动触发（例如 int 赋给 std::variant 会失败）。

std::variant v = 42; ✅ 合法，int 在列表中
std::variant v = "hello"; ❌ 编译失败，字符串字面量是 const char*，不是 std::string
v = std::string{"hello"}; ✅ 显式构造后赋值
std::variant<:monostate int double> v{}; ✅ 显式用 std::monostate 占位，避免首类型不可默认构造的问题

如何安全读取 variant 中的值：std::get vs std::get_if

std::get(v) 是最常用方式，但它在运行时不做类型检查——如果 v 当前不持有 T 类型，会抛出 std::bad_variant_access 异常。调试时容易忽略这个崩溃点。

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

std::get_if(&v) 返回 T*，空指针表示当前不是该类型，适合需要分支判断的场景，且无异常风险。

std::variant v = "world";
if (auto* p = std::get_if(&v)) {
    std::cout << "string: " << *p << "\n";
} else if (auto* p = std::get_if(&v)) {
    std::cout << "int: " << *p << "\n";
}

用 std::visit 处理多类型逻辑（推荐主路径）

这是最符合 std::variant 设计哲学的方式：把“根据类型执行不同逻辑”封装成一个可调用对象（lambda、函数对象等），让 std::visit 自动分发。它天然避免漏处理类型、无需手动判断 index() 或 valueless_by_exception()。

注意：lambda 必须对所有可能类型都提供重载（或用泛型 lambda + SFINAE/constexpr if 过滤），否则编译失败。

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