std::variant是编译期类型安全的“几选一”容器，初始化和赋值需严格匹配声明类型，访问须覆盖所有可能分支，自动管理构造析构但禁止非平凡析构类型，内存布局与union不同，不可替代std::any或std::optional。
std::variant 初始化时类型不匹配会直接编译失败
它不是运行时动态容器，而是编译期确定的类型集合。你声明 std::variant<int std::string></int>，就只能存 int 或 std::string，多一个 double 都不行，连构造都会报错。
- 错误写法：
std::variant<int std::string> v = 3.14;</int>→ 编译器报no matching constructor - 正确做法：显式转换或用
std::in_place_type_t指定类型，比如std::variant<int std::string> v{std::in_place_type<:string>, "hello"}</:string></int> - 更常用的是直接赋值已知类型：
v = std::string{"ok"};或v = 42;—— 这里靠隐式转换和重载operator=推导
访问 variant 里的值必须处理所有可能类型，否则运行时崩溃
std::get<t>(v)</t> 和 std::get_if<t>(&v)</t> 看似简单，但用错就段错误。前者要求当前持有时必须是 T 类型，否则抛 std::bad_variant_access；后者安全但返回指针，容易空解引用。
- 别这么干：
int x = std::get<int>(v);</int>—— 如果v实际存的是std::string，程序直接终止 - 推荐用
std::visit+ lambda，一次性覆盖所有分支：std::visit([](auto&& arg) { /* 处理 arg */ }, v); - 如果只关心某一种类型，用
if (auto* p = std::get_if<:string>(&v)) { use(*p); }</:string>，注意判空
std::variant 和 union 的关键区别在于析构与异常安全
它不是 C 风格 union 的语法糖。std::variant 会自动管理所含类型的构造、析构和异常传播 —— 代价是额外存储一个类型索引（通常 1–2 字节），且禁止含非平凡析构类型的组合（如含 std::vector 就没问题，含 std::unique_ptr 也没问题，但含未定义析构函数的类会编译失败）。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 常见误判：以为
std::variant和union内存布局一样 → 实际上它可能比裸union多几个字节，且对齐方式由最宽成员决定 - 不能放进
std::variant的类型：含删除的析构函数、无拷贝/移动语义、或std::is_trivially_destructible_v为 false 且未提供显式特化（极少见） - 性能提示：频繁切换类型会导致反复调用构造/析构，比纯指针或
void*开销大，别在热循环里反复v = ...; v = ...;
和 std::any、std::optional 混用时要注意语义差异
std::variant 是“固定几选一”，std::any 是“任意类型”，std::optional 是“有或没有”。三者能嵌套，但组合后行为容易绕晕。
立即学习“C++免费学习笔记（深入）”；
- 别把
std::variant<:any int></:any>当通用容器用 —— 它失去编译期类型检查优势，又没std::any灵活 - 想表达“可能为空的 variant”？用
std::optional<:variant double>></:variant>，而不是std::variant<:monostate int double></:monostate>（除非你真需要区分“未初始化”和“空值”） -
std::monostate只是占位符，大小为 1，不带状态，仅用于让 variant 允许“空”状态，但它本身不可赋值、不可比较
最易被忽略的一点：std::variant 的模板参数顺序影响 std::get<t></t> 查找效率（虽然实际差别微乎其微），但更重要的是影响 std::visit 中的重载解析优先级 —— 如果两个类型可隐式转换，排前面的会被优先选中。别指望编译器替你猜意图。
