std::visit 是 C++17 为 std::variant 提供的安全访问器，编译期确保覆盖所有类型，避免 std::get 崩溃或 index 判断错误；常用带 auto 参数的 lambda 简洁实现访问逻辑。
std::visit 是 C++17 引入的、专为 std::variant 设计的“安全访问器”——它能帮你**在编译期确保覆盖所有可能类型**，避免手动 std::get<T> 崩溃或 index() 判断出错。
用 lambda 写最简访问逻辑
多数场景下，直接传一个带 auto 参数的 lambda 最清晰：
std::variant<int, std::string, double> v = "hello";
std::visit([](const auto& x) {
std::cout << x << " (type: " << typeid(x).name() << ")\n";
}, v);
// 输出：hello (type: NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE)
注意：
- lambda 参数用 const auto& 可匹配任意持有类型（避免拷贝，支持 const 语义）；
- 编译器会为每个可能类型实例化一次 lambda，所以内部不能依赖外部未捕获的非常量变量（除非显式 [=] 或 [&] 捕获）。
处理不同类型需要不同逻辑？用重载对象
当各类型处理方式差异大（比如 int 要加1、string 要转大写、double 要四舍五入），推荐用 std::visit + std::overload（C++17 无内置，需手写或用第三方）：
// 手写 overload 辅助（一次定义，到处用）
template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
<p>std::variant<int, std::string, double> v = 42;
std::visit(overloaded{
[](int x) { std::cout << "int: " << x + 1 << "\n"; },
[](std::string s) { std::cout << "str: " << s + "!" << "\n"; },
[](double d) { std::cout << "double: " << std::round(d) << "\n"; }
}, v);
这样写比 if-else + index() 更安全：漏写一种类型，编译直接报错。
立即学习“C++免费学习笔记（深入）”；
访问时修改原 variant？用非常量引用
默认 lambda 参数是 const 引用，无法修改。若想就地更新（比如把 string 全转小写），需传非常量引用：
std::variant<int, std::string> v = "HELLO";
std::visit([](auto& x) {
if constexpr (std::is_same_v<std::decay_t<decltype(x)>, std::string>) {
std::transform(x.begin(), x.end(), x.begin(), ::tolower);
}
}, v);
// v 现在是 "hello"
关键点：
- 参数用 auto&（非 const）；
- 用 if constexpr 在编译期过滤类型，避免对 int 调用 std::transform 报错。
常见坑和提醒
-
std::visit要求所有分支都返回相同类型（或可隐式转换），否则编译失败；混合返回void和int会报错 - 不要对空 variant（valueless_by_exception）调用 visit——会抛
std::bad_variant_access，建议先用v.valueless_by_exception()检查 - 如果只关心某一种类型，且确定存在，仍可用
std::get<T>(v)，但std::visit是更泛化、更安全的默认选择
