Bir parametre paketindeki her türün benzersiz olup olmadığı nasıl kontrol edilir?

Question

Sabit sayıda şablon parametresi için, elle yazılan kontrollerin sayısı dört kat artmasına rağmen, kolaydır.

#include <type_traits> 

template < 
    typename T1, 
    typename T2, 
    typename T3, 
    typename T4> 
struct unique_types 
{ 
    static_assert(!std::is_same<T1, T2>::value, "Types must be unique"); 
    static_assert(!std::is_same<T1, T3>::value, "Types must be unique"); 
    static_assert(!std::is_same<T1, T4>::value, "Types must be unique"); 
    static_assert(!std::is_same<T2, T3>::value, "Types must be unique"); 
    static_assert(!std::is_same<T2, T4>::value, "Types must be unique"); 
    static_assert(!std::is_same<T3, T4>::value, "Types must be unique"); 
}; 

int main() 
{ 
    // OK. 
    unique_types<int, double, char, float> foo; 

    // Should not compile. 
    unique_types<int, double, char, double> bar; 
} 

Bu, keyfi türdeki bir parametre paketi için nasıl uygulanabilir?

Answer 1

Böyle yapabileceğini:

#include <type_traits> 

template <class ... Trest> 
struct unique_types; 

template <class T1, class T2, class ... Trest> 
struct unique_types<T1, T2, Trest ...> 
: unique_types<T1, T2>, unique_types<T1, Trest ...>, unique_types<T2, Trest ...> {}; 

template <class T1, class T2> 
struct unique_types<T1, T2> 
{ 
    static_assert(!std::is_same<T1, T2>::value, "Types must be unique"); 
}; 

int main() 
{ 
    // OK. 
    unique_types<int, double, char, float> foo; 

    // Should not compile. 
    unique_types<int, double, char, double> bar; 
}