Почему SFINAE (enable_if) не работает для функций-членов шаблона класса?

Question

#include <type_traits>

struct A{};
struct B{};

template <typename T>
struct Foo
{
    typename std::enable_if<std::is_same<T, A>::value>::type
    bar()
    {}

    typename std::enable_if<std::is_same<T, B>::value>::type
    bar()
    {}
};

Сообщение об ошибке:

14:5: error: 'typename std::enable_if<std::is_same<T, B>::value>::type Foo<T>::bar()' cannot be overloaded 10:5: 
error: with 'typename std::enable_if<std::is_same<T, A>::value>::type Foo<T>::bar()'

Источник на cpp.sh. Я думал, что оба typename std::enable_if<std::is_same<T,?>::value>::type не может быть действительным в то же время.

редактировать

Для потомков мое редактирование основано на ответе @KerrekSB - SFINAE работает только для выводимых аргументов шаблона.

#include <type_traits>

struct A{};
struct B{};

template<typename T>
struct Foo
{
    template<typename U = T>
    typename std::enable_if<std::is_same<U,A>::value>::type
    bar()
    {
    }

    template<typename U = T>
    typename std::enable_if<std::is_same<U,B>::value>::type
    bar()
    {
    }
};

int main()
{
};

Answer 1

SFINAE работает только для выведенных аргументов шаблона, то есть для шаблонов функций. В вашем случае оба шаблона создаются безоговорочно, и создание экземпляров завершается неудачно.

Работает следующий вариант:

struct Foo
{
    template <typename T>
    typename std::enable_if<std::is_same<T, A>::value>::type bar(T) {}

    // ... (further similar overloads) ...
};

Сейчас Foo()(x) вызывает создание не более одной из перегрузок, поскольку во всех остальных случаях подстановка аргументов не выполняется.

Если вы хотите придерживаться своей исходной структуры, используйте явную специализацию шаблона класса:

template <typename> struct Foo;

template <> struct Foo<A> { void bar() {} };
template <> struct Foo<B> { void bar() {} };