std :: sort和compare-function与模板不起作用

Question

我想对任意类型的向量进行排序,因此我编写了以下代码:

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

template<class T>
bool compare(T a, T b) {
    return a < b;
}

int main() {
    vector<int> v;
    v.push_back(3);
    v.push_back(4);
    v.push_back(2);
    v.push_back(1);

    sort(v.begin(), v.end(), compare);

    for (size_t i = 0; i < v.size(); i++) {
        cout << v.at(i) << " ";
    }

    return 0;
}

此代码未编译,错误消息如下:

..\src\Test.cpp:22:34: error: no matching function for call to 'sort(std::vector<int>::iterator, std::vector<int>::iterator, <unresolved overloaded function type>)'
..\src\Test.cpp:22:34: note: candidates are:

... and more

当我使用具体类型实现compare-function时,它可以工作.有人可以告诉我如何使用模板比较功能吗？

Answer 1

您需要指定所需的专业化:

sort(v.begin(), v.end(), compare<int>);

住在Coliru

Answer 2

compare它不是一个函数,它是一个可以用来生成函数的函数模板,比如compare<int>和compare<long>

所以要传递一个函数,sort你需要命名一个函数模板的特化:

sort(v.begin(), v.end(), compare<int>);

或者,创建一个函数对象并传递:

struct Compare {
  template<typename T>
    bool operator()(T a, Tb) const { return a < b; }
};
sort(v.begin(), v.end(), Compare());

这个函数对象有一个成员函数模板,可以比较任何类型(比如你的compare),但是你传递它时不需要引用特定的特化sort,你传递一个临时的类型Compare,在sort算法里面编译器会选择正确的功能模板的专业化.