使用 SFINAE 检测相同的类继承

我正在尝试编写一个元函数来检查作为可变参数模板参数传递的所有类型是否不同。似乎执行此操作的最有效方法是从一组类继承并检测是否存在错误。

问题是下面的代码编译失败，而我希望 SFINAE 能够工作。

Edit.问题不是“如何编写该元函数”，而是“如何捕获双重继承错误并输出false_type当它发生时”。据我所知，只有 SFINAE 才有可能实现。

template <typename T>
struct dummy {};

// error: duplicate base type ‘dummy<int>’ invalid
template <typename T, typename U>
struct fail : dummy<T>, dummy<U> {};

template <typename T>
true_type test(fail<T, T> a = fail<T, T>());

false_type test(...);

int main() {
    cout << decltype(test<int>())::value << endl;
}

现场版本在这里 http://ideone.com/22S50k.

Edit.以前我曾尝试在专业化失败的情况下执行此操作，但它也无法在相同的编译错误下工作。

template <typename T>
struct dummy {};

template <typename T, typename U>
struct fail : dummy<T>, dummy<U>, true_type {};

template <typename T, typename U = void>
struct test : false_type {};

template <typename T>
struct test<T, typename enable_if<fail<T, T>::value, void>::type> : true_type {};

现场版本在这里。 http://ideone.com/QN0SVE

您无法使用 SFINAE 捕获重复继承，因为它不是 14.8.2p8 下推导失败的列出原因之一[温度扣除];同样，这是因为错误发生在模板推导的“直接上下文”之外，因为它是实例化你的struct fail.

然而，有一种非常相似的技术适合您的情况，即检测模棱两可的转换从派生类到多个基类。显然，不明确的基类不能直接从单个派生类继承，但以线性链继承它们可以很好地工作：

C<> A<int>
|  /
C<int> A<char>
|     /
C<char, int> A<int>
|           /
C<int, char, int>

现在转换自C<int, char, int> to A<int>将是不明确的，并且作为不明确的转换is14.8.2p8下列出我们可以使用SFINAE来检测它：

#include <type_traits>

template<class> struct A {};
template<class... Ts> struct C;
template<> struct C<> {};
template<class T, class... Ts> struct C<T, Ts...>: A<T>, C<Ts...> {};
template<class... Ts> void f(A<Ts>...);
template<class... Ts> std::false_type g(...);
template<class... Ts> decltype(f((A<Ts>(), C<Ts...>())...), std::true_type()) g(int);
template<class... Ts> using distinct = decltype(g<Ts...>(0));

static_assert(distinct<int, char, float>::value, "!!");
static_assert(!distinct<int, char, int>::value, "!!");