在C ++中，如何创建一个接受InputIterator的函数？

Question

C ++ transform ， accumulate和类似函数接受InputIterator作为参数，因此它们可以与许多类型的容器一起使用。 我想编写一个接受InputIterator的函数，以便可以将该函数与任何类型的容器一起使用。 我怎么做？ 我需要什么标题，等等。

Answer 1

您不需要任何标题。 您只需制作一个功能模板，并记录您的模板以要求使用作为输入迭代器的参数。 但是，您可能想使用<iterator>头中的iterator_traits模板来提取粘附数据。 例如：

#include <iterator>

//  Requires: InputIterator is an input iterator
//  Returns: sum of the range, starting at acc

template <typename InputIterator>
typename std::iterator_traits<InputIterator>::value_type
sum(InputIterator it,
    InputIterator last,
    typename std::iterator_traits<InputIterator>::value_type acc)
{
    while (it != last) { acc += *it; ++it; }
    return acc;
}

对于某些算法，您根本不需要特征，因此不需要标题。 例如：

// Requires: Iter is an input iterator, F is a callable and copyable
// Returns: a copy of f
// Effects: calls f with every value in the range
template <typename Iter, typename F>
F for_each(Iter it, Iter last, F f)
{
    while (it != last) { f(*it); ++it; }
    return f;
}

Answer 2

InputIterator一个概念，更是一种概念。

写吧

template<typename InputIterator>
void myFunc(InputIterator begin, InputIterator end) {
    /* … */
}

如果您将begin和end变量仅应用到与InputIterator概念相对应的InputIterator （增量，取消引用…），那么您就很好了。

Answer 3

我怀疑您已经看过例如std::transform()文档了。

您应该已经注意到，他们将这些迭代器类型用作模板参数：

template< class InputIt, class OutputIt, class UnaryOperation >
OutputIt transform( InputIt first1, InputIt last1, OutputIt d_first,
                    UnaryOperation unary_op );

特定要求在编译时使用标准语言中定义的各种概念进行检查，并定义为例如std::iterator_traits<It> 。