Question

我有像这样的模板功能

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

}

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

Answer 1

首先，让我重申一下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;
}

See it running on ideone

这里我将反向迭代器转换为转发迭代器。 This SO post gives you more details about that。但仔细阅读帖子，有龙。我上面的例子只输出数字而不修改底层容器。我不检查迭代器的有效性，也不检查边界。对于您自己的情况，请确保测试所有边缘情况（迭代器处于或超出容器的开头/结尾;逐个错误等）。

另请注意，在您的示例代码中，对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())打印9 8 7 ... 1，现在它打印1 2 3 ... 9。 Example here.

而且，如果您可以使用兼容的迭代器，那么你会更好。

使用正向和反向迭代器进行C ++映射擦除

1 个答案: