此问题在此处已有答案：

std::enable_if to conditionally compile a member function（9个回答）
Why class template instantiation fails for unused member template function and implicit instantiation of member function's declaration（3个答案）
8天前关闭.

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

型