带有迭代器的模板函数

Question

我一直在努力做Ex。 Accelerated C++ 中的 10-02 ，它给了我错误，我最终不断“简化”我的程序直到我到达这一点，即使如此它仍然无法编译（通过 g++）给我错误：

test.cpp: In function ‘int main()’:
test.cpp:22: error: no matching function for call to ‘dumb(__gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >, __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >)’

这是我的程序：

#include <algorithm>
#include <iostream>
#include <vector>

using std::cout;    using std::endl;
using std::vector;

template <class Ran, class T> T dumb(Ran begin, Ran end)
{
    return *begin;
}

int main()
{
    vector<int> myVector;
    for (int i = 1; i <= 9; ++i)
        myVector.push_back(i);

    int d = dumb(myVector.begin(), myVector.end());
    cout << "Value = " << d << endl;
    return 0;
}

是什么导致了这个错误？

Answer 1

编译器无法推断此处的返回类型。实际上，这里不需要将返回类型设置为模板参数：

template <class Ran> typename Ran::value_type dumb(Ran begin, Ran end)
{
    return *begin;
}

Answer 2

问题在于函数的原型：

template <class Ran, class T> T dumb(Ran begin, Ran end)

使用模板时，返回类型是依赖类型（此处为T），无法隐式推导 。

所以你重新设计的函数应该是这样的：

template <class T, class Ran>
          // ^^^^^ 'T' is coming before 'Ran'
T dumb(Ran begin, Ran end)
{
  return *begin;
}

并且它应该被称为，

int d = dumb<int>(myVector.begin(), myVector.end());
             ^^^^

所以我们做了 2 个更改：

1. 必须明确提及的类型（即 T=int）是
   第一个
2. 调用 dumb<> 并明确提及 int，所以
   返回类型是可推导的

[注意：这个解决方案对于您的理解来说非常通用。正如 @Bjorn 的回答中提到的，对于 vector<> ，可以使用 ::value_type 自动推导出类型。]