std::variant 是类型安全的运行时单选一容器，与 union 的根本区别在于自动管理构造/析构、强制类型检查（如 std::get 或 std::visit）以避免未定义行为。
std::variant 是什么，和 union 有什么根本区别
它不是语法糖，而是类型安全的“运行时单选一”容器。底层确实可能用 union 实现，但编译器会自动管理构造/析构，避免 union 手动调用构造函数的灾难。你不能像 union 那样直接访问成员，必须用 std::get 或 std::visit —— 这不是限制，是防止读取未激活分支的 UB。
常见错误现象：std::get<int>(v) 在 v 当前存的是 std::string 时直接崩溃（抛 std::bad_variant_access）；union 同样操作只是未定义行为，更难调试。
使用场景：替代裸指针多态（不需要虚函数开销）、配置项解析（可能为 int / string / bool）、状态机返回值（成功带数据 / 失败带错误码）。
怎么安全取值：std::get vs std::holds_alternative vs std::visit
std::get 是最直觉但最危险的方式——它假设你知道当前类型，不检查就强转。适合确定性极高的场景（比如刚用 std::holds_alternative 检查过）。
立即学习“C++免费学习笔记（深入）”；
std::holds_alternative<T>(v) 是轻量级类型判别，只查 tag，不触发任何构造/析构，性能好，适合 if 分支前哨。
std::visit 是推荐的默认姿势，尤其当你要对所有可能类型做不同处理时。它强制覆盖全部分支，编译期报错漏写 case，比一堆 if-else 更可靠。
实操建议：
- 别裸用
std::get，至少包一层if (std::holds_alternative<int>(v)) { auto x = std::get<int>(v); ... } - 多个类型分支优先写
std::visit，用 lambda 或自定义 visitor 类 - 如果只关心某几个类型，用
std::visit([](auto&& arg) { using T = std::decay_t<decltype(arg)>; if constexpr (std::is_same_v<T, int>) {...} else if constexpr (std::is_same_v<T, std::string>) {...} }, v);（C++17 要求if constexpr）
构造和赋值时容易踩的坑
std::variant 不允许包含自身（比如 std::variant<int, std::variant<...>>），编译失败；也不允许含 void、引用、数组、抽象类等不可构造/不可析构类型。
默认构造只对第一个可默认构造的类型生效（比如 std::variant<std::string, int> 默认构造出空 std::string），若首类型不可默认构造（如 std::variant<NonDefault, int>），则 variant 本身不可默认构造——这点常被忽略，导致类成员初始化失败。
赋值时注意隐式转换：如果 variant 包含 int 和 double，写 v = 3.14 会进 double 分支；但若还包含 std::string，v = "hello" 会触发字符串字面量到 std::string 的转换，而非 const char* 指针——这取决于哪个构造函数更匹配。
实操建议：
- 把最常用、最可能默认构造的类型放在 variant 模板参数列表最前面
- 用
std::in_place_type<T>显式指定构造分支，避免歧义：std::variant<int, std::string> v(std::in_place_type<std::string>, "hi"); - 禁止在 variant 中放
std::vector<T>等大对象？不，但要注意移动语义——variant 内部存储是就地构造的，拷贝代价高，优先 move
和 std::optional、std::any 的边界在哪
std::optional<T> 是“有或没有”，只有两种状态；std::variant<T, U, V> 是“三选一”，明确限定集合；std::any 是“任意类型”，运行时擦除，无编译期类型安全。
性能上：std::optional 最轻（通常 1 字节 tag + 对齐填充）；std::variant 次之（最大分支 size + 1 字节 tag）；std::any 最重（堆分配 + type_info 查找）。
兼容性影响：C++17 引入 std::variant，但 MSVC 2017 初版、GCC 7.1 前支持不全（比如缺少 std::visit SFINAE 友好）。线上项目若需兼容旧编译器，得降级用 boost::variant 或手写 tag union。
容易被忽略的地方：variant 的异常安全性是强保证——只要所有备选类型的构造函数是 noexcept，variant 的赋值/构造就不会抛异常；否则可能抛 std::bad_alloc（内部缓冲不够）或对应类型的异常。别默认假设它“不抛异常”。
