如何使用模板制作 3D 对象的打印版本？(c++)

Question

我想你已经看到了这个特殊的功能：

template<typename T> void print(const T& cont){
    for (auto &i: cont)
        std::cout << i << " ";
    std::cout << std::endl;
}

它打印几乎所有类型的容器，如std::list. 现在我想创建一个打印（例如）3D 的std::vector，看看这个幻想：

template<typename T1, typename T2> void print(const T1<T2>&);

但这当然不是模板的工作方式。怎么做？同样重要的是：在 c++17 和 pre-c++17 中这样做有什么区别吗？

Answer 1

您可以编写以下模板重载，一种打印一维范围，另一种通过在循环中打印每个嵌套的 (N-1)D 范围来打印 ND 范围：

template<template<typename...> class Range,  
      // ^                         ^ 
      // Note the template template parameter
         typename T> 
void print(Range<T> const & cont)  // #1
{
    for (auto const & i : cont)
        std::cout << i << " ";    // print 1-D range
    std::cout << std::endl;
}

template<template<typename...> class RangeOut, 
         template<typename...> class RangeIn, 
         typename T> 
void print(RangeOut<RangeIn<T>> const & cont) // #2
{
    for (auto const &i: cont)
        print(i);              // call print overload:
                               // calls #1 if RangeIn is 1-D range
                               // calls #2 otherwise 
    std::cout << std::endl;
}

现在您可以打印任意维度的容器（范围），并由异构类型组成，例如：

std::vector<std::list<std::vector<int>>> vlv{{{1,2}, {3}} ,{{4,5}, {6}}};
print(vlv); // ok

这是一个演示。