std::holds_alternative 是模板函数，必须显式指定与 variant 中完全一致的类型（含 const/volatile/引用），不能直接传裸类型名；使用前需确保 variant 非 valueless_by_exception 状态。
std::holds_alternative 为什么不能直接传类型名
很多人第一次用 std::holds_alternative 时会写成这样：
std::variant<int, std::string> v = "hello";
if (std::holds_alternative<std::string>(v)) { ... }结果编译失败，报错类似 no matching function。根本原因是：它不是宏、不接受裸类型名，而是一个模板函数，需要显式推导或指定模板参数——但它的模板参数是 要检查的替代类型，且必须与 variant 中声明的类型完全一致（包括 const/volatile/引用修饰）。
正确写法与常见类型匹配陷阱
关键点在于：传给 std::holds_alternative 的模板实参，必须和 variant 模板参数列表中某个类型“逐字相同”。比如：
-
std::variant<int const char std::string></int>中想检查字符串字面量，得用std::holds_alternative<const char></const>，而不是char*或std::string -
std::variant<:string std::string_view></:string>里存了"abc"，它实际被构造为std::string（因std::string_view不接受隐式转换），所以检查std::string_view会返回false - 如果
variant定义为std::variant<int std::string></int>（含引用），检查时必须写std::holds_alternative<:string></:string>，漏掉&就不匹配
运行时检查前先确认 variant 是否有值
std::variant 可能处于 valueless_by_exception 状态（例如某替代类型的移动构造抛异常），此时调用 std::holds_alternative<t></t> 是未定义行为。安全做法是先用 v.index() != std::variant_npos 或 v.valueless_by_exception() 判断：
std::variant<int, std::string> v;
try {
v.emplace<std::string>(throwing_constructor()); // 可能失败
} catch (...) {}
if (!v.valueless_by_exception()) {
if (std::holds_alternative<std::string>(v)) {
// 安全访问
}
}
替代方案：用 std::visit 避免手动类型检查
频繁写 if (holds_alternative<a>) {...} else if (holds_alternative<b>) {...}</b></a> 不仅冗长，还容易漏分支、难维护。更推荐用 std::visit + lambda：
std::variant<int, double, std::string> v = 42;
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, double>) {
std::cout << "double: " << x << "\n";
} else if constexpr (std::is_same_v<T, std::string>) {
std::cout << "string: " << x << "\n";
}
}, v);
这种写法在编译期分派，无运行时开销，且自动覆盖所有分支（编译器会提醒你漏了哪种类型）。
立即学习“C++免费学习笔记（深入）”；
真正容易被忽略的是：holds_alternative 的模板参数必须和 variant 声明中的类型完全一致；而 valueless_by_exception 状态下任何 holds_alternative 调用都是 UB —— 这两点在日志埋点或异常恢复路径里最容易出问题。
