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

#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 не могут быть действительными одновременно.

Edit

Для потомков здесь мое редактирование на основе ответа @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()
{
};

Ответы

Ответ 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() {} };