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

In C++, how do I create a function that accepts an InputIterator?

本文关键字：一个 函数 InputIterator 创建 C++ 何创建      更新时间：2023-10-16

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

您不需要任何标头。您只需制作一个函数模板，并记录您的模板以需要一个作为输入迭代器的参数。不过，您可能希望使用<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;
}

InputIterator不仅仅是一种类型，而是一个概念。

只需写入

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

如果你只在begin和end变量上应用与InputIterator概念相对应的操作（递增、取消引用…），那么你就可以继续了。

我怀疑您已经看过例如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>。

相关文章：