std::visit仅对std::variant当前持有的单个活跃值执行一次访问，不能遍历所有可能类型；它适用于安全提取当前值或配合模板元编程枚举所有类型。
std::visit 不能直接“遍历” std::variant
这是最常见的误解：std::visit 不是 for-loop 那种遍历，它只对 std::variant 当前持有的**单个活跃值**执行一次访问。如果你试图用它“循环取出所有可能类型”，会编译失败或行为未定义。
根本原因在于 std::variant 在任意时刻最多只存一个值，它的“多种类型”是静态类型信息（编译期可知），不是运行时容器。
所以实际需求通常分两类：
- 你已知 variant 当前持有什么类型，想安全提取并处理 → 用
std::visit+ lambda 或 visitor 类 - 你想枚举 variant 所有可能的类型（比如做反射、调试打印、序列化）→ 需配合模板元编程，
std::visit本身不提供该能力
用 std::visit 安全访问当前值：lambda 写法最常用
这是绝大多数场景的正确打开方式：写一个能处理所有可能类型的 lambda，std::visit 自动匹配当前活跃类型并调用对应分支。
立即学习“C++免费学习笔记（深入）”；
示例：
std::variant<int, std::string, double> v = "hello";
std::visit([](const auto& x) {
using T = std::decay_t<decltype(x)>;
if constexpr (std::is_same_v<T, int>) {
std::cout << "int: " << x << "\n";
} else if constexpr (std::is_same_v<T, std::string>) {
std::cout << "string: " << x << "\n";
} else if constexpr (std::is_same_v<T, double>) {
std::cout << "double: " << x << "\n";
}
}, v);
关键点：
- 必须用
if constexpr，不能用普通if—— 否则未匹配分支会因类型不兼容而编译失败 - lambda 参数类型是
const auto&，避免拷贝；也可用具体类型重载（见下一条） - 如果 variant 是空状态（
std::monostate），且没在 lambda 中处理，会抛std::bad_variant_access
用重载结构体替代 lambda：适合复杂逻辑或复用
当访问逻辑较重、或需在多处使用同一套访问规则时，定义一个可调用对象比长 lambda 更清晰。
示例：
struct Printer {
void operator()(int i) const { std::cout << "int: " << i << "\n"; }
void operator()(const std::string& s) const { std::cout << "string: " << s << "\n"; }
void operator()(double d) const { std::cout << "double: " << d << "\n"; }
};
// 使用
std::variant<int, std::string, double> v = 42;
std::visit(Printer{}, v);
注意：
- 必须为
std::variant中**每一种类型**都提供operator()重载，缺一不可 - 如果 variant 含
std::monostate，也要加void operator()(std::monostate) - 这种写法天然支持 SFINAE 和模板特化，比 lambda 更易扩展
想“枚举所有可能类型”？得靠模板递归 + index_sequence
如果你真需要生成一份包含所有类型名的列表（比如日志输出 "holds int | string | double"），std::visit 帮不上忙——它只管运行时值，不管类型列表。
可行做法是用 std::variant_size_v 和 std::variant_alternative_t 配合 std::index_sequence 展开：
template<typename Variant, size_t... Is>
auto get_type_names_impl(std::index_sequence<Is...>) {
return std::array<std::string, sizeof...(Is)>{
typeid(std::variant_alternative_t<Is, Variant>).name()...
};
}
template<typename Variant>
auto get_type_names() {
return get_type_names_impl<Variant>(
std::make_index_sequence<std::variant_size_v<Variant>>{}
);
}
这个函数返回的是编译期确定的类型名数组，和 std::visit 完全无关。别把它和访问当前值混为一谈。
容易忽略的一点：C++ 没有标准方式把 typeid(...).name() 变成可读字符串（不同平台结果不同），真正做反射建议用宏或外部工具生成类型映射表。
