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的签名。

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

2 个答案: