std::variant 是 C++17 引入的类型安全联合体，支持在单个对象中存储多种类型之一，自动管理生命周期并强制类型检查；定义时指定允许类型，通过 std::get、std::holds_alternative 或 std::visit 安全访问，不支持引用、数组等特定类型，且禁止重复类型。
std::variant 是 C++17 引入的类型安全联合体，它能在一个对象中存储多种不同类型之一，同时避免传统 union 的手动内存管理和类型不安全问题。
基本用法：定义、构造和访问
你可以把 std::variant 看作“可变的容器”，但它不装多个值，只存一个——且明确知道当前存的是哪种类型。
- 定义时列出所有允许的类型，例如：
std::variant - 构造时自动推导当前持有的类型：
auto v = std::variant或{42}; std::variantv{"hello"}; - 用
std::get按类型取值（若类型不匹配会抛(v) std::bad_variant_access） - 更安全的方式是用
std::holds_alternative先判断，再取值(v)
安全访问：std::visit 和访问者模式
最推荐的访问方式是 std::visit，它支持对不同类型的统一处理，且编译期检查全覆盖：
- 传入一个可调用对象（如 lambda），
std::visit自动根据当前类型调用对应分支 - 如果漏掉某类型，编译失败（强制穷举）
- 示例：
std::visit([](const auto& x) { std::cout —— 通用 lambda 自动适配所有类型 - 也可以写重载的 struct 或使用
std::overload辅助（C++17 没内置，需手写或借助第三方）
常见操作与注意事项
std::variant 不是万能替代，用对场景才发挥价值：
立即学习“C++免费学习笔记（深入）”；
- 默认构造只对第一个类型可行（要求其可默认构造），否则需显式初始化
- 支持赋值、比较（当所有类型都支持
==）、移动语义，但不支持隐式转换 - 不能包含引用、数组、void、某些不完整类型；也不能有相同类型重复出现（如
variant非法） - 用
v.index()获取当前类型的序号（从 0 开始），std::variant_size_v得到总类型数
对比传统 union：为什么更安全？
原生 union 只管共享内存，不管类型生命周期：
- 手动调用构造/析构，极易出错（比如在 string 成员上读 int）
- 无类型记录，无法知道当前该按什么解释内存
-
std::variant内部自动管理对象生命周期，并始终记录当前 active type - 所有访问都带运行时或编译时检查，越界或类型错直接报错，不导致未定义行为
基本上就这些。它不是要取代 class 继承或多态，而是为“有限、已知、异构”的数据建模提供轻量、高效、类型安全的方案。
