如何检查参数包中的每种类型是否都是唯一的？

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