17370845950

应使用 std::holds_alternative、std::get_if 或 std::visit 安全访问 std::variant；避免直接 std::get 导致异常，优先用 if constexpr + std::visit 实现编译期分发，勿将其用于运行时多态场景。

std::variant 访问失败时抛出 std::bad_variant_access 怎么避免

直接调用 std::get(v) 前必须确保 v 当前持有类型 T，否则运行时抛出 std::bad_variant_access。这不是设计缺陷，而是类型安全的强制约束。

• 用 std::holds_alternative(v) 先检查再取值，适合分支逻辑明确的场景
• 用 std::get_if(&v) 获取指针，空指针表示不匹配，适合需要原地修改或避免异常的上下文
• 避免在循环中反复调用 std::holds_alternative + std::get，可改用 std::visit 一次性分发

std::visit 配合 lambda 处理多态行为最简写法

不要手写 visitor 类；C++17 起支持闭包作为 visitor，配合 auto 参数推导可自动匹配各分支，代码紧凑且类型安全。

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);

• if constexpr 是关键：编译期剔除不匹配分支，避免模板实例化错误
• lambda 参数必须是 const auto& 或 auto&&，否则无法绑定所有备选类型
• 若需返回值，lambda 所有分支 return 类型必须一致（或可隐式转换）

std::variant 不能继承、不支持运行时多态，别和虚函数混用

std::variant 是编译期确定类型的“静态多态”，和 virtual、dynamic_cast 完全无关。试图把它当基类指针容器用，说明模型设计已偏离其定位。

• 它适合替代 C 风格 union 或 void* 容器，例如解析配置项（int/string/bool 混存）、AST 节点子类型集合
• 若需要运行时增删类型、跨 DLL 边界传递、或依赖对象生命周期管理（如 shared_ptr 多态），应选 std::unique_ptr 而非 std::variant
• 嵌套 std::variant<:variant>, ...> 是反模式；应扁平化为单层 variant 或用递归变参模板封装

移动语义与 std::variant 构造/赋值的坑

std::variant 的 move 构造和 move 赋值会转移当前所含对象的资源，但前提是该类型满足可移动——否则退化为拷贝，甚至编译失败。

• 含不可移动成员（如 std::mutex、引用成员）的类型不能放进 std::variant
• 使用 std::move(v) 后，v 进入有效但未指定状态（通常为第一个备选类型的默认构造值），不可再直接访问
• emplace 系列函数（如 v.emplace<:string>("abc")）会就地构造，避免临时对象拷贝，比 v = std::string("abc") 更高效

实际用好 std::variant 的关键，是接受它“一个变量只能持有一个确定类型”的本质——不是万能多态容器，而是类型安全的单槽存储。越早放弃模拟运行时多态的念头，越容易写出清晰、可维护的代码。