c++ - C++ 模板不接受迭代器

Question

我正在重新学习 C++，并开始尝试应该是一个简单的算法：快速排序。我的函数有这个签名：

template <class T>
void QSort(typename std::vector<T>::iterator begin, typename std::vector<T>::iterator end)

它在我的主要功能中被调用：

int main()
{
    std::vector<int> unsort({56,32,11,45,67,81,12,5});
    std::vector<int>::iterator b=unsort.begin();
    std::vector<int>::iterator e=unsort.end();
    QSort(b, e);
    return 0;
}

并给出此错误：

C:\Users\Deus\Projects\QSort\main.cpp||In function 'int main()':|
C:\Users\Deus\Projects\QSort\main.cpp|49|error: no matching function for call to 'QSort(__gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >&, __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >&)'|
||=== Build finished: 1 errors, 0 warnings ===|

似乎编译器无法解决 T 应该是什么。有没有办法做我想做的事情，或者我应该将参数声明为 T 类型，并处理由此产生的不确定性？

Answer 1

编译器无法T从您的函数调用中推断出。想想当std::vector<T>::iteratoris时会发生什么T*：

int *b = ...;
int *e = ...;
QSort(b, e);

一般来说，如果你写typename Something<TemplateParameter>::anotherThing，则TemplateParemter不能在调用中推断出 。必须明确提供

QSort<int>(b, e);

我建议仅用T作参数类型。这将使您不仅可以接受向量迭代器，还可以接受T*, orstd::deque<T>::iterator和任何其他随机访问迭代器。