Question

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

Answer 1

您不需要任何标题。您只需创建一个函数模板，并记录您的模板以要求一个作为输入迭代器的参数。不过，您可能希望使用iterator_traits标题中的<iterator>模板来提取附着数据。例如：

#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 concept相对应的操作（增量，取消引用...），那么您就可以了。

Answer 3

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

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

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

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

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

3 个答案: