Как проверить, уникален ли каждый тип в пакете параметров?

Question

Для фиксированного количества параметров шаблона это легко, хотя число проверенных вручную проверок растет квадратично.

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

Как это можно реализовать для пакета параметров с произвольным количеством типов?

Answer 1

Вы можете сделать это следующим образом:

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