Обнаружение наследования того же класса с помощью SFINAE

Вы не можете поймать двойное наследование с помощью SFINAE, потому что это не одна из перечисленных причин, по которым дедукция не работает в соответствии с 14.8.2p8 [temp.deduct]; в равной степени это происходит из-за того, что ошибка возникает вне "непосредственного контекста" вывода шаблона, так как это ошибка создания экземпляра вашего struct fail.

Однако существует очень похожий метод, который подходит для использования в вашем случае, который заключается в обнаружении неоднозначного преобразования из производного класса в несколько базовых классов. Ясно, что неоднозначные базовые классы не могут быть унаследованы напрямую от одного производного класса, но наследование их в линейной цепочке прекрасно работает:

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

Теперь преобразование из C<int, char, int> в A<int> будет неоднозначным, а поскольку неоднозначное преобразование отмечено в списке 14.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, "!!");

ОШИБКА

prog.cpp: In instantiation of ‘struct fail<int, int>’: prog.cpp:23:29: required from here prog.cpp:9:8: error: duplicate base type ‘dummy<int>’ invalid struct fail : dummy<T>, dummy<U> {};

Как указано в приведенной выше диагностике, вы не можете явно наследовать от одной и той же базы более одного раза в списке спецификаторов базы, а поскольку T и U могут принадлежать одному и тому же тип.. БУМ.

ПОДОЖДИТЕ, ПОДДЕРЖИТЕ; ЧТО О SFINAE?

SFINAE проверяется только в непосредственном контексте самого шаблона, ошибки, возникающие вне объявления, не подходят для запуска SFINAE.

14.8.2p8 Вывод аргумента шаблона [temp.deduct]

Если подстановка приводит к недопустимому типу или выражению, вывод типа завершается ошибкой. Недопустимый тип или выражение — это тип, который будет иметь неправильный формат и потребует диагностики, если будет записан с использованием подставленных аргументов.

Только недопустимые типы и выражения в непосредственном контексте типа функции и ее типов параметров шаблона могут привести к ошибке вывода.

Плохо сформированное наследование не происходит в непосредственном контексте, и приложение неправильно сформировано.

Чтобы ответить на ваш вопрос явно: поскольку наследование никогда не происходит в объявлении определенной функции, само неправильно сформированное наследование не может быть обнаружено с помощью SFINAE.

Конечно, вы можете попросить компилятор сгенерировать класс, который использует наследование, создав его экземпляр в объявлении функции, но фактическое (неправильное) наследование не находится в непосредственном контексте< /эм>.