c++oding="utf-8" ?>

std::variant适合替代类型集合固定且编译期可知的继承场景，如解析器返回值；不适用于需共享状态、虚析构或大量差异化接口的场景。

std::variant 适合替代哪些继承场景

当你的类型集合固定、编译期可知，且不需要运行时动态扩展（比如不能 new 出新派生类），std::variant 就是比虚函数更轻量、更安全的替代方案。典型如解析器返回值：std::variant<int double std::string std::monostate></int> 比用基类指针 + dynamic_cast 更快、无内存泄漏风险。

注意：它不适用于需要共享状态、虚析构、或子类有大量差异化接口的场景——那是继承的本分，硬套 std::variant 反而让访问逻辑爆炸。

std::visit 的 lambda 参数必须覆盖所有 variant 类型

漏写某个类型的处理分支会导致编译失败，错误信息通常是“no matching function for call to ‘visit’”，但真正原因藏在模板实例化深处，容易误判为语法问题。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

• 推荐用 std::visit([](const auto& v) -> ReturnType { ... }, var) 写泛型 lambda，靠编译器自动推导分支，避免漏项
• 如果必须写具体重载，用 std::visit(overloaded{ [](int){}, [](double){}, [](const std::string&){} }, var) 这种手动构造的访问器，确保每个类型都有对应 handler
• 加 [](const auto&){ throw std::runtime_error("unhandled variant type"); } 作兜底（仅调试期有用，生产环境应保证全覆盖）

std::variant 访问失败时抛出 std::bad_variant_access

调用 std::get<t>(v)</t> 或 std::get_if<t>(&v)</t> 时，若当前存储的不是 T，前者直接抛 std::bad_variant_access，后者返回 nullptr。别指望它像 dynamic_cast 那样静默失败。

• 用 std::holds_alternative<t>(v)</t> 先判断再取值，比 try/catch 更高效
• std::get_if 返回的是指针，注意空指针解引用——尤其在 switch-case 风格的分支里容易忽略
• 如果 variant 可能为空（含 std::monostate），记得单独处理该 case，否则 std::holds_alternative 对所有类型都返回 false

性能和 ABI 兼容性陷阱

std::variant 是栈上聚合，没有虚表开销，访问速度接近直接结构体字段；但它的大小等于最大备选类型的大小加少量 tag 开销，可能比指针大得多——传参时建议用 const 引用。

• 移动语义重要：std::variant 的拷贝构造会触发内部值的拷贝，而移动构造只搬 tag 和数据，务必用 std::move(v) 传递临时对象
• 不同标准库实现（libstdc++ vs libc++）对 std::variant 的布局不保证 ABI 兼容，跨 DLL 边界传递需谨慎，最好只在单个编译单元内使用
• 编译器优化对 std::visit 泛型 lambda 很友好，但对多重重载访问器可能内联不彻底，profile 看到热点时优先检查这里

最常被忽略的是：variant 的“多态”本质是静态分发，它把运行时类型选择提前到编译期分支展开。你得接受这个前提——否则不如老老实实用虚函数。

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