怎么重载operator << for C中的数组？

我试着这样做：

template <typename T>
ostream &operator<<(ostream &os,T &arr)
{ /*...*/ }

但是T代表一个数组吗？重载<<<<<<<数组的运算符？ 编辑： 根据Kerrek SB的建议,这是我对<<的实现

template <typename T,unsigned int N>
ostream &operator<<(ostream &os,const T (&arr)[N])
{
    int i;
    for(i = 0; i < N; i++)
        os << arr[i] << " ";
    os << endl;
    return os;
}

我的实施是对的吗？我收到了编译错误.

解决方法

你可以这样做：

template <typename T,unsigned int N>
std::ostream & operator<<(std::ostream & os,const T (&arr)[N])
{
  // ..
  return os;
}

当然,这仅适用于编译时数组.请注意,当T是内置类型或std命名空间中的类型时,不允许您实例化此模板！

如果可能的话,可能最好使这个内联,因为你将为每个N引起一个单独的实例化.(pretty printer有一个例子.)

但是,您会注意到毯子模板引入了歧义,因为os<< “Hello”现在有两个可能的重载：模板匹配const char(&)[6],以及衰减到指针const char *的(非模板)重载,它们都具有相同的转换序列.我们可以通过禁用char数组的重载来解决这个问题：

#include <ostream>
#include <type_traits>

template <typename T,unsigned int N>
typename std::enable_if<!std::is_same<T,char>::value,std::ostream &>::type
operator<<(std::ostream & os,const T (&arr)[N])
{
  // ..
  return os;
}

实际上,为了更加通用,您还可以制作basic_ostream参数模板参数：

template <typename T,unsigned int N,typename CTy,typename CTr>
typename std::enable_if<!std::is_same<T,std::basic_ostream<CTy,CTr> &>::type
operator<<(std::basic_ostream<CTy,CTr> & os,const T (&arr)[N])
{
  // ..
  return os;
}

鉴于T必须是用户定义的类型,您甚至可以替换is_same< T,char>与is_fundamental< T>进行更多检查(但用户仍然不得将此用于标准库类型的数组).