std::visit 不支持直接访问多个 std::variant，因其设计为单重派发；需通过嵌套调用或 overloaded 辅助类实现多参数分发，但会引发组合爆炸与类型推导陷阱。
std::visit 不能直接访问多个 std::variant
标准 std::visit 只接受一个 std::variant 参数，传入多个会编译失败——这不是疏漏，而是设计使然。C++17 的 std::visit 是单重派发（single dispatch），它依赖一个 variant 的当前类型决定调用哪个重载，无法同时依据两个或更多 variant 的活跃类型做组合判断。
常见错误现象：error: no matching function for call to 'visit'，当你写成 std::visit(f, v1, v2) 时就会触发。
若硬要“一次调用处理多个 variant”，必须手动展开组合空间，或借助辅助结构。最直白的做法是嵌套调用：std::visit 内再套一层 std::visit：
std::visit([](const auto& a) {
std::visit([&a](const auto& b) {
// a 和 b 的具体类型在此处已知，可做任意操作
handle(a, b);
}, v2);
}, v1);
注意：嵌套层数 = variant 数量，3 个 variant 就需三层嵌套，可读性与编译时间会明显上升。
立即学习“C++免费学习笔记（深入）”；
std::visit 嵌套调用的类型推导陷阱
嵌套中容易忽略的是 lambda 捕获方式和类型推导边界。外层 lambda 的 auto& a 是通用引用，但它的类型在每次调用时固定；内层 lambda 若想把 a 传给 handle()，必须确保 handle 是重载集或模板函数，否则会因类型不匹配报错。
- 错误写法：
auto handle = [](int, double){};—— 它只接受int + double，其他组合编译失败 - 正确做法：用函数对象（struct +
operator()）或 C++20 的auto参数模板 lambda（需编译器支持） - 更稳妥：定义独立的重载函数集合，用
overloaded{...}辅助类聚合（见下节）
另外，std::visit 要求所有分支路径返回相同类型。嵌套中若某条分支漏写 return，或返回类型不一致（如有的分支返回 void，有的返回 int），编译器会报 deduced conflicting types 类似错误。
用 overloaded 辅助类实现多参数重载分发
手动写嵌套太冗长，推荐用经典的 overloaded 技巧构造可被 std::visit 接受的访客对象。它本质是将多个 lambda 合并为一个可调用对象，支持不同参数类型的重载调用。
定义很简单：
template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
然后这样用：
auto visitor = overloaded{
[](int, int) { return "int+int"; },
[](int, std::string) { return "int+string"; },
[](double, bool) { return "double+bool"; },
// ... 所有需要支持的组合
};
std::visit([&visitor](const auto& a) {
std::visit([&visitor, &a](const auto& b) {
return visitor(a, b); // 此处触发重载解析
}, v2);
}, v1);
关键点：
- 每个 lambda 必须签名完整、无歧义；缺一种组合，运行时遇到就
std::terminate - 如果 variant 含有大量类型（比如 5 种 × 5 种 = 25 种组合），手写易漏，建议生成脚本或用宏辅助
- 这种写法仍是编译期全量展开，无运行时查表开销，但编译速度可能变慢
替代方案：std::tuple + index_sequence 展开（C++17 起）
当 variant 类型数量少且固定（如只有 2–3 种），也可把多个 variant “压平”成 tuple，再用 std::index_sequence 驱动递归展开。但这不是 std::visit 的用法，而是绕过它、模拟多重派发逻辑：
template<size_t... I, class Tuple>
auto dispatch_impl(std::index_sequence<I...>, const Tuple& t) {
return std::get<I>(t)...; // 实际需配合 visit 分别提取各 variant 的值
}
实际项目中极少这么干——它破坏了 std::variant 的类型安全语义，且难以统一错误处理。除非你明确需要动态索引或元编程调度，否则优先用嵌套 std::visit + overloaded。
真正棘手的不是语法怎么写，而是组合爆炸带来的维护成本：每新增一个 variant 类型，组合数呈乘积增长。上线前务必检查所有分支是否覆盖，最好加 static_assert 或单元测试断言活跃类型的笛卡尔积。
