std::variant访问前必须检查类型，推荐用std::holds_alternative<T>(v)或std::visit；直接std::get<T>(v)易因类型不匹配抛bad_variant_access；std::visit能强制覆盖所有分支并编译期报错漏处理。
std::variant访问时程序崩溃，多半是没检查index()
直接用std::get<T>(v)取值，但v当前不存T类型，就会抛std::bad_variant_access——这不是“异常没捕获”的问题，而是逻辑错误：你默认了variant里一定有那个类型。
安全的第一步永远是确认当前持有什么：v.index()返回0-based索引，std::variant_alternative_t<I, V>能查第I个类型。比如std::variant<int, std::string, double>中，v.index() == 1意味着当前是std::string。
- 别靠文档记顺序，用
std::holds_alternative<int>(v)比v.index() == 0更直观、可读性更强 -
std::holds_alternative<T>(v)在编译期就知道T是否属于variant类型列表，不匹配会编译失败，很早就能发现问题 - 如果类型多且逻辑分支复杂，优先用
std::visit，而不是一串if (holds_alternative<...>)
std::visit不是语法糖，它是唯一能覆盖所有分支的访问方式
很多人把std::visit当成“高级get”，其实它核心价值是强制你处理variant所有可能类型——编译器会在漏掉某个备选类型时报错（C++17起）。这和std::get或std::holds_alternative有本质区别：后者只面向单个类型，而std::visit面向整个类型集合。
写lambda时注意捕获方式：如果要修改variant外的变量，用[&]；如果只是读，[=]或不捕获都行。但别写空捕获[&]() { ... }还试图用未声明的变量。
立即学习“C++免费学习笔记（深入）”；
- lambda参数类型必须精确匹配variant中的每个类型，不能靠隐式转换——例如
std::variant<int, const char*>传[](auto&& x) { ... }可以，但写[](int x)就漏了const char*分支 - 如果某些类型处理逻辑相同，可以用重载lambda：
auto visitor = [](int) { ... } + [](double) { ... } + [](const std::string&) { ... };（需自定义overloaded结构体） - 避免在visitor里调用可能抛异常的函数，除非你明确处理了异常传播路径——
std::visit本身不吞异常
std::get<T>和std::get<I>的区别不只是写法不同
std::get<T>(v)按类型取，std::get<I>(v)按序号取，两者行为完全不同。前者要求T在variant类型列表中**唯一出现**；后者只要I在[0, variant_size_v<V>)范围内就行，哪怕多个位置是同一类型（虽然variant定义不允许重复类型，但编译器不保证你没写错）。
常见误用：对std::variant<int, int>（非法！但某些编译器不报错）用std::get<int>，结果行为未定义——因为类型不唯一，无法确定你要哪个。
- 用
std::get<I>前先断言：assert(v.index() == I);，否则运行时崩得毫无提示 -
std::get<T>适合类型明确且全局唯一的场景，比如配置项解析后确定是std::string才取 - 调试时打印
v.index()比猜类型靠谱得多，尤其当variant嵌套或来自外部输入时
从variant取值后，移动语义容易被忽略
如果你用std::get<std::string>(v)拿到一个std::string，默认是拷贝构造。但如果原variant里存的就是临时字符串，或者你之后不再需要它，应该显式用std::move： std::string s = std::move(std::get<std::string>(v));。否则可能触发一次不必要的堆内存分配。
更隐蔽的问题是：std::visit里的lambda参数默认是左值引用，即使variant里存的是右值，你也得手动std::move(x)才能转移资源。
- 对大对象（
std::vector、std::string等），不std::move可能让性能差几倍 -
std::get返回的是左值引用，所以std::move(std::get<T>(v))才是有效的转移操作 - 如果variant生命周期短于取出的值，确保移动后不再访问原variant——移动后其状态为“已销毁”，再次
index()或get是未定义行为
v.index()和std::holds_alternative不是可选项——它们是访问前必须走的路。 
