Question

函数模板（形参类型是迭代器）

函数模板是这样的：template<typename T>
typename T::value_type f(typename T::iterator first,typename T::iterator last) {/*......*/} 形参是一对迭代器

然后，main函数里：
vector<int> v;
.....
f(v.begin(),v.end()); //error:could not deduce template argument for 'T'
不知道这错在哪里？

Answer 1

应该这样
template<typename T>
typename T::value_type f(typename T first,typename T last) {/*......*/}

当在Main中调用f的时候，传给f的类型是iterator。所以编译器在特化模板的时候所声明的T会用iterator来替换。
那么编译器最终得到的f声明是。

typename vector<int>::iterator::value_type f(typename vector<int>::iterator::iterator first,typename vector<int>::iterator::iterator last){}
很明显这是错误的！。