使用SFINAE根据函数是否存在特定重载来选择函数[duplicate]

Question

我一直在尝试根据重载运算符是否为

例子：

template <typename T, typename std::enable_if</* ? */, int>::type = 0>
std::string stringify(const T& t)
{
    std::stringstream ss;
    ss << t;
    return ss.str();
}

template <typename T, typename std::enable_if</* ? */, int>::type = 0>
std::string stringify(const T& t)
{
    return "No overload of operator<<";
}

struct Foo { };

int main()
{
    std::cout << stringify(11) << std::endl;
    std::cout << stringify(Foo{}) << std::endl;
}

这可能吗？如果是这样，你将如何解决这个问题？




Answer 1

无需启用。\u如果运算符

namespace detail
{
    template<typename T>
    auto stringify(std::stringstream& ss, T const& t, bool)
        -> decltype(ss << t, void(), std::string{})
    {
        ss << t;
        return ss.str();
    }

    template<typename T>
    auto stringify(std::stringstream&, T const&, int)
        -> std::string
    {
        return "No overload of operator<<";
    }
}

template <typename T>
std::string stringify(const T& t)
{
    std::stringstream ss;
    return detail::stringify(ss, t, true);
}

现场演示

stringify函数模板只是委托给一个::stringify函数模板。然后，如果表达式ss，则选择第一个

此表达式decltype（ss

第一个，ss

中间的子表达式val（）除了确保未选择某些用户定义的运算符之外，不做任何其他操作（因为您不能使用val参数类型重载运算符）。

第三个，也是最右边的子表达式，std::string{}是用来确定stringify函数的返回类型::。