std::variant构造时类型不匹配会编译失败；访问需先用std::holds_alternative判断或用std::visit安全处理；其内存固定、类型安全，优于union/void*，但需注意异常安全与大小影响。
std::variant构造时类型不匹配会编译失败
直接用错误类型初始化 std::variant 会导致编译错误，不是运行时报错。比如 std::variant<int std::string> v = 3.14;</int> 会触发 error: no matching constructor —— 因为 double 无法隐式转成 int 或 std::string，且 std::variant 不做自动类型推导降级。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 用
std::in_place_type_t显式指定构造类型：std::variant<int std::string> v(std::in_place_type<:string>, "hello");</:string></int> - 允许隐式转换时，确保目标类型支持该转换（如
std::variant<int double></int>可接受42或3.14） - 避免依赖隐式转换链（例如
char*→std::string是允许的，但int*→std::string不行）
访问variant内容必须处理std::monostate或std::bad_variant_access
如果用 std::get<t>(v)</t> 访问当前不持有的类型，会抛出 std::bad_variant_access 异常；而空 variant（C++17 后已移除）不再存在，但若用 std::variant<:monostate int std::string></:monostate>，则需主动检查是否为 std::monostate。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 优先用
std::holds_alternative<t>(v)</t>判断再取值：if (std::holds_alternative<int>(v)) { auto x = std::get<int>(v); }</int></int> - 用
std::visit避免手动分支，尤其类型多时更安全、更简洁 - 不要对未初始化的
std::variant（如默认构造的不含std::monostate的 variant）调用std::get—— 它是未定义行为
std::visit配合lambda处理多种类型的典型写法
std::visit 是安全访问 std::variant 的推荐方式，它强制覆盖所有可能类型，编译器能检查遗漏（配合 -Wunreachable-code 等可增强提示）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 用泛型 lambda 捕获所有情况：
std::visit([](const auto& x) { /* x 类型由编译器推导 */ }, v); - 若需区分类型逻辑，用重载 lambda（借助
std::overload辅助）或显式写出每个分支 - 注意捕获方式：用
const auto&避免不必要的拷贝；若需修改，用auto&并确保 variant 是非常量左值 - 多个 variant 同时 visit 是合法的（C++17 起），但类型组合数会指数增长，慎用
std::variant和union/void*比，内存与异常安全性差异在哪
std::variant 在栈上分配固定大小内存（等于最大备选类型的 size + 构造状态标识），不涉及堆分配；相比裸 union，它自动管理构造/析构，不会出现 “调用 string 析构函数但实际存的是 int” 这类 UB；相比 void*，它完全类型安全，无强制转换风险。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 关注
sizeof(std::variant<ts...>)</ts...>—— 若含大对象（如std::array<char></char>），整个 variant 就很大，可能影响缓存友好性 - 若某类型没有默认构造函数，variant 不能默认构造（除非含
std::monostate） - 移动语义完整支持，但若某个备选类型不可移动（如
std::unique_ptr可移动，但自定义 non-movable 类型不行），则 variant 整体也不可移动
最容易被忽略的是：std::variant 的赋值操作符（operator=）在目标类型与当前持有类型不同时，会先析构旧值再构造新值 —— 如果析构抛异常，而新构造又失败，可能破坏强异常安全保证。生产环境若类型析构可能抛异常，需额外封装保护。
