C++ SFINAE enable_if_t 在成员函数中，如何消除歧义？

Question

假设我们有一些 SFINAE 成员函数:

class foo{
    template <class S, class = std::enable_if_t<std::is_integral<S>::value, S>
    void bar(S&& s);
    template <class S, class = std::enable_if_t<!std::is_integral<S>::value, S>
    void bar(S&& s);
}

如果我们像上面那样声明，那么我们如何定义它们呢？他们的两个函数签名看起来像:

template <class S, class>
inline void foo::bar(S&& s){ ... do something ... }

我见过返回 std::enable_if_t<...> 的示例喜欢:

template <class S, class>
auto bar(S&& s) -> std::enable_if_t<!std::is_integral<S>::value, S>(...){
    ... do something ...
}

根据返回类型消除歧义。但我不想退还任何东西。

Answer 1

因为默认参数不是函数签名的一部分，所以让它们不是默认值

class foo{
    template <class S, typename std::enable_if<std::is_integral<S>::value, int>::type = 0>
    void bar(S&& s);
    template <class S, typename std::enable_if<!std::is_integral<S>::value, int>::type = 0>
    void bar(S&& s);
};

Live Demo

---

编辑:应大众需求，这是 C++17 中的相同代码:

class foo{
public:
    template <class S>
    void bar(S&& s)
    {
        if constexpr(std::is_integral_v<S>)
            std::cout << "is integral\n";
        else
            std::cout << "NOT integral\n";
    }
};

constexpr if 语句对编译器来说是特殊的，因为分支是在编译时选择的，而未采用的分支甚至没有实例化

C++17 Demo