std::variant 是唯一安全替代传统 union 的选择，它通过隐式索引实现运行时类型校验、自动管理非平凡类型生命周期，并强制使用 std::visit 保证类型安全访问。
std::variant 直接替代传统 union，不是“更好用”，而是“唯一安全的选择”。 它解决的不是语法糖问题，而是内存安全、生命周期管理和运行时可维护性的硬伤。裸 union 在现代 C++ 工程中已应被视作禁用项。
std::variant 如何避免 union 的未定义行为
传统 union 不记录当前活跃成员，读写错类型就是未定义行为（UB），编译器不报错、调试器难捕获。而 std::variant 在对象内部存储一个隐式索引（通常 1–2 字节），每次赋值或 emplace 都自动更新该索引，并在 std::get 访问前做运行时校验。
- 若用
std::get<int>(v)</int>访问当前存的是std::string的v，会抛std::bad_variant_access异常，而非静默返回垃圾值 - 即使类型列表含
int和unsigned int这类二进制兼容但语义不同的类型，std::variant仍严格区分——这是类型系统本职，不是“过度设计” -
std::holds_alternative<:string>(v)</:string>是廉价的整数比较，比手写 tag 枚举 + switch 更不易出错
std::variant 怎么自动管理非平凡类型的生命周期
裸 union 中放 std::string 必须手动调用 placement new 和析构函数；漏一次，就泄漏或 double-free。std::variant 把这事全包了：构造新值前，自动调用旧值的析构函数；对象销毁时，自动调用当前活跃值的析构函数。
- 例如
v = std::string("hello")→ 先析构原int（无操作），再就地构造std::string -
v.emplace<:vector>>(1000)</:vector>→ 若原值是std::string，先析构它，再构造 vector - 这个过程不触发堆分配（
std::variant自身是栈对象），和std::any有本质区别
std::get 和 std::get 的坑必须避开
两种 std::get 看似相似，行为逻辑完全不同，混用极易崩溃：
立即学习“C++免费学习笔记（深入）”；
-
std::get<int>(v)</int>：按类型匹配，要求类型在列表中唯一；若声明为std::variant<int int std::string></int>，编译失败 -
std::get(v)：按声明顺序索引，0永远对应模板参数第一个类型，和你“最后一次赋了什么”无关 - 最危险的写法：
if (v.index() == 1) { auto x = std::get(v); }—— 看似安全，但若类型列表后续加了新类型（比如插在中间），索引全偏移，逻辑悄无声息错乱 - 正确姿势：优先用
std::holds_alternative<t>(v)</t>检查，或直接上std::visit
为什么 std::visit 是推荐的默认访问方式
std::visit 强制你为每种可能类型提供处理分支，编译期就能保证“无遗漏”。它不是语法糖，是类型安全的模式匹配基础设施。
- 添加新类型到
std::variant模板参数后，所有未覆盖该类型的std::visit调用点都会编译失败，逼你补逻辑 - 配合重载集（
overloaded{[](int){}, [](std::string const&){}}）可写出接近 Rust match 的清晰风格 - 性能上无额外开销：分支由索引查表跳转，不是虚函数调用，且多数编译器能内联 lambda
- 它天然支持嵌套
std::variant和std::optional组合，而std::get链式调用很快变得不可读
真正容易被忽略的点是：当你开始用 std::variant，你就不能再假设“类型切换是零成本抽象”。它的大小是 max(sizeof(Ts)...) + sizeof(index)，对缓存敏感场景要实测；而它的最大价值不在节省内存，而在把“类型错误”从运行时 UB 变成编译期约束或可捕获异常——这正是工程可控性的起点。
