Почему 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
не может быть действительным в то же время.
редактировать
Для потомков это моя редакция, основанная на ответе @ 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()
{
};