问题为什么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()
{
};

2750

2018-06-20 11:05

起源

答案:

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

2018-06-20 11:08

SFINAE仅适用于推导出的模板参数 ......那是关键!!!!!谢谢束@Kerrek。 BTW，我原来的帖子是MWE。 - Olumide

@Olumide：是的，只有因扣减而导致的替换失败不是错误。明确请求的替换确实会因为硬错误而失败。（对于这种情况，MFE就足够了！） - Kerrek SB

有没有办法像这样重载构造函数？ - Brent

对我有用： stackoverflow.com/a/31138725/395029 - Brent

答案: