为什么 SFINAE (enable_if) 不适用于类模板的成员函数？

Why doesn't SFINAE (enable_if) work for member functions of a class template?

本文关键字：成员 函数 适用于 不适用 SFINAE enable if 为什么      更新时间：2023-10-16
#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()
{
};

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() {} };
相关文章：