c++ - 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() {} };