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