¿Por qué SFINAE (enable_if) no funciona para las funciones miembro de una plantilla de clase?
#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()
{}
};
Mensaje de error:
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()'
Fuente encpp.sh. Pensé que ambostypename std::enable_if<std::is_same<T,?>::value>::type
no podría ser válido al mismo tiempo.
Editar
Para la posteridad aquí está mi edición basada en la respuesta de @ KerrekSB:SFINAE solo funciona para argumentos de plantilla deducidos
#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()
{
};