最简洁方式是用 std::visit 配合 [ ](auto&& arg) {} 泛型 Lambda，因其自动推导所有类型、保留值类别和 cv 限定，避免手动重载函数对象的繁琐与易错。
直接用 std::visit 配合 Lambda 就能完成类型匹配与分发，不需要手写 visitor 类，C++17 起这是最简洁、最常用的方式。
为什么用 Lambda 写 std::visit 访问器而不是重载函数对象
因为 Lambda 支持「自动推导参数类型」，配合 auto&& 可以一次捕获所有可能的 std::variant 成员类型；而普通函数对象需显式重载每个 operator()，易漏、难维护。
-
std::visit要求访问器是可调用对象，且对每种variant的备选类型都必须有对应重载或模板接受能力 - Lambda 用
[](auto&& arg) { ... }是最简模板形式，编译器会为每个被访问类型实例化一次 - 若用具名函数对象，得手动写
operator()(int&)、operator()(std::string&)等，类型一多就容易不一致
如何正确写出支持所有类型的泛型 Lambda
关键在参数声明：必须用 auto&&（而非 auto 或 const auto&），否则无法绑定右值或 cv-qualified 类型。
-
auto&&是万能引用，能保留原始值类别（lvalue/rvalue）和 const/volatile 限定 - 如果
variant含std::string&&或const int，仅用auto会丢失 const 或引发绑定错误 - 访问器内部若需修改值，得确保
variant本身是非 const 的，且 Lambda 参数非 const 引用
std::variant<int, std::string, double> v = "hello";
std::visit([](auto&& arg) {
using T = std::decay_t<decltype(arg)>;
if constexpr (std::is_same_v<T, int>) {
std::cout << "int: " << arg << "\n";
} else if constexpr (std::is_same_v<T, std::string>) {
std::cout << "string: " << arg << "\n";
} else if constexpr (std::is_same_v<T, double>) {
std::cout << "double: " << arg << "\n";
}
}, v);
常见崩溃/编译失败原因
绝大多数问题出在访问器不满足「对所有备选类型都可调用」这一硬性要求。
立即学习“C++免费学习笔记（深入）”；
- Lambda 只写了
[](int&){}，但variant还含std::string→ 编译失败：no matching function for call to 'visit' - 用了
[](const auto& arg)，但variant中有std::unique_ptr<T>&&→ 绑定失败，因右值不能绑定到 const lvalue 引用 - 访问器抛异常，而
variant当前处于 valueless_by_exception 状态 →std::visit抛std::bad_variant_access - 多个
std::visit嵌套时，外层 Lambda 捕获了内层variant的引用，但其生命周期已结束 → 行为未定义
需要区分 const 和非常量场景时怎么写
不能只靠一个 Lambda；得用两个独立的 std::visit 调用，或用 std::as_const 显式控制。
- 想对 const
variant做只读访问：传std::as_const(v)，再用[](const auto& arg) - 想对非常量
variant修改某个成员（如std::string的内容）：用[](auto& arg)，并确保arg类型支持修改操作 - 混合场景（部分只读、部分可写）不推荐——应拆成两步逻辑，避免歧义和生命周期风险
std::variant<std::string, int> v = std::string("old");
// 修改 string 内容
std::visit([](auto& arg) {
if constexpr (std::is_same_v<std::decay_t<decltype(arg)>, std::string>) {
arg += " (modified)";
}
}, v);
// 后续只读访问
std::visit([](const auto& arg) {
std::cout << arg << "\n";
}, std::as_const(v));
真正麻烦的不是语法，而是当 variant 类型变多、嵌套变深、或和 std::optional/std::any 混用时，Lambda 的类型分支逻辑容易失控。这时候与其硬塞一堆 if constexpr，不如提前把处理逻辑抽成命名函数，再让 Lambda 做薄分发。
