如何编写可以迭代泛型类型的函数

Question

我想编写一个类似print_all 的函数，如下所述。

#include <iterator>
#include <vector>

template <typename V>
void print_all(std::iterator<std::input_iterator_tag, V> it) {
  for (; it != std::end(it); ++it) {
    V item = *it;
    // do stuff with item
  }
}

int main() {
  std::vector<int> myvec (10);

  print_all(myvec.cbegin());

  return 0;
}

我如何声明 print_all 以便它可以接受类型为 V 的任何迭代器？

编辑

我想以类型安全的方式执行此操作。一个更好的用例示例是累加器

#include <iterator>
#include <vector>
#include <functional>

template <typename V, typename K>
K accumulate(
      std::function<K(K, V)> accumulator,
      std::iterator<std::input_iterator_tag, V> it,
      std::iterator<std::input_iterator_tag, V> end,
      K initial) {
  K sum = initial;
  for (; it != end; ++it) {
    V item = *it;
    sum = accumulator(sum, item);
  }
  return sum;
}

现在你明白为什么这个问题不是this 的重复了。我觉得会有一种类型安全的方法来做到这一点，其中编译器确保迭代器迭代正确的类型。这就是为什么我不愿接受史蒂夫·洛里默的回答。

Answer 1

假设您有所需的重载 std::ostream operators，您可以将实际的迭代器设为您的函数模板的类型

template<typename IterT>
void print_all(IterT begin, IterT end)
{
    while (begin != end)
        std::cout << *begin++ << ", ";
    std::cout << '\n';
}

如上所述，这仅在您具有必要的 std::ostream& operator<<(...) 重载时才有效。

你可以这样称呼它：

int main()
{
    std::vector<int> myvec;

    // populate myvec...

    print_all(std::begin(myvec), std::end(myvec));
    return 0;
}