std::visit 必须覆盖 std::variant 的所有可能类型，否则编译失败；推荐用 overload 结构实现类型安全的“伪模式匹配”，并显式处理 std::monostate；访问器应轻量，复杂逻辑需提取为命名函数。
std::visit 的核心限制：必须覆盖所有类型
直接调用 std::visit 时，如果 std::variant 包含未在访问器中处理的类型，编译失败——不是运行时报错，而是模板实例化失败，错误信息通常很长，关键词是 no matching function for call to 'visit' 或 static_assert failed。这不是设计缺陷，而是类型安全的强制要求。
常见误操作是写一个只处理部分类型的 lambda：
std::variant<int, double, std::string> v = "hello";
std::visit([](auto&& x) { /* 只想处理 int 和 double */ }, v); // ❌ 编译失败：没覆盖 std::string解决方法只有两种：显式枚举所有分支，或用 lambda + 模板参数推导 + static_assert 配合兜底逻辑（见下一点）。
用 std::visit + overload 实现“伪模式匹配”
C++ 没有原生模式匹配语法，但可以用 overload 辅助结构把多个 lambda 合并成一个可被 std::visit 接受的访问器。这是目前最接近函数式语言 match 的写法。
立即学习“C++免费学习笔记（深入）”；
关键点：
-
overload本质是继承多个 lambda，靠using Base::operator()实现重载解析 - 每个 lambda 参数类型必须与
variant中某一项**精确匹配**（包括 cv 限定和引用性） - 最后一个 lambda 常用
auto&&作兜底，但需配合static_assert确保它只用于未明确列出的类型（否则可能意外捕获）
示例：
template<class... Ts> struct overload : Ts... { using Ts::operator()...; };
template<class... Ts> overload(Ts...) -> overload<Ts...>;
<p>std::variant<int, double, std::string> v = 42;
std::visit(overload{
[](int i) { std::cout << "int: " << i << '\n'; },
[](double d) { std::cout << "double: " << d << '\n'; },
[](const std::string& s) { std::cout << "string: " << s << '\n'; }
}, v);处理 std::monostate 或空状态时的陷阱
如果 std::variant 声明为 std::variant<:monostate int std::string></:monostate>，它就可能处于“空”状态（比如默认构造后未赋值）。此时不显式处理 std::monostate，std::visit 会编译失败。
容易忽略的细节：
-
std::monostate不是“默认值”，而是合法的可存储类型，必须出现在 visit 分支中 - 不能用
auto&&兜底来替代显式处理std::monostate，因为std::monostate{}是具体类型，auto&&会推导为它，但语义上你很可能想区分“空”和“其他未列类型” - 若 variant 来自外部（如解析 JSON），且你不确定是否含
std::monostate，务必检查其index()或用std::holds_alternative<:monostate>(v)</:monostate>预判
性能与可读性的权衡：避免在 visit 里做重操作
std::visit 本身开销极小（本质是跳转表或 if-else 链），但人们常在 lambda 里隐式触发昂贵操作：
- 传值捕获大对象（如
[big_obj](auto&& x) { ... }）导致不必要的拷贝 - 在每个分支里重复计算相同中间结果（比如多次调用
getenv("DEBUG")） - 分支逻辑过长，掩盖了“根据类型分发”这一核心意图
更清晰的做法是：把分支逻辑提取为命名函数，让 std::visit 只负责调度：
auto handle_int = [](int x) { return x * 2; };
auto handle_double = [](double x) { return std::round(x); };
auto handle_string = [](const std::string& x) { return x.size(); };
<p>auto result = std::visit(overload{handle_int, handle_double, handle_string}, v);这样既利于单元测试，也避免在访问器内部混入无关逻辑。
