Question

编写模板函数时：

template<class T> void print(T const & collection)

当循环遍历集合并取消引用迭代器时，除非您将其更改为vector<int>，否则一切都正常，如果您有vector<int*>之类的内容。在不复制代码的情况下，处理单个模板函数差异的最佳方法是什么？

Answer 1

我会编写一个委托给类模板do_print的模板函数printer。类模板是一个执行漂亮打印的函数对象，只需在T*上调用漂亮的打印版本，就可以部分专注于*t。

因此，没有重复的漂亮打印代码和编写两个轻量级实现类的轻微不便（这些都被任何现代编译器优化掉，因此没有运行时开销）。

我比SFINAE技巧更喜欢这个解决方案，因为部分类专门化比函数重载技巧提供了更多的控制（以及更好的错误消息）。它也是由Alexandrescu＆amp; amp;萨特编码标准。

顺便说一句，此代码也适用于T**，因为T*的专门化代表了T的代码。因此，T**会发送到T*，最后发送到T。实际上，任意级别的间接都会减少打印指针所指向的元素。

#include <iostream>
#include <vector>

namespace detail {

template<typename T>
struct printer
{
   void operator()(T const& t) 
   { 
      std::cout << t; // your pretty print code here
   }  
};

template<typename T>
struct printer<T*>
{
   void operator()(T const* t) 
   { 
      printer<T>()(*t); // delegate to printing elements (no duplication of prettty print)
   }
};

}

template<typename T>
void do_print(T const& t)
{
   detail::printer<T>()(t);
}

template<typename C>
void print(C const& collection)
{
   for(auto&& c: collection) 
      do_print(c);
   std::cout << "\n";
}

int main()
{
   int a = 1;
   int b = 2;

   auto c = &a;
   auto d = &b;

   std::vector<int> v1 { a, b };
   std::vector<int*> v2 { c, d };
   std::vector<int**> v3 { &c, &d };

   print(v1);
   print(v2);
   print(v3);
}

Live Work Space

上的输出

用于在集合中的每个元素上调用print的通用算法

1 个答案: