std::variant 比 union 安全，因其内部维护类型索引并自动校验访问，读错类型时抛 std::bad_variant_access 而非未定义行为；它要求显式处理分支逻辑，不支持手动下标取值，推荐用 std::visit 或 std::holds_alternative 安全访问。
std::variant 比 union 安全在哪？
因为 union 不记录当前存的是哪个成员，读错类型就是未定义行为；std::variant 在内部维护一个类型索引，每次访问前自动校验——读 int 却存了 std::string？运行时报 std::bad_variant_access，而不是静默崩溃或脏内存。
它不是“更高级的 union”，而是带状态的类型安全容器。你得主动处理“当前到底是什么”的分支逻辑，不能靠手动记下标糊弄过去。
怎么安全地取值？别直接用 get<T>()
std::get<T>() 会抛异常，除非你 100% 确定当前类型是 T。真实代码里几乎没人敢这么干。
- 优先用
std::visit+ lambda：它天然覆盖所有可能类型，编译器还能检查是否遗漏分支 - 用
std::holds_alternative<T>()先判断再取：适合只关心某一种类型的场景 - 避免
std::get<0>()这种下标访问——类型顺序一变就崩，且完全丢失语义
std::variant<int, std::string, double> v = "hello";
std::visit([](auto&& x) {
using T = std::decay_t<decltype(x)>;
if constexpr (std::is_same_v<T, std::string>) {
std::cout << "got string: " << x;
} else if constexpr (std::is_same_v<T, int>) {
std::cout << "got int: " << x;
}
}, v);和 std::any、std::optional 有什么区别？
std::variant 是「有限集合」：编译期确定能存哪几种类型，空间紧凑（通常只比最大类型多 1 字节）；std::any 是「任意类型」，运行时擦除，有堆分配开销；std::optional 只表示「有或没有」，不解决多类型切换问题。
立即学习“C++免费学习笔记（深入）”；
- 想替代
union { int i; float f; char* s; }？选std::variant<int, float, std::string> - 需要存用户传进来的任意类型（比如插件系统）？考虑
std::any - 只是想表达“可能为空”？
std::optional<T>更轻量
容易踩的坑：默认构造、移动和异常安全
std::variant 要求至少有一个可默认构造的类型，否则连声明变量都报错。如果你写 std::variant<std::unique_ptr<T>, std::monostate>，std::monostate 就是用来兜底默认构造的。
- 含非平凡析构类型的 variant（如
std::string）移动后，原对象处于有效但未指定状态——别假设它还能用 - 如果某个备选类型构造函数可能抛异常，整个
variant的构造/赋值也会抛，得加 try-catch 或用std::nothrow版本 - 别把
std::variant当成万能胶水塞太多类型，超过 4–5 种时std::visit分支会变得难维护，考虑分层抽象
类型列表越长，编译时间越久，错误信息也越难读。真要支持十几种类型，说明设计可能该拆了。
