Parametro modello di corrispondenza per tipo di modello

Question

Come scrivere il modello o il codice constexpr in modo che match sia vero solo se Ts contiene un'istanza di A?

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

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

Answer 1

Scrivi un tratto:

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 {}; 

quindi utilizzarlo:

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

Vedi cppreference per l'implementazione di std::disjunction in C++ 11.