std::visit 更轻量是因为它无需虚函数接口和 accept() 方法，依赖类型擦除与编译期重载决议，无虚表开销；仅适用于 variant 的已知类型列表，要求可调用对象覆盖所有类型，否则编译失败。
std::visit 为什么比手写 Visitor 更轻量
因为 std::visit 不要求你提前定义一整套虚函数接口，也不需要为每个类型单独实现 accept() 方法。它靠类型擦除 + 函数对象重载决议完成分发，编译期就能确定调用路径，没有虚函数表开销。
常见错误是把 std::visit 当成运行时多态工具来用——它只对 std::variant 内部的**已知类型列表**起作用，不能处理派生类对象或未知类型。
- 必须传入一个可调用对象（lambda、函数对象、带
operator()的结构体） - 该可调用对象需能重载匹配
std::variant中所有类型的operator() - 如果漏掉某个类型的重载，编译失败，不是运行时报错
如何让 lambda 支持多类型重载（C++17 起）
直接写多个 operator() 是不行的，lambda 默认只有一个调用操作符。得用逗号表达式 + auto 参数 + if constexpr，或者更稳妥地用 overloaded 辅助结构。
典型场景：你有一个 std::variant<int std::string double></int>，想分别打印不同类型值，但又不想写三个独立函数。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
auto visitor = overloaded{
[](int i) { std::cout << "int: " << i; },
[](const std::string& s) { std::cout << "string: " << s; },
[](double d) { std::cout << "double: " << d; }
};
std::visit(visitor, my_variant);
- 省略
const&可能导致临时对象绑定失败（尤其std::string） - 不加
overloaded辅助而强行用泛型 lambda，会因类型推导失败或重载冲突报错 - C++20 可用
std::visit([](auto&& x) { ... }, v)，但此时所有分支逻辑必须能被同一模板参数统一处理
std::visit 报错 “no matching function for call” 怎么快速定位
这几乎总是重载不全或 cv 限定不匹配造成的。编译器不会告诉你缺哪个类型，只会说“找不到可行重载”。
使用场景：你刚加了一个新类型到 std::variant，但忘了更新 std::visit 的访问器。
- 检查
std::variant模板参数列表，逐个对照 visitor 中是否都有对应重载 - 注意
std::monostate：如果 variant 允许空状态，必须显式提供operator()(std::monostate) - 留意 const/volatile 修饰：
std::visit传入的是const T&（若 variant 是 const），重载签名必须匹配 - 用
static_assert配合std::holds_alternative在调用前做类型自查，能提前暴露问题
性能和兼容性要注意的边界点
std::visit 本身零开销：它展开为一系列 if constexpr 或跳转表，无虚调用、无堆分配。但实际性能取决于你传进去的访问器逻辑。
容易被忽略的是异常安全与移动语义：
- 如果 variant 中某个类型移动构造可能抛异常，而你的访问器在移动后又用了原值，行为未定义
- MSVC 19.28 之前对嵌套 variant 的
std::visit支持不完整；Clang 10+、GCC 7+ 基本没问题 - 不要在访问器里修改正在被 visit 的 variant（比如在
operator()(int&)里调用v.emplace<std::string>("x")），会导致未定义行为
最复杂的点其实是类型设计本身：variant 适合封闭类型集合，一旦业务要求“可插拔新类型”，就得切回传统 Visitor 或用其他机制。别硬撑。
