std::visit仅接受单个可调用对象，需用overloaded模板封装多个lambda；必须覆盖所有variant类型或加const auto&兜底分支；捕获变量需注意生命周期与const一致性，多分支会增加编译时间和二进制体积。
std::visit 需要显式构造重载对象，不能直接传多个 lambda
直接写 std::visit([](int) {}, [](double) {}, v) 会编译失败——std::visit 只接受**单个可调用对象**，它不负责帮你合并多个分支。常见错误是以为像 Rust 的 match 或 Swift 的 switch 那样支持多闭包语法。
正确做法是把多个 lambda 封装成一个可调用的重载集。最常用的是用 std::variant 官方推荐的「lambda 重载技巧」：
template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
然后这样用：
std::visit(overloaded{
[](int x) { std::cout << "int: " << x; },
[](double x) { std::cout << "double: " << x; },
[](const std::string& s) { std::cout << "string: " << s; }
}, v);
捕获变量时要注意重载对象的生命周期和 const 限定
如果 lambda 捕获了外部变量（比如 [&ctx]），整个 overloaded{...} 对象必须满足 std::visit 调用时仍有效；更隐蔽的问题是：所有分支 lambda 的 operator() 签名必须一致（比如全是 const 成员函数），否则重载解析可能失败或触发 SFINAE 掉出候选集。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 避免混合捕获方式：
[x]（值捕获）和[&y]（引用捕获）混用容易导致重载体类型推导不一致 - 若需修改外部状态，统一用
[&]，并确保被引用对象在std::visit返回前不销毁 - 如果某个分支需要处理
const和非const版本，得显式写两个重载，或改用mutablelambda + 条件判断
没覆盖所有 variant 类型时编译报错，不是运行时崩溃
std::visit 是静态检查的：如果 std::variant<int, double, std::string> 的某个类型（比如 std::string）没在 overloaded{...} 里提供对应处理分支，GCC/Clang 会直接报类似 no matching function for call to 'visit' 的 SFINAE 错误，而不是等到运行时 panic。
这意味着你必须显式处理每个可能类型，或者加一个兜底分支（利用模板参数推导）：
std::visit(overloaded{
[](int x) { /* ... */ },
[](double x) { /* ... */ },
[](const auto& x) { /* 兜底，匹配剩下所有类型 */ }
}, v);
注意：这个 const auto& 分支必须放最后，否则它会提前匹配掉所有类型，让前面的具体分支失效。
性能上无虚函数开销，但分支数量多时注意编译时间和二进制体积
std::visit 底层是通过 constexpr 分支跳转（类似 switch on type index）实现的，零运行时多态开销。但它本质是模板展开：每个 lambda 分支都会实例化一份调用逻辑，10 个分支就生成 10 份独立代码。
- 对小型、固定类型的 variant（如
std::variant<bool, int, std::monostate>），完全没问题 - 如果 variant 包含 20+ 类型且每个 lambda 体较大，会导致编译变慢、目标文件膨胀
- 此时考虑降级为手动
std::get_if<>+ if-else，或拆分 visit 到不同作用域减少单次模板实例化规模
真正容易被忽略的是：overloaded 模板本身没有 noexcept 声明，如果你的 variant 操作要求强异常安全，得手动给每个 lambda 加 noexcept，并确保 overloaded 构造函数也标记。
