如何检查参数包中的每种类型是否都是唯一的？ [复制]答案

【问题标题】：How to check if every type in a parameter pack is unique? [duplicate]如何检查参数包中的每种类型是否都是唯一的？ [复制]
【发布时间】：2017-01-30 09:11:56
【问题描述】：

对于固定数量的模板参数，这很容易，尽管手动编写检查的数量呈二次增长。

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

如何为具有任意数量类型的参数包实现这一点？

【问题讨论】：

你在欺骗中有 2 个实现
谢谢，我自己找不到。

标签： c++ c++11 templates variadic-templates

【解决方案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;
}

【讨论】：