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>，下面这样写会编译失败：
立即学习“C++免费学习笔记（深入）”；
std::visit([](auto& x) { /* ... */ }, v); // ❌ C++17 不允许正确做法是显式列出所有类型：
std::visit([](const auto& x) {
if constexpr (std::is_same_v<std::decay_t<decltype(x)>, int>) {
std::cout << "int: " << x;
} else if constexpr (std::is_same_v<std::decay_t<decltype(x)>, std::string>) {
std::cout << "string: " << x;
} else if constexpr (std::is_same_v<std::decay_t<decltype(x)>, double>) {
std::cout << "double: " << x;
}
}, v);- C++20 起才支持
auto参数的 lambda 直接用于std::visit - 如果不想写一堆
if constexpr，可以用overloaded辅助结构体做重载解析（常见于教程，但本质仍是手动展开） - 注意引用类型：用
const auto&可避免拷贝，也兼容 const 和非 const 持有状态
访问失败时会抛 std::bad_variant_access，不是空指针或未定义行为
std::variant 在初始化后一定持有某个合法值（除非 move 后处于“值less”状态），但如果你用 std::get<T> 强制提取而类型不匹配，就会抛 std::bad_variant_access。而 std::visit 安全得多——它只把当前实际持有的那个值交给你的 lambda，不会越界、不会类型错配。
- 唯一会触发异常的情况是：对一个值less的
variant调用std::visit（比如 default-constructed 后又 move 了） - 此时抛
std::bad_variant_access，不是段错误，可以 catch - 生产环境建议先用
v.index() != variant_npos判断是否值less，尤其在跨线程或 move 后使用时
多个 variant 一起 visit 时，组合爆炸要注意
当传入两个或更多 variant 给 std::visit，它会对它们当前各自持有的类型做笛卡尔积调用——比如 variant<A,B> 和 variant<X,Y,Z> 一起 visit，lambda 必须能接受全部 2×3=6 种参数组合。
这容易漏写分支，导致编译失败。更麻烦的是，某些组合在业务上根本不可能出现，但编译器不管逻辑，只看类型集合。
- 不要依赖运行时条件来“跳过”某些分支；每个组合都必须有对应重载或
if constexpr分支 - 若组合太多，考虑拆成嵌套 visit，或改用
std::holds_alternative+ 手动 dispatch - 调试时可用
v.index()打印当前索引，确认是不是意外进入了值less状态或 index 错乱
最常被忽略的一点：variant 的类型列表顺序影响 index() 值，也影响 std::get<I>(v) 的 I；但 std::visit 本身不关心顺序，只关心你 lambda 能否接受实际类型。别把 index 当类型用，也别在 lambda 里硬写 if (v.index() == 1)——那违背了 visit 的抽象意图。
