C++11风格的SFINAE和模板实例化中的函数可见性

Question

struct S;

template <typename T>
inline auto f(S& s, T const& t)
   -> decltype(t.f(s), void())
{
   t.f(s);
}

struct S
{
    template <typename T>
    auto f(T const& t)
        -> decltype(f(*this, t), void())
    {
        f(*this, t); // <------------------------------------------- HERE
    }
};

struct pass
{
    void f(S&) const
    {
        //...
    }
};

struct fail
{
};

int main()
{
    S s;
    s.f(pass()); // should compile fine
    //s.f(fail()); // should fail to compile due to absence of f from S
    return 0;
}

作为@N.M。据说，成员函数完全隐藏自由函数，即使它们的签名不同，所以这里有一个解决方案，它不会破坏f的ADL（与@n.m建议的全名限定不同）。将free函数(f_dispatcher)设置在没有人会看到的地方(detail)，并在s::f中完全限定其名称。在该函数中，调用freef，并让ADL从那里开始处理它，如下所示：

struct S;

template <typename T>
inline auto f(S& s, T const& t)
    -> decltype(t.f(s), void())
{
    t.f(s);
}

namespace detail
{
    template <typename T>
    inline auto f_dispatcher(S& s, T const& t)
        -> decltype(f(s, t), void())
    {
        f(s, t);
    }
}

struct S
{
    template <typename T>
    auto f(T const& t)
        -> decltype(detail::f_dispatcher(*this, t), void())
    {
        detail::f_dispatcher(*this, t);
    }
};

struct pass
{
    void f(S&) const
    {
        //...
    }
};

struct fail
{
};

int main()
{
    S s;
    s.f(pass()); // compiles fine
    //s.f(fail()); // fails to compile due to absence of f from S
    return 0;
}

Answer 1

这与SFINAE或模板或C++11或ADL无关。

成员隐藏所有具有相同名称的非成员，无论类型如何。如果有一个名为f的成员，则不能引用任何名为f的非成员，除非使用限定名（例如::f)。

只需使用::f(*this,t）；。