应使用 std::holds_alternative、std::get_if 或 std::visit 安全访问 std::variant；避免直接 std::get 导致异常，优先用 if constexpr + std::visit 实现编译期分发，勿将其用于运行时多态场景。
std::variant 访问失败时抛出 std::bad_variant_access 怎么避免
直接调用 std::get<t>(v)</t> 前必须确保 v 当前持有类型 T，否则运行时抛出 std::bad_variant_access。这不是设计缺陷，而是类型安全的强制约束。
- 用
std::holds_alternative<t>(v)</t>先检查再取值，适合分支逻辑明确的场景 - 用
std::get_if<t>(&v)</t>获取指针，空指针表示不匹配，适合需要原地修改或避免异常的上下文 - 避免在循环中反复调用
std::holds_alternative+std::get，可改用std::visit一次性分发
std::visit 配合 lambda 处理多态行为最简写法
不要手写 visitor 类；C++17 起支持闭包作为 visitor，配合 auto 参数推导可自动匹配各分支，代码紧凑且类型安全。
std::variant<int, std::string, double> v = "hello";
std::visit([](const auto& x) {
using T = std::decay_t<decltype(x)>;
if constexpr (std::is_same_v<T, int>) {
std::cout << "int: " << x << "\n";
} else if constexpr (std::is_same_v<T, std::string>) {
std::cout << "string: " << x << "\n";
} else if constexpr (std::is_same_v<T, double>) {
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<base>而非std::variant<derived1 derived2></derived1> - 嵌套
std::variant<:variant>, ...></:variant>是反模式；应扁平化为单层 variant 或用递归变参模板封装
移动语义与 std::variant 构造/赋值的坑
std::variant 的 move 构造和 move 赋值会转移当前所含对象的资源，但前提是该类型满足可移动——否则退化为拷贝，甚至编译失败。
立即学习“C++免费学习笔记（深入）”；
- 含不可移动成员（如
std::mutex、引用成员）的类型不能放进std::variant - 使用
std::move(v)后，v进入有效但未指定状态（通常为第一个备选类型的默认构造值），不可再直接访问 - emplace 系列函数（如
v.emplace<:string>("abc")</:string>）会就地构造，避免临时对象拷贝，比v = std::string("abc")更高效
实际用好 std::variant 的关键，是接受它“一个变量只能持有一个确定类型”的本质——不是万能多态容器，而是类型安全的单槽存储。越早放弃模拟运行时多态的念头，越容易写出清晰、可维护的代码。
