std::visit 编译失败主因是类型覆盖不全、引用限定错误、多 variant 联动误用；应优先用泛型 lambda 或 std::overload 显式分支，注意 const/volatile 一致性与引用传递，多 variant 需压平为联合 tuple。
std::visit 配合 lambda 不是“写个泛型就能跑”，类型覆盖不全、引用限定错、多 variant 联动误用，三类问题占编译失败的 90% 以上。
std::visit 编译报 no matching function：visitor 没覆盖所有类型
最常见错误是给 std::variant 写了只处理 int 和 std::string 的 lambda，漏掉 double。编译器不会自动 fallback，直接拒编。
- 用泛型 lambda 最省事：
[](auto&& x) { /* 通用逻辑 */ }，auto&&会为每个备选类型各实例化一次 - 需差异化处理时，用
std::overload组合显式分支：std::visit(std::overload{ [](int) {}, [](const std::string&) {}, [](double) {} }, v) - 手写 functor 类极易漏重载，且无法被 SFINAE 自动推导，不推荐
- 注意 const/volatile 一致性：如果
v持有int右值，但 lambda 参数写成int&，也会编译失败
想在 visit 里修改 variant 当前值：必须传非 const 引用
std::visit 本身不修改 std::variant，但能触发原地赋值——前提是让 lambda 作用于对象本体，而非副本。
- 错误写法：
std::visit([](auto x) { x = 42; }, v)——x是拷贝，赋值无效 - 正确写法：传参用
std::variant，lambda 参数用& auto&或具体类型引用，例如[](int& i) { i = 42; } - 若只是替换整个类型（比如从
int改成std::string），直接写v = std::string{"new"}更清晰，不必绕路std::visit
多个 std::variant 联动分发：不能直接 std::visit(f, v1, v2)
标准 std::visit 只接受一个 std::variant 作为首个参数，其余必须是可调用对象。写 std::visit(f, v1, v2) 必报 no matching function。
- 可行方案是“压平”为单个联合类型，例如用
std::variant<:tuple double>, std::tuple, ...> - 映射必须显式写出所有组合分支，漏一种就会导致运行时
std::bad_variant_access - 每个
std::tuple的类型顺序和 cv 限定必须严格匹配，std::tuple和std::tuple是不同类型 - 组合爆炸风险高：3 个各含 3 种类型的 variant → 27 种 tuple，代码膨胀明显
真正容易被忽略的是：泛型 lambda 在子类型存在隐式转换时可能引发 ambiguous template instantiation，比如 int32_t 和 uint32_t 都能转 int64_t，编译器无法唯一确定调用哪个实例。这种时候，显式分支比 auto&& 更可靠。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
