std::visit 处理多个 std::variant 时不能直接用
标准库的 std::visit 只接受一个 std::variant（或多个参数，但仅第一个是 std::variant，其余必须是可调用对象），它不支持原生“多 variant 联动分发”。试图写 std::visit(f, v1, v2) 会触发编译错误：no matching function for call to 'visit'。
常见错误是以为把 lambda 写成接受两个参数就能自动匹配所有组合——实际连编译都过不去。根本原因是 std::visit 的重载决议只基于单个 variant 的类型列表，无法推导跨 variant 的笛卡尔积。
可行路径只有一条：把多个 variant “压平”成一个联合类型，再用单次 std::visit 分发。常用做法是嵌套 variant 或构造联合索引。
用 std::variant 嵌套模拟多态联合状态
假设你有两个 variant：std::variant<int std::string></int> 和 std::variant<double bool></double>，想对所有 2×2=4 种组合分别处理。最直接的方式是先组合成一个更大的 variant：
立即学习“C++免费学习笔记（深入）”；
using Combined = std::variant<
std::tuple<int, double>,
std::tuple<int, bool>,
std::tuple<std::string, double>,
std::tuple<std::string, bool>
>;然后手动把原始 pair 映射进去：
使用场景：逻辑分支少、组合数可控（比如 ≤ 6 种），且不频繁构造。
- 映射必须显式写出所有分支，漏一种就会导致
std::get抛std::bad_variant_access - 每个
std::tuple元素顺序和类型必须严格匹配，std::tuple<double int></double>和std::tuple<int double></int>是不同类型 - 性能上无额外开销，但代码膨胀明显；若 variant 成员多，组合爆炸（如 3 个各含 3 种类型的 variant → 27 种 tuple）
用 index-based dispatch 避免模板爆炸
当 variant 类型较多或成员动态变化时，硬编码 tuple 组合不可维护。更通用的做法是提取各自 index，用二维表或 switch 套 switch 跳转：
先获取两个 variant 当前 index：v1.index() 和 v2.index()，再根据这对整数查表调用对应处理函数。
关键点在于：index 是运行时值，但处理逻辑仍是编译期确定的，所以仍需把所有分支写全。
- 用
std::array<:array>, N>, M></:array>预存函数指针，适合分支逻辑较重、复用频繁的场景 - 用嵌套
switch更轻量，但易写错 case 覆盖（比如漏掉default导致未定义行为） - 注意：variant 空状态（
valueless_by_exception）的index()返回std::variant_npos，必须单独判断，否则后续std::get会 abort
为什么不用 std::visit + std::bind 或 lambda 捕获？
有人尝试写 std::visit([&v2](const auto& x) { std::visit([&x](const auto& y) { /* ... */ }, v2); }, v1) —— 这能编译通过，但属于“两次 visit”，不是联动分发：外层 visit 对 v1 每个分支调用一次内层 visit，内层再对 v2 全量遍历。它生成的是嵌套循环语义，而非单次匹配到具体 (type-of-v1, type-of-v2) 组合。
这在语义上就偏离了“联动”的本意：你无法在 lambda 里同时拿到两个具体类型的引用并做类型安全的操作（比如 x + y），因为内层 lambda 只能看到 y 的具体类型，而 x 是模板参数，编译器无法推导其确切类型参与运算。
真正需要联动的场景（比如二元操作符重载、状态机迁移），必须让两个值的类型同时进入同一作用域，这就绕不开显式枚举组合或 index 调度。
最麻烦的地方不在写法，而在类型安全边界：只要 variant 成员类型有隐式转换（比如 int 和 double），某些组合可能被意外匹配，而编译器不会报错——得靠测试和静态断言兜底。
