1

我有这样的模板功能

template<typename T>
void foo(T start , T end)
{
  while(start != end)
  {
     if(cond)
       m.erase(start);
    start++;
  }

}

现在我必须将正向和反向迭代器都作为类型名传递。两个单独的调用，一个是正向的，一个是反向的迭代器。我该怎么做呢 ？

4

1 回答 1

2

首先，让我重申 LogicStuff 的评论：您应该真正尝试传入兼容的迭代器。

如果您真的，真的，真的别无选择，只能按照您现在的方式进行操作，您可以使用一些模板函数：

#include <vector>
#include <iostream>

// Used when both iterators have the same type
template <typename T>
void foo(T begin, T end)
{
  for (; begin != end; ++begin)
  {
    std::cout << " " << *begin;
  }
}

// Overload for a forward begin and reverse end
template <typename T>
void foo(T begin, std::reverse_iterator<T> end)
{
  foo(begin, end.base());
}

// Overload for a reverse begin and forward end
template <typename T>
void foo(std::reverse_iterator<T> begin, T end)
{
  foo(begin, std::reverse_iterator<T>(end));
}

int main()
{
  std::vector<int> v { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
  foo(v.begin(), v.end()); std::cout << std::endl;
  foo(v.begin(), v.rbegin()); std::cout << std::endl;
  foo(v.rbegin(), v.begin()); std::cout << std::endl;
  foo(v.rbegin(), v.rend()); std::cout << std::endl;
}

看到它在 ideone 上运行。

在这里，我将反向迭代器转换为正向迭代器。这篇 SO 帖子为您提供了更多详细信息。但是仔细阅读那个帖子，有龙。我上面的例子只是输出数字，并没有修改底层容器。而且我不检查迭代器的有效性，也不做任何边界检查。对于您自己的情况，请确保您测试所有边缘情况（迭代器位于或超出容器的开头/结尾；非一个错误等）。

另外，请注意，在您的示例代码中，对迭代器的调用erase()使迭代器无效，因此您应该像这样编写循环体：

if (cond) {
  // guarantees to return an iterator to the element following
  // the erased element.
  start = m.erase(start);
} else {
  ++start;
}

编辑：如果您要求迭代器始终转换为它们的前向等效项，您可以更改最后一个重载并添加另一个：

template <typename T>
void foo(std::reverse_iterator<T> begin, T end)
{
  foo(end, begin.base()); // Note: order of iteration reversed!
}

template <typename T>
void foo(std::reverse_iterator<T> begin, std::reverse_iterator<T> end)
{
  foo(end.base(), begin.base()); // Note: order of iteration reversed!
}

但请注意，现在迭代的顺序颠倒了：在我的示例中，在第一个化身中调用foo(v.rbegin(), v.rend())print 9 8 7 ... 1，现在它 print 1 2 3 ... 9。 这里的例子。

再说一次，如果你能提供兼容的迭代器，你会好得多。

于 2016-05-09T09:12:49.397 回答