パラメータパックのすべての型が一意であるかどうかをチェックする方法？

Question

テンプレートパラメータの数が固定されている場合、手作業で書き込まれるチェックの数は2次的に増加しますが、簡単です。

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