检查类型是否在可变参数模板参数包中传递
Check if a type is passed in variadic template parameter pack
我在某处听说,使用新的 C++1z 语法,检查是否在可变参数模板参数包中传递了一个类型真的很容易 - 显然你可以用接近一行的代码来做到这一点长。这是真的?这些相关的特征是什么? (我尝试查看折叠表达式,但看不到如何在该问题中使用它们...)
下面是我在C++11中解决问题的方法,供参考:
#include <type_traits>
template<typename T, typename ...Ts>
struct contains;
template<typename T>
struct contains<T> {
static constexpr bool value = false;
};
template<typename T1, typename T2, typename ...Ts>
struct contains<T1, T2, Ts...> {
static constexpr bool value = std::is_same<T1, T2>::value ? true : contains<T1, Ts...>::value;
};
您正在寻找 std::disjunction
. It's specified in N4564 [meta.logical].
#include <type_traits>
template<typename T, typename... Ts>
constexpr bool contains()
{ return std::disjunction_v<std::is_same<T, Ts>...>; }
static_assert( contains<int, bool, char, int, long>());
static_assert( contains<bool, bool, char, int, long>());
static_assert( contains<long, bool, char, int, long>());
static_assert(not contains<unsigned, bool, char, int, long>());
或者,适应一个struct
template<typename T, typename... Ts>
struct contains : std::disjunction<std::is_same<T, Ts>...>
{};
或者,使用折叠表达式
template<typename T, typename... Ts>
struct contains : std::bool_constant<(std::is_same<T, Ts>{} || ...)>
{};
如果您绑定到 C++11,则不能使用 std::disjunction
或折叠表达式。但是,推出自己的 any_is_same
:
相当简单
template<typename same, typename first,typename...more>
struct any_is_same {
static const bool value = std::is_same<same,first>::value ||
any_is_same<first,more...>::value;
};
template<typename same,typename first>
struct any_is_same<same,first> : std::is_same<same,first> {};
int main(){
std::cout << any_is_same<int, int,double,float>::value << "\n";
std::cout << any_is_same<std::string, int,double,float>::value << "\n";
}
我在某处听说,使用新的 C++1z 语法,检查是否在可变参数模板参数包中传递了一个类型真的很容易 - 显然你可以用接近一行的代码来做到这一点长。这是真的?这些相关的特征是什么? (我尝试查看折叠表达式,但看不到如何在该问题中使用它们...)
下面是我在C++11中解决问题的方法,供参考:
#include <type_traits>
template<typename T, typename ...Ts>
struct contains;
template<typename T>
struct contains<T> {
static constexpr bool value = false;
};
template<typename T1, typename T2, typename ...Ts>
struct contains<T1, T2, Ts...> {
static constexpr bool value = std::is_same<T1, T2>::value ? true : contains<T1, Ts...>::value;
};
您正在寻找 std::disjunction
. It's specified in N4564 [meta.logical].
#include <type_traits>
template<typename T, typename... Ts>
constexpr bool contains()
{ return std::disjunction_v<std::is_same<T, Ts>...>; }
static_assert( contains<int, bool, char, int, long>());
static_assert( contains<bool, bool, char, int, long>());
static_assert( contains<long, bool, char, int, long>());
static_assert(not contains<unsigned, bool, char, int, long>());
或者,适应一个struct
template<typename T, typename... Ts>
struct contains : std::disjunction<std::is_same<T, Ts>...>
{};
或者,使用折叠表达式
template<typename T, typename... Ts>
struct contains : std::bool_constant<(std::is_same<T, Ts>{} || ...)>
{};
如果您绑定到 C++11,则不能使用 std::disjunction
或折叠表达式。但是,推出自己的 any_is_same
:
template<typename same, typename first,typename...more>
struct any_is_same {
static const bool value = std::is_same<same,first>::value ||
any_is_same<first,more...>::value;
};
template<typename same,typename first>
struct any_is_same<same,first> : std::is_same<same,first> {};
int main(){
std::cout << any_is_same<int, int,double,float>::value << "\n";
std::cout << any_is_same<std::string, int,double,float>::value << "\n";
}