将迭代器作为函数参数传递

Question

我尝试编写一个函数,它将对容器的元素求和.这个容器可以是Vector,List,Queue等......这就是我尝试模板的原因.

不幸的是我收到此错误:

'C'不是模板

资源:

#include <iostream>
#include <vector>

using namespace std;

template<class C, typename T>
T sum( C<T>::iterator begin, C<T>::iterator end ) {
    T s = null;

    for (C<T>::iterator it = begin; it != end; it++) {
        s += *it;
    }

    return s;
}

int main()
{
    vector<int> v = {5, 9, 0, 11};

    cout << sum(v.begin(), v.end()) << endl;

    return 0;
}

我错了什么？我该如何解决？

Answer 1

您可以根据迭代器类型表达整个事物,并使用iterator_traits获取value_type:

#include <iterator>

template<typename Iterator>
typename std::iterator_traits<Iterator>::value_type 
sum(Iterator begin, Iterator end)
{
  using value_type = typename std::iterator_traits<Iterator>::value_type;
  value_type s = value_type();
  for (Iterator it = begin; it != end; it++) {
    s += *it;
  }
  return s;
}

在现实生活中,使用std :: accumulate:

int sum = std::accumulate(v.begin(), v.end(), 0);

Answer 2

您得到的特定错误是因为您需要模板模板参数:

template<template <typename> class C, typename T>
//       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
T sum( C<T>::iterator begin, C<T>::iterator end )

但是,标准容器通常只有一个模板参数:

template < class T, class Alloc = allocator<T> > class vector

并且正确地编写这样的函数有点不重要.您可以使用可变参数模板参数,或者您可以像标准库那样使用,并且只能根据您的需要进行专门化:

// <algorithm>
namespace std {
    template <class RandomAccessIterator>
    void sort (RandomAccessIterator first, RandomAccessIterator last);
}

在您的情况下(假装您的需求已不在标准算法库中):

template <typename Iterator>
auto sum(Iterator begin, Iterator end) 
-> decltype(*begin+*begin) // the type of summing two of them
{
    if (begin == end) throw std::logic_error("....");
    auto s = *begin;
    ++begin;
    for (; begin != end; ++begin) {
        s += *begin;
    }
    return s;
}

与原始代码有一些不同之处:

• 新代码不假定null或默认构造函数定义(T s = null;)
• 没有引入额外的迭代器(it)
• 使用预增量
• 在begin == end时抛出异常

如果你添加一个init参数,你几乎可以做到noexcept:

template <typename Iterator, typename T>
T sum(Iterator begin, Iterator end, T init)
{
    for (; begin!=end; ++begin)
        init += *begin;
    return init;
}

但只是差不多,因为init += *begin仍然可以抛出.

如果你有这样的签名,你就可以转载签名了std::accumulate.