std::get 编译失败主因是类型不匹配或索引越界；std::visit 报错多因 visitor 覆盖不全，应使用泛型 lambda 或 std::overload；修改 variant 值需非 const 引用；性能敏感时泛型 lambda 通常可优化为跳转表。
std::get 编译失败：类型不匹配或索引越界
直接调用 std::get<T>(v) 时编译报错，常见于 T 不在 std::variant 的模板参数列表中，或 v 当前不持有 T 类型（此时是运行时报 std::bad_variant_access）。但更隐蔽的问题是：用 std::get<I>(v)（按索引）时，I 超出合法范围（0 到 std::variant_size_v<decltype(v)> - 1），编译器会直接拒绝。
安全做法是先确认状态：
- 用
std::holds_alternative<T>(v)检查是否持有T，再调用std::get<T> - 用
v.index()获取当前索引，再与std::variant_size_v<decltype(v)>对比，避免硬编码索引 - 若需默认 fallback，别写裸
std::get，改用std::get_if<T>(&v)—— 返回T*，空指针表示类型不匹配，不抛异常
std::visit 报 no matching function：visitor 覆盖不全
最常踩的坑：给 std::variant<int, std::string, double> 写 visitor，却只处理了 int 和 std::string，漏掉 double。编译器无法推导出对所有类型的重载，直接报 no matching function for call to 'visit'。
解决方式取决于需求：
立即学习“C++免费学习笔记（深入）”；
- 想统一处理所有类型 → 用泛型 lambda：
[](auto&& x) { /* 通用逻辑 */ }，auto&&会为每个备选类型实例化一次 - 需差异化处理 → 用
std::overload组合多个 lambda：std::visit(std::overload{ [](int) {}, [](const std::string&) {}, [](double) {} }, v) - 手写 functor 类？容易漏类型且难维护，不推荐；若真要用，必须显式定义所有
operator()重载
想在 visit 里修改 variant 值：传参和 lambda 参数都得非 const
std::visit 本身不修改 std::variant，但它能触发修改逻辑——前提是让 lambda 作用于原对象，而非副本。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
错误写法：std::visit([](auto x) { x = 42; }, v) —— x 是值拷贝，赋值无效。
正确写法分两步：
- 把
v以非 const 引用传入：std::visit(..., v)（不是const std::variant<...>&） - lambda 参数也必须是非 const 引用：
[](auto& x) { x = 42; }或[](int& i) { i = 42; } - 若只是替换整个 variant 的类型（比如从
int改成std::string），直接v = std::string{"new"}更清晰，不必绕路std::visit
性能敏感场景：泛型 lambda + 现代编译器基本无 runtime 分支开销
担心 std::visit 带来虚函数式跳转或条件判断？GCC 10+、Clang 12+ 在 visitor 是泛型 lambda 且 variant 类型数 ≤ 5 时，通常能把 dispatch 优化成跳转表或完全内联。实测与手工 switch (v.index()) 性能差距极小。
但要注意两个破坏优化的点：
- visitor 中调用了非 inline 函数，尤其是跨编译单元的，会阻断内联
- variant 类型太多（如超过 10 个），编译器可能退回到间接函数调用
- 若真卡在性能关键路径，且类型集固定，可考虑用
v.index()+switch手动 dispatch，但要同步维护std::get类型与 case 分支的一致性，容易出错
最容易被忽略的是 const/volatile 限定符一致性：比如 variant 存的是 int，但 lambda 写成 int&，而实际值是右值（如 v = 42 后立即 visit），就会因绑定非常量引用到临时量而编译失败。用 auto&& 最省心，它自动适配左值/右值、const/non-const。
