具有功能并模拟部分模板专业化的SFINAE

Question

我试图制作一个专门提供成员函数Y的函数X，如果不提供成员函数Y，则函数X使用全局非成员函数Y来达到相同的效果。

我目前正在尝试通过以下代码实现

template <typename Container, typename std::enable_if_t<std::is_same<
            decltype(std::declval<Container>().y()),
            decltype(std::declval<Container>().y())>::value>* = nullptr>
void do_something(Container&& container) {
    return std::forward<Container>().y();
}

template <typename Container, typename std::enable_if_t<!std::is_same<
            decltype(std::declval<Container>().y()),
            decltype(std::declval<Container>().y())>::value>* = nullptr>
void do_something(Container&& container) {
    return y(std::forward<Container>(container);
}

但是在容器同时具有成员函数y和全局非成员函数y的情况下，它也可以在其上工作。 存在编译错误，因为对于第二个版本的函数，模板参数格式错误，因为需要成员函数y。

您知道如何解决这个问题吗？

注意 ：这不同于仅检测类是否具有给定签名的功能。 对不起，如果这个问题似乎要问这个！ 下面接受的答案应该使我的意图更清楚。

Answer 1

典型的方法是分派给一对函数，如果满足您的条件，则首选一个，而另一个则只是一个后备。 令人高兴的是，您甚至不需要enable_if ，只需尾随的decltype ：

template <class C>
auto do_something_impl(C&& c, int)
    -> decltype(std::forward<C>(c).y())
{
    return std::forward<C>(c).y();
}

template <class C>
auto do_something_impl(C&& c, ...)
    -> decltype(y(std::forward<C>(c))
{
    return y(std::forward<C>(c));
}

现在只需传递0 ：

template <class C>
auto do_something(C&& c)
    -> decltype(do_something_impl(std::forward<C>(c), 0))
{
    return do_something_impl(std::forward<C>(c), 0);
}

到int的转换顺序比到...的转换顺序要好，因此，如果该类型具有所需的成员函数，则即使这两个都是可行的候选对象，该重载也将是首选。