std::visit 的第一个参数必须是可调用对象，第二个才是 variant；c++17 不支持 auto 参数的 lambda，需显式处理每种类型或使用 if constexpr；值less variant 会抛 std::bad_variant_access。
std::visit 不能直接访问 variant 里的对象，必须通过可调用对象
很多人第一次用 std::visit 时会写类似 std::visit(v, my_variant) 这种错法——std::visit 的第一个参数必须是可调用对象（lambda、函数对象、函数指针），不是要访问的 variant。它本质是“把 variant 里当前持有的那个值，传给你的回调去处理”，而不是“从 variant 里取出值再由你手动解包”。
常见错误现象：error: no matching function for call to 'visit'，往往是因为传了 variant 当第一个参数，或者 lambda 没覆盖所有可能类型。
- 必须把 lambda 或 functor 放在第一位，
variant放第二位（或之后，支持多个variant） - lambda 的参数个数要和参与 visit 的
variant个数一致（单个就一个参数） - 编译器会在编译期检查 lambda 是否能接受所有可能的类型组合；缺一个就会报错
lambda 参数类型必须是具体类型，不能用 auto（C++17 不支持）
C++17 的 std::visit 不支持泛型 lambda（即带 auto 参数）作为访客，因为需要静态确定每个分支的类型匹配。你得为 variant 中每种类型单独写分支逻辑，或用模板类+重载解决。
例如，对 std::variant<int std::string double></int>，下面这样写会编译失败：
std::visit([](auto& x) { /* ... */ }, v); // ❌ C++17 不允许
正确做法是显式列出所有类型：
std::visit([](const auto& x) {
if constexpr (std::is_same_v<:decay_t>, int>) {
std::cout , std::string>) {
std::cout , double>) {
std::cout <ul>
<li>C++20 起才支持 <code>auto</code> 参数的 lambda 直接用于 <code>std::visit</code>
</li>
<li>如果不想写一堆 <code>if constexpr</code>，可以用 <code>overloaded</code> 辅助结构体做重载解析（常见于教程，但本质仍是手动展开）</li>
<li>注意引用类型：用 <code>const auto&</code> 可避免拷贝，也兼容 const 和非 const 持有状态</li>
</ul>
<h3>访问失败时会抛 std::bad_variant_access，不是空指针或未定义行为</h3>
<p><code>std::variant</code> 在初始化后一定持有某个合法值（除非 move 后处于“值less”状态），但如果你用 <code>std::get<t></t></code> 强制提取而类型不匹配，就会抛 <code>std::bad_variant_access</code>。而 <code>std::visit</code> 安全得多——它只把当前实际持有的那个值交给你的 lambda，不会越界、不会类型错配。</p>
<ul>
<li>唯一会触发异常的情况是：对一个值less的 <code>variant</code> 调用 <code>std::visit</code>（比如 default-constructed 后又 move 了）</li>
<li>此时抛 <code>std::bad_variant_access</code>，不是段错误，可以 catch</li>
<li>生产环境建议先用 <code>v.index() != variant_npos</code> 判断是否值less，尤其在跨线程或 move 后使用时</li>
</ul>
<h3>多个 variant 一起 visit 时，组合爆炸要注意</h3>
<p>当传入两个或更多 <code>variant</code> 给 <code>std::visit</code>，它会对它们当前各自持有的类型做笛卡尔积调用——比如 <code>variant<a></a></code> 和 <code>variant<x></x></code> 一起 visit，lambda 必须能接受全部 2×3=6 种参数组合。</p>
<p>这容易漏写分支，导致编译失败。更麻烦的是，某些组合在业务上根本不可能出现，但编译器不管逻辑，只看类型集合。</p>
<ul>
<li>不要依赖运行时条件来“跳过”某些分支；每个组合都必须有对应重载或 <code>if constexpr</code> 分支</li>
<li>若组合太多，考虑拆成嵌套 visit，或改用 <code>std::holds_alternative</code> + 手动 dispatch</li>
<li>调试时可用 <code>v.index()</code> 打印当前索引，确认是不是意外进入了值less状态或 index 错乱</li>
</ul>
<p>最常被忽略的一点：variant 的类型列表顺序影响 <code>index()</code> 值，也影响 <code>std::get<i>(v)</i></code> 的 I；但 <code>std::visit</code> 本身不关心顺序，只关心你 lambda 能否接受实际类型。别把 index 当类型用，也别在 lambda 里硬写 <code>if (v.index() == 1)</code>——那违背了 visit 的抽象意图。</p></:decay_t>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
