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:
Python v2.4版chm格式的中文手册,内容丰富全面,不但是一本手册,你完全可以把她作为一本Python的入门教程,教你如何使用Python解释器、流程控制、数据结构、模板、输入和输出、错误和异常、类和标准库详解等方面的知识技巧。同时后附的手册可以方便你的查询。
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 —— 这两点在日志埋点或异常恢复路径里最容易出问题。










