如何检查类型T在参数包Ts...中？
如何检查类型T在参数包Ts...中？
提问于 2019-06-23 08:00:19
如果T是Ts...中的一个，我想写一个函数返回true
template<class T, class... Ts>
bool is_one_of<T, Ts...>();例如，is_one_of<int, double, int, float>返回true，is_one_of<int, double, std::string, bool, bool>返回false。
我自己的实现是
template<class T1, class T2>
bool is_one_of<T1, T2>() {
return std::is_same<T1, T2>;
}
template<class T1, class T2, class... Ts>
bool is_one_of<T1, T2, Ts...>() {
if (std::is_same<T1, T2>) {
return true;
}
else {
return is_one_of<T1, Ts...>();
}
}这种检查对我来说似乎很常见，所以我想知道标准库中是否已经有这样的函数。
回答 3
Stack Overflow用户
回答已采纳
发布于 2019-06-23 08:36:58
在您自己的实现中，一个问题是C++不允许对函数模板进行部分专门化。
您可以使用折叠表达式(在C++17中引入)代替递归函数调用。
template<class T1, class... Ts>
constexpr bool is_one_of() noexcept {
return (std::is_same_v<T1, Ts> || ...);
}如果您使用C++11，而fold expression和std::disjunction不可用，则可以按如下方式实现is_one_of：
template<class...> struct is_one_of: std::false_type {};
template<class T1, class T2> struct is_one_of<T1, T2>: std::is_same<T1, T2> {};
template<class T1, class T2, class... Ts> struct is_one_of<T1, T2, Ts...>: std::conditional<std::is_same<T1, T2>::value, std::is_same<T1, T2>, is_one_of<T1, Ts...>>::type {};Stack Overflow用户
发布于 2019-06-23 09:00:02
您还可以使用std::disjunction来避免不必要的模板实例化：
template <class T0, class... Ts>
constexpr bool is_one_of = std::disjunction_v<std::is_same<T0, Ts>...>;找到匹配类型后，不会实例化其余模板。相反，折叠表达式会实例化所有它们。根据用例的不同，这会在编译时间上产生很大的差异。
Stack Overflow用户
发布于 2019-06-23 08:17:59
检查类型T是否在参数包Ts中：
template<class T0, class... Ts>
constexpr bool is_one_of = (std::is_same<T0, Ts>{}||...);模板变量。
替代方案：
template<class T0, class... Ts>
constexpr std::integral_constant<bool,(std::is_same<T0, Ts>{}||...)> is_one_of = {};这其中有细微的区别。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/56720024
复制相关文章
相似问题