仅当类型具有"<<"运算符时才重载？

Question

我有一个为许多类型重载的函数.但我目前的问题是由于(LWS在这里:lws):

#include <iostream>
#include <string>
#include <sstream>
#include <type_traits>

// First version
template<typename T, class = typename std::enable_if<std::is_fundamental<T>::value>::type> 
std::string f(const T& x)
{
    return std::to_string(x);
}

// Second version
template<typename... T> 
std::string f(const std::tuple<T...>& x)
{
    return std::to_string(sizeof...(T)); // It's just an example here
}

// Third version
template<typename T, class = typename std::enable_if<!std::is_fundamental<T>::value>::type, class = void> 
std::string f(const T& x)
{
    std::ostringstream oss;
    oss<<x;
    return oss.str();
}

// Main
int main(int argc, char* argv[])
{
   std::cout<<f(42)<<std::endl;
   std::cout<<f(std::string("Hello World"))<<std::endl;
   std::cout<<f(std::tuple<int, int, int, int, int, int>(4, 8, 15, 16, 23, 42))<<std::endl;
   return 0;
}

我的问题是,当我们调用f()a时std::tuple,第三个版本被执行而不是第二个版本.

如何解决这个问题(一个解决方案是允许第三个版本仅用于<<定义的类型,但我不知道如何做到这一点,如果这是解决问题的最佳方法)？

Answer 1

你唯一的问题是你忘了#include <tuple>,这在LWS的错误中显示.这是一个正确编译的固定版本.第二个重载总是比第三个重载更好,因为它根据部分排序规则更加专业化.

如果您仍然想知道如何检查触发SFINAE的功能存在(如果不存在),请查看我的答案,专门讨论该主题.:)它甚至有一个非常符合你想要的例子.