std::visit要求visitor覆盖variant所有类型，否则编译失败；推荐泛型lambda或std::overload；参数需用int&等引用类型才能修改值；std::get_if比std::get更安全；valueless_by_exception状态需异常处理兜底。
std::visit 配合 lambda 不是“写个泛型就能跑”，必须覆盖所有可能类型，否则编译直接失败。
std::visit 编译报 no matching function：visitor 覆盖不全
这是最常卡住人的地方：给 std::variant<int std::string double></int> 写 std::visit([](int) {}, [](const std::string&) {}), v)，漏了 double 分支，编译器立刻拒绝，不给你运行机会。
原因不是“没处理完”，而是编译期就要求 visitor 必须对 variant 的每个备选类型都提供可调用路径。
- 想统一逻辑 → 用泛型 lambda：
[](auto&& x) { /* 所有类型走同一段 */ }，auto&&会为int、std::string、double各自实例化一次 - 想差异化处理 → 用
std::overload组合：std::visit(std::overload{ [](int) {}, [](const std::string&) {}, [](double) {} }, v)，少一个都编译不过 - 手写 functor？得显式定义全部
operator()()重载，漏一个就崩，维护成本高，不推荐
lambda 参数类型和 const 修饰影响绑定与修改能力
参数写成 const auto& 看似安全，但遇到 std::variant<:string std::unique_ptr>></:string> 时，若当前是 std::unique_ptr<int>&&</int>（右值），const auto& 无法绑定——因为右值不能绑定到 const lvalue 引用。
立即学习“C++免费学习笔记（深入）”；
更关键的是：想在 std::visit 里改 variant 里的值，光参数非 const 还不够，variant 本身也得传非 const 引用。
- 错误写法：
std::visit([](int x) { x = 42; }, v)——x是副本，改了白改 - 正确写法（只改值）：
std::visit([](int& i) { i = 42; }, v)，且v不能是const std::variant<...>&</...> - 想换类型（比如 int → std::string）？直接
v = std::string{"new"}更直白，别硬塞进std::visit
std::get_if 比 std::get 更适合带 fallback 的安全提取
std::get<t>(v)</t> 在 v 当前不持有 T 时抛 std::bad_variant_access；而 std::get_if<t>(&v)</t> 返回 T*，空指针即表示类型不匹配，不抛异常，更适合需要默认分支的场景。
- 要检查再取值 → 先
std::holds_alternative<t>(v)</t>，再std::get<t>(v)</t> - 要简洁 fallback → 用
if (auto p = std::get_if<int>(&v)) { use(*p); } else { use_default(); }</int> - 按索引取？
std::get<i>(v)</i>中i超出std::variant_size_v<decltype></decltype>范围，编译失败，别硬编码索引
真正容易被忽略的是：当 variant 处于 valueless_by_exception 状态（比如构造或赋值中途抛异常），std::visit 会直接抛 std::bad_variant_access —— 这种状态无法通过 std::holds_alternative 检测，必须靠外围异常处理兜底。
