std::visit 强制编译期覆盖所有类型分支，漏写、签名不匹配或引用限定错误均导致编译失败；应统一用 [](auto&& x) 捕获，修改值时确保 v 非 const 且 lambda 参数为对应引用类型；差异化逻辑须用 std::overload 显式分发。
std::visit 不是“写个 lambda 就能跑通”的语法糖，它强制你在编译期面对所有类型分支——漏一个、错一个签名、多一个隐式转换，就直接报 no matching function for call to 'visit' 或运行时抛 std::bad_variant_access。
std::visit 编译失败：类型覆盖不全或引用限定错误
这是最常踩的坑。编译器不会帮你 fallback，只做严格重载决议。
- 常见错误现象：
std::variant<int std::string double></int>只写了处理int和const std::string&的 lambda，漏了double→ 立刻编译失败 -
v是const std::variant<...>&</...>，但 lambda 参数写成int&或auto&→ 无法绑定 const 左值 -
v存的是临时对象（如std::string{}或std::unique_ptr<int>{}</int>），lambda 却写成const auto& x→ C++ 禁止将纯右值绑定到 const lvalue 引用 - 实操建议：统一用
[](auto&& x)；若需修改值，确保v是非 const 引用，且 lambda 参数为auto&或具体类型引用（如int&）
差异化逻辑必须显式分发：std::overload 是唯一编译期安全路径
泛型 lambda 里塞 if (typeid(x).name() == "i") 是自废武功——放弃编译期类型安全，还引入运行时开销。
- 正确做法是用
std::overload组合多个具名 lambda，每个参数签名必须与对应类型完全匹配（含const、引用、cv 限定） - 示例：
std::visit(overload{ [](int& i) { i *= 2; }, [](const std::string& s) { std::cout << "str: " << s; }, [](double d) { std::printf("%.3f", d); } }, v); - 新增类型时，编译器立刻报错提醒补分支；漏写任一类型，编译失败，比运行时崩溃更早暴露问题
- 别手写 functor 类——
operator()多重载难维护，noexcept/const稍有不一致就触发 SFINAE 失败
多 std::variant 联动：std::visit(f, v1, v2) 永远不合法
标准库只定义了首个参数为 std::variant 的重载，其余参数必须是可调用对象。所谓“多源分发”，本质是建模问题。
立即学习“C++免费学习笔记（深入）”；
- 错误写法：
std::visit(f, v1, v2)→ 必报no matching function - 可行方案只有两种：
– 压平为联合std::variant，例如std::variant<:tuple x>, std::tuple<a y>, std::tuple<b x>, std::tuple<b y>></b></b></a></:tuple>，每个std::tuple的类型顺序和 cv 限定必须严格一致
– 改用索引驱动查表：v1.index()和v2.index()拼成二维键，跳转到预注册函数指针 - 组合爆炸真实存在：3 个各含 3 种类型的
std::variant→ 需手动写出 27 种std::tuple分支；若数量不可控，必须切回 index-based dispatch
嵌套 variant：std::visit 不会自动递归穿透
把 std::variant 当成员放进另一个 std::variant（如 std::variant<int std::variant char>></int>），不能指望一次 std::visit 自动展开两层。
- 错误写法：
std::visit([](auto&& x) { /* x 可能是 int 或 std::variant<...>，但不会自动再 visit 内层 */ }, outer)</...> - 正确做法：在外层
std::visit的每个分支中，对内层std::variant单独再调一次std::visit - 若内层类型较多，推荐扁平建模：用结构体字段名显式区分层级，例如
struct Message { Header hdr; std::variant<textpayload binarypayload> payload; }</textpayload>，先访payload，再按hdr.type做上下文判断 - 真正容易被忽略的是异常安全边界：内层
std::variant若处于valueless_by_exception状态，未检查就调std::get或嵌套std::visit会直接抛异常
