如何实现自定义模板排序功能？

Question

我有一个向量对，我希望仅按键（可能会出现多次）稳定排序。我不使用 amultimap来实现这一点，因为它不是明确稳定的。因此，我提供了一个自定义比较函数stable_sort。我现在正在努力将该函数模板化。下面是一个简短的测试实现，向您展示用例：

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

#include "test.h"

using namespace std;

int main() {
  typedef pair<int, int> TPair;

  vector<TPair> data(10);

  data[0] = make_pair(7, 1); 
  data[1] = make_pair(3, 2); 
  data[2] = make_pair(8, 0); 
  data[3] = make_pair(5, 1); 
  data[4] = make_pair(3, 1); 
  data[5] = make_pair(2, 0); 
  data[6] = make_pair(7, 0); 
  data[7] = make_pair(6, 0); 
  data[8] = make_pair(5, 0); 
  data[9] = make_pair(3, 0); 

  stable_sort(data.begin(), data.end(), comp1);

  for (unsigned int i = 0; i < 10; ++i) {
    cout << data[i].first << "\t" << data[i].second << endl;
  }

  return 0;
}

提供的排序功能可用于test.h：

#include <vector>

#ifndef TEST_H_
#define TEST_H_

using namespace std;

bool comp1(pair<int, int> const & a, pair<int, int> const & b) {
  return a.first < b.first;
}

template <typename TElemA, typename TElemB>
bool comp2(pair<TElemA, TElemB> const & a, pair<TElemA, TElemB> const & b) {
  return a.first < b.first;
}

template <typename TPair>
bool comp3(TPair const & a, TPair const & b) {
  return a.first < b.first;
}

#endif

• comp1运作良好，没什么可抱怨的。首先，我尝试将这些对的元素模板化：
• comp2不起作用：test.cpp:25:3: error: no matching function for call to 'stable_sort'.
• comp3失败并显示与 相同的错误消息comp2。

这个模板函数有什么问题吗？

Answer 1

stable_sort本身是一个模板，它的第三个参数的类型是模板参数。这意味着您不能传递函数模板作为参数，因为模板参数推导不能应用在这里 - 没有什么可以告诉您将在哪个实例化之后。因此，您必须显式指定模板参数：

stable_sort(data.begin(), data.end(), comp2<int, int>);

但是，如果您为此提供一个函子，您的情况会更好：

struct comp2
{
  template <typename TElemA, typename TElemB>
  bool operator() (pair<TElemA, TElemB> const & a, pair<TElemA, TElemB> const & b) const {
    return a.first < b.first;
  }
};

stable_sort(data.begin(), data.end(), comp2());

这样，实际的模板参数推导就会被推迟，直到知道所需的类型为止。