std::visit必须传入可调用对象，因其设计依赖编译期重载决议实现类型安全分发；裸语句块不构成可调用实体，语法错误或参数绑定不匹配（如未用auto&&）将导致编译失败。
std::visit 为什么必须传入可调用对象而不是直接写逻辑
因为 std::visit 的设计目标是类型安全分发，它不接受裸语句块，只接受可调用实体（函数对象、lambda、函数指针等）。如果你写成 std::visit { [](auto&& v) { /* ... */ }, my_variant } 却漏掉括号或大括号语法错误，编译器会报类似 no matching function for call to 'visit' 的错误。
常见误写：std::visit([](auto&& v) {}, var); 看似正确，但若 lambda 捕获了局部变量且未声明为 mutable，而内部又尝试修改，则触发 const 限定问题；更隐蔽的是——当 variant 含有引用类型（如 std::variant<int double></int>），lambda 参数必须用 auto&& 而非 const auto&，否则绑定失败。
- 始终用
auto&&作为 lambda 参数，兼顾左值/右值和 cv 限定 - 避免在 lambda 外部捕获非常量局部变量，除非明确加
mutable - 若需返回值，lambda 必须所有分支返回相同类型，否则编译失败（C++17 要求返回类型可推导一致）
处理多个不同类型的 variant 时怎么避免重复写 visit
当你要对多个 std::variant 做相似处理（比如统一打印、序列化），直接复制多份 std::visit 调用既冗余又难维护。这时应把访问逻辑抽成独立的 visitor 类型，而非每次都写 lambda。
例如定义一个通用打印 visitor：
struct printer {
template<typename T>
void operator()(const T& v) const { std::cout << v << '\n'; }
};然后复用：std::visit(printer{}, v1); std::visit(printer{}, v2);。注意：visitor 结构体必须对每种可能类型都提供 operator() 重载，否则编译报错——哪怕你只关心其中几种类型，也得显式处理全部，或用 SFINAE 过滤。
- 用
constexpr if在单个模板operator()内做类型分支，减少重载数量 - 若 variant 类型集合庞大且部分类型无需处理，可用
std::holds_alternative配合手动 switch，但失去编译期类型检查优势 - visitor 类型不能依赖外部状态（如修改外部变量），否则并发调用时出问题
std::visit 和 std::get 的错误选择场景
当你已经知道 variant 当前持有哪种类型，比如刚用 std::holds_alternative<int>(v)</int> 判断过，就该用 std::get<int>(v)</int> 直接取值，而不是再套一层 std::visit。后者强制走运行时分发，多一次虚表跳转（虽然实际是静态分发，但编译器优化有限），还增加代码体积。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
反过来说，如果类型不确定，或需要统一接口处理多种情况（比如解析 JSON 后存为 std::variant<:string int bool std::vector>></:string>），std::visit 是唯一安全方式。用 std::get 强制取某个类型，一旦 variant 实际持有别的类型，抛 std::bad_variant_access 异常——这在 release 模式下可能被忽略，导致静默崩溃。
-
std::get适合已知类型、追求极致性能的窄路径 -
std::visit适合类型动态、需穷举分支、强调安全性的宽路径 - 不要在循环里反复调用
std::holds_alternative+std::get，等价于手写低效版 visit
嵌套 variant 时 visit 的递归写法容易漏什么
比如 std::variant<int std::variant double>></int>，外层 std::visit 的 lambda 接收到内层 variant 时，必须再套一层 std::visit，否则无法访问内层值。常见错误是忘记二次分发，直接对内层 variant 调用 std::get 或试图输出对象本身。
正确做法示例：
std::visit([](const auto& v) {
using T = std::decay_t<decltype(v)>;
if constexpr (std::is_same_v<T, int>) {
std::cout << "int: " << v;
} else if constexpr (std::is_same_v<T, std::variant<std::string, double>>) {
std::visit([](const auto& inner) {
std::cout << "inner: " << inner;
}, v);
}
}, outer_var);
- 必须用
if constexpr分支，普通if会导致编译期未实例化的模板代码报错 - 内层
std::visit的 lambda 参数类型要与内层 variant 的实际类型匹配，不能假设为auto&&就万事大吉——比如内层是std::variant<:monostate int></:monostate>，std::monostate也要显式处理 - 递归深度过大时（>3 层），编译时间显著增长，考虑扁平化数据结构
实际用起来最麻烦的不是语法，而是 variant 类型列表变更后，所有 visitor 都得同步更新分支——漏一个，编译就挂。这点比传统继承多态更严格，但也正是它的价值所在。
