C++ 为什么'；SFINAE（enable_if）是否适用于类模板的成员函数？ #包括 结构A{}； 结构B{}； 模板 结构Foo { typename std:：enable_if:：type bar（） {} typename std:：enable_if:：type bar（） {} };

错误消息：

14:5:错误：“typename std:：enable_if:：type Foo:：bar（）”无法重载10:5:
错误：使用“typename std:：enable_if:：type Foo:：bar（）”

来源于。我认为

typename std:：enable_if:：type

不能同时有效

编辑

对于子孙后代，这里是我根据@KerrekSB的答案进行的编辑--SFINAE仅适用于推导的模板参数

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

#包括
结构A{}；
结构B{}；
模板
结构Foo
{
模板
typename std:：enable_if:：type
bar（）
{
}
模板
typename std:：enable_if:：type
bar（）
{
}
};
int main（）
{
};

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

---

SFINAE仅适用于导出的模板参数。。。这就是关键！！！！！谢谢bunch@Kerrek。顺便说一句，我原来的帖子是MWE。@Olumide：是的，只有因为扣除而导致的替换失败才不是错误。显式请求的替换不会作为硬错误失败。（对于这种情况，一个MFE就足够了！）有没有一种方法可以让一个重载构造函数像这样工作？

struct Foo
{
    template <typename T>
    typename std::enable_if<std::is_same<T, A>::value>::type bar(T) {}

    // ... (further similar overloads) ...
};

template <typename> struct Foo;

template <> struct Foo<A> { void bar() {} };
template <> struct Foo<B> { void bar() {} };