Question

自从std::to_string添加到c ++ 11后，我开始实现to_string而不是更传统的operator<<(ostream&, T)。我需要将两者链接在一起，以便合并依赖operator<<(ostream&, T)的库。我希望能够表达如果T有operator<<(ostream&, T)，请使用它;否则，请使用std::to_string。我正在为一个更有限的版本进行原型设计，为所有枚举类启用operator<<。

enum class MyEnum { A, B, C };

// plain version works
//std::ostream& operator<<(std::ostream& out, const MyEnum& t) {
//  return (out << to_string(t));
//}

// templated version not working
template<typename T, 
         typename std::enable_if<std::is_enum<T>::value>::type
>
std::ostream& operator<<(std::ostream& out, const T& t) {
  return (out << to_string(t));
}

编译器说error: no match for 'operator<<' (operand types are 'std::ostream {aka std::basic_ostream<char>}' and 'MyEnum') cout << v << endl;

问题：

为什么编译器找不到模板函数？
有没有办法实施一般解决方案？

Answer 1

如果存在std::to_string接受const MyEnum类型的参数（不存在根据clang-703.0.31），则以下内容将起作用。< / p>

#include <iostream>
#include <type_traits>

enum class MyEnum { A, B, C };

template<typename T>
typename std::enable_if<std::is_enum<T>::value, std::ostream &>::type
operator<<(std::ostream& out, const T& t) {
    return (out << std::to_string(t));
}

int main() {
  MyEnum a;

  std::cout << a << std::endl;
}

根据docs，有两种使用std::enable_if的方法，其中一种方法是使函数的返回类型仅在T为枚举时才有效键入（在您的情况下）。这是此代码显示的内容。如果std::is_enum<T>::value为true，则std::enable_if<std::is_enum<T>::value, std::ostream &>::type会导致std::ostream &并且未定义（这会使编译器对您大喊大叫）。

你可以可能写一些类似my::to_string的内容，它会尝试转换为字符串用户定义的类型：

namespace my {

    template<typename T>
    typename std::enable_if<! std::is_void<T>{} && std::is_fundamental<T>{}, std::string>::type
    to_string(T t) {
        return std::to_string(t);
    }

    std::string to_string(std::nullptr_t) = delete;

    std::string to_string(MyEnum a) {
        return "This is an enum";
    }
}

然后，您可以在my::to_string中使用std::to_string代替operator<<：

return (out << my::to_string(t));

编辑现在使用my::to_string会在参数为void或std::nullptr_t时导致编译错误。

为什么你的代码不起作用

查看docs中的示例：

// 2. the second template argument is only valid if T is an integral type:
template < class T,
       class = typename std::enable_if<std::is_integral<T>::value>::type>
bool is_even (T i) {return !bool(i%2);}

正如您所看到的，第二个模板参数是使用class = /* enable_if stuff */编写的，但在您的代码中只执行template< typename T, /* enable_if stuff */ >。因此，如果您按照文档进行操作，您将获得正确的结果 - 编译器会说它无法找到std::to_string的专门化接受enum作为参数。

如何在没有此运算符的情况下为类型实现默认运算符＆lt;＆lt;（ostream＆amp;，T）？

1 个答案:

为什么你的代码不起作用