将模板参数与模板类型匹配

Question

如何编写模板或constexpr代码，以使match只有在Ts包含A的实例时才为true？

template <std::uint32_t, int, int> 
struct A; 

template <typename... Ts> 
struct X 
{ 
    constexpr bool match = ???; 
}; 

Answer 1

写特质：

template<class> 
struct is_A : std::false_type {}; 

template<std::uint32_t X, int Y, int Z> 
struct is_A<A<X,Y,Z>> : std::true_type {}; 

然后使用它：

template <typename... Ts> 
struct X 
{ 
    constexpr bool match = std::disjunction_v<is_A<Ts>...>; 
}; 

为std::disjunction在C++ 11的实现见cppreference。