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 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 struct overload : Ts... { using Ts::operator()...; };
template overload(Ts...) -> overload;
std::variant 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>，它就可能处于“空”状态（比如默认构造后未赋值）。此时不显式处理 std::monostate，std::visit 会编译失败。

容易忽略的细节：

• std::monostate 不是“默认值”，而是合法的可存储类型，必须出现在 visit 分支中
• 不能用 auto&& 兜底来替代显式处理 std::monostate，因为 std::monostate{} 是具体类型，auto&& 会推导为它，但语义上你很可能想区分“空”和“其他未列类型”
• 若 variant 来自外部（如解析 JSON），且你不确定是否含 std::monostate，务必检查其 index() 或用 std::holds_alternative<:monostate>(v) 预判

性能与可读性的权衡：避免在 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(); };
auto result = std::visit(overload{handle_int, handle_double, handle_string}, v);

这样既利于单元测试，也避免在访问器内部混入无关逻辑。