如何编写通用（模板）容器输出推杆

Question

我正在努力跟上“现代”C的速度，特别是使用模板。我得到了一个班级分数，超过了

我的问题——有没有一种方法可以为多种容器类型编写类似于下面代码的模板？

template <typename T>
std::ostream& operator <<(ostream& os, const vector<T>& v)
{
  os << "\n";
  for( auto x : v ) { os << "\n\t" << x; }
  os << "\n";
  return os;
}

只要T有一个值，上面的代码就以多行格式正确输出向量

我还意识到，对于所有类型，以通用方式覆盖容器的输出可能是个坏主意（或者至少是不礼貌的）。因此，上面的模板代码最终会将typename硬编码/限制为“Point”和一个模板化容器。

好的，根据AndyG的建议，我有以下完整的代码：

#include <iostream>
#include <map>
#include <vector>

using namespace std;


struct Point {
  double x, y, z;

  Point() : x(0), y(0), z(0) {};
  Point(double a, double b, double c) : x(a), y(b), z(c) {}
  Point(double a[]) : x(a[0]), y(a[0]), z(a[0]) {}

  friend std::ostream& operator <<(ostream& os, const Point&p)
  {
    os << p.x << ", " << p.y << ", "<< p.z;
    return os;
  }

};

template <template<class> class C, class... T>
std::ostream& operator <<(ostream& os, const C<T...>& v)
{
  os << "\n";
  for( auto x : v ) { os << "\n\t" << x; }
  os << "\n";
  return os;
}

vector<Point> vp = { { 1, 2, 3 },
                     { 5, 7, 4 },
                     { 8, 2, 5 }
};

int main(int argc, char* argv[])
{
  cout << vp[0]; // works
  cout << vp;    // dosen't work,
}

但还是没有运气。编译器无法匹配运算符

我尝试了许多模板的变体

我不知道可变模板包，这显然是个好主意，但并不能解决问题。




Answer 1

好的，安蒂格让我走上了正确的道路，我想我明白发生了什么。

下面的代码不起作用，因为std::container模板也有一个allocator参数，它有一个默认值，你很少需要使用它。因此，我们认为大多数容器模板只取它们将包含的类型/类。

这个啊

template < template <class> class C, class... T>
std::ostream& operator <<(ostream& os, const C<T...>& v)
{ ... }

不起作用，因为我们要在运算符中调用的模板C

这将有助于：

template < template <class, class> class C, class... T>
std::ostream& operator <<(ostream& os, const C<T...>& v)

因为编译器可以匹配向量

请注意，一般来说，这种方法存在许多错误。模板

我们可以通过使用varg参数：模板来解决这个问题

因此，虽然这对我更好地理解模板是一个有用的练习，但不要这样做。

这个链接有一个整洁的容器pretty print lib:pretty print C STL containers