std::visit不能直接传普通lambda，因其要求访问者对variant每种类型均有重载，而单个lambda仅有一个operator()；需用std::overload等技巧组合多个lambda构成重载集。
std::visit 为什么不能直接传入普通 lambda
因为 std::visit 要求访问者（visitor）必须对 std::variant 中每种可能类型都提供可调用的重载，而单个 lambda 是单一类型、无法自动重载。直接传一个 lambda 会编译失败，典型错误是：no matching function for call to 'visit' 或 cannot deduce template argument。
常见写法误区：用 [](auto&& x) { ... } 尝试“万能捕获”，但这只是单个模板 operator()，不是针对 variant 各类型的重载集，std::visit 无法在编译期完成分支分发。
- 正确思路是构造一个具备多个
operator()的可调用对象，让每个重载对应 variant 的一种备选类型 - 最轻量做法是用
std::overload辅助类（C++17 起常用技巧），它把多个 lambda 合成一个重载集 - 别手写完整 struct —— 冗余且易漏类型，
std::overload能保证类型安全和编译期检查
如何用 std::overload 组装 lambda 重载
std::overload 不是标准库组件，但几行代码就能实现，核心是继承多个 lambda 并用 using 暴露它们的 operator()：
template<class... Ts> struct overload : Ts... { using Ts::operator()...; };
template<class... Ts> overload(Ts...) -> overload<Ts...>;
之后就能把不同行为的 lambda 塞进去，例如处理 std::variant<int std::string double></int>：
立即学习“C++免费学习笔记（深入）”；
auto visitor = overload{
[](int i) { std::cout << "int: " << i; },
[](const std::string& s) { std::cout << "string: " << s; },
[](double d) { std::cout << "double: " << d; }
};
- 每个 lambda 参数类型必须严格匹配 variant 中某一项（
std::string&对应std::string，非std::string值类型） - 如果 variant 含 const 或引用修饰的类型（如
const int），lambda 参数也得一致，否则匹配失败 - 顺序无关，
std::visit按运行时实际类型查表分发，不依赖 lambda 排列顺序
std::visit + lambda 重载的性能与兼容性
这种写法本质是零开销抽象：所有分发在编译期确定，生成的汇编和手写 if-else 链几乎一致，无虚函数或运行时查找成本。
但要注意两个现实约束：
- C++17 是硬门槛 ——
std::variant和折叠表达式（using Ts::operator()...）都是 C++17 特性，C++14 项目无法直接用 - MSVC 2019 16.8+、GCC 7.1+、Clang 5.0+ 支持良好；旧版本可能报
error: parameter pack ‘Ts’ was not expanded，需确认编译器模式（如 GCC 加-std=c++17） - 如果 variant 类型很多，lambda 列表过长，建议抽成命名变量，避免一行写崩可读性
容易被忽略的 const 和引用陷阱
variant 存的是值，但 std::visit 传给 lambda 的是左值引用（T&），所以 lambda 参数写成 int 会尝试拷贝，而 int& 才真正绑定到原值。更麻烦的是 const 性：
- 若 variant 定义为
std::variant<int const std::string></int>，第二个 lambda 必须写const std::string&，写std::string&就不匹配 - 实践中建议统一用
const auto&捕获，但注意这会丢失类型特异性 —— 无法区分int和double分支，只能靠if constexpr (std::is_same_v<:decay_t>, int>)</:decay_t>补救，反而更啰嗦 - 最稳的写法仍是显式列出每种类型，哪怕多打几个字符，编译器能立刻告诉你漏了哪个分支
类型安全不是靠人记，是靠编译器报错逼你补全 —— 这才是 std::visit 的价值所在。
