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

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

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

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

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

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

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

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

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

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

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

C函数速查手册（CHM版）

下载

std::variant<int std::string> v = "world";
if (auto* p = std::get_if<:string>(&v)) {
    std::cout (&v)) {
    std::cout <h3>用 std::visit 处理多类型逻辑（推荐主路径）</h3>
<p>这是最符合 <code>std::variant</code> 设计哲学的方式：把“根据类型执行不同逻辑”封装成一个可调用对象（lambda、函数对象等），让 <code>std::visit</code> 自动分发。它天然避免漏处理类型、无需手动判断 <code>index()</code> 或 <code>valueless_by_exception()</code>。</p>
<p>注意：lambda 必须对所有可能类型都提供重载（或用泛型 lambda + SFINAE/constexpr if 过滤），否则编译失败。</p>
<pre class="brush:php;toolbar:false;">std::variant<int double std::string> v = 3.14;
std::visit([](const auto& x) {
    using T = std::decay_t<decltype>;
    if constexpr (std::is_same_v<t int>) {
        std::cout ) {
        std::cout ) {
        std::cout <h3>常见陷阱：valueless_by_exception 和 index() 的误用</h3>
<p>当 variant 在值变更过程中抛出异常（如新类型的构造函数抛异常），它会进入 <code>valueless_by_exception()</code> 状态——此时既不是任何模板类型，也不能用 <code>std::get</code> 或 <code>std::visit</code>，否则未定义行为。</p>
<p><code>v.index()</code> 返回当前类型的序号（从 0 开始），但仅在非 <code>valueless_by_exception()</code> 时有效；直接拿 <code>index()</code> 做 <a style="color:#f60; text-decoration:underline;" title="switch" href="https://m.php.cn/zt/17738.html" target="_blank">switch</a> 分支不如用 <code>std::visit</code> 安全，而且难以维护（增删类型要同步改 switch）。</p>
<ul>
<li>永远先检查 <code>!v.valueless_by_exception()</code> 再访问内容</li>
<li>避免依赖 <code>v.index() == 0</code> 判断类型，类型顺序易变，语义不清晰</li>
<li>不要在异常敏感路径里频繁变更 variant 值，尤其含资源管理类型的成员</li>
</ul>
<p>真正难的不是语法，而是设计时想清楚：哪些类型必须共存、每种类型对应的业务含义是否正交、错误路径是否覆盖完整。std::variant 不帮你做领域建模，只确保你没法绕过类型检查。</p></t></decltype></int>

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！