c++ - std::enable_if_t 将字符串与非字符串函数参数分开

Question

我需要在双引号内打印所有类型的字符串数据，而其他不带双引号的字符串数据。

这是我检查参数是否为字符串的函数。

template<class T>
struct is_str : std::integral_constant<bool, false> {};
template<> struct is_str<char*> : std::integral_constant<bool, true> {};
template<> struct is_str<wchar_t*> : std::integral_constant<bool, true> {};
template<> struct is_str<const char*> : std::integral_constant<bool, true> {};
template<> struct is_str<const wchar_t*> : std::integral_constant<bool, true> {};
template<> struct is_str<std::string> : std::integral_constant<bool, true> {};
template<> struct is_str<const std::string> : std::integral_constant<bool, true> {};
template<> struct is_str<std::wstring> : std::integral_constant<bool, true> {};
template<> struct is_str<const std::wstring> : std::integral_constant<bool, true> {};

而在打印机函数中，我是这样使用上面的函数

template<typename T>
std::enable_if_t<is_str<T>::value>, std::ostream&>
    operator<<(std::ostream& xx, const T& ar)
{
    xx << "\"" << ar << "\"";
    return xx;
}

template<typename T>
std::enable_if_t<!is_str<T>::value>, std::ostream&>
    operator<<(std::ostream& xx, const T& ar)
{
    xx << ar;
    return xx;
}

它没有编译错误

unrecognized template declaration/definition

有人可以告诉我如何解决这个问题或处理这种情况的更好方法吗？

Answer 1

Graham Best 是对的，但还有另一个(更大的，恕我直言)问题。

您没有定义 operator<< ;你正在重新定义它调用自己。

据我所知，这是不可能的(你重新定义一个函数，编译器不知道调用哪个版本)和你什么时候写(在重新定义的运算符内)

xx << "\"" << ar << "\"";

哪个版本的operator<<()应该使用？新的重新定义(导致循环递归)还是旧的？

我认为退出此问题的最佳方法是避免重新定义 operator<<()并定义一个简单的函数；例如，以下 print()

template<typename T>
std::enable_if_t<is_str<T>::value, std::string> print (T const & ar)
 {
   std::ostringstream oss;

   oss << "\"" << ar << "\"";

   return oss.str();
 }

template<typename T>
std::enable_if_t<!is_str<T>::value, T const &> print (T const & ar)
 { return ar; }

然后这样使用

std::cout << print(std::string{"abc"}) << std::endl; // add quotes
std::cout << print(1) << std::endl;                  // no quotes

En passant:有几个类可用于编写更紧凑的代码:std::true_type , 定义为 std::integral_constant<bool, true> , 和 std::false_type , 定义为 std::integral_constant<bool, false> .

所以你可以定义is_str如下

template<class T>
struct is_str : std::false_type {};

template<> struct is_str<char*> : std::true_type {};
template<> struct is_str<wchar_t*> : std::true_type {};
// ...

注意如果你写

std::cout << print("abc") << std::endl; // add quotes

print()不添加引号。

这是因为 "abc"不是 char const * ;这是一个const char[4] .

因此，如果您想将引号添加到 char[N]和 wchar_t[N]同样，您应该添加以下特化

template<std::size_t N> struct is_str<char[N]> : std::true_type {};
template<std::size_t N> struct is_str<wchar_t[N]> : std::true_type {};