STL：指针关联排序容器：排序谓词模板

Question

我的程序说明了谓词模板，可以用作 STL 容器实例化的排序谓词：

#include <iostream>
#include <set>
#include <iterator>
#include <algorithm>
#include <functional>
#include <string>

using namespace std;

template<typename T, template <typename> class comp = std::less> struct ComparePtr: public binary_function<T const *, T const *, bool> {
  bool operator()(T const *lhs, T const *rhs) const {
    comp<T> cmp;
    return (cmp(*lhs, *rhs));
  }
};

int wmain() {
  string sa[] = {"Programmer", "Tester", "Manager", "Customer"};
  set<string *, ComparePtr<string>> ssp;
  for (int i(0) ; i < sizeof sa/sizeof sa[0] ; ++i)
    ssp.insert(sa + i);

  for_each(ssp.begin(), ssp.end(), [](string *s){ cout << s->c_str() << endl; });

  return 0;
}

请关注谓词：它写得正确吗？ 实例化comp好吗？有没有一种方法不允许实例化 comp 谓词？

Answer 1

为什么要使用模板 template 而不仅仅是在通用二进制比较器周围添加一个简单的包装器？

template<typename P>
struct PointerPred {
  P p;
  template<typename T>
  bool operator()(const T& x, const T& y) { return p(*x, *y); }
};

Boost 指针容器也可以使这一点变得很多更轻松。

Ildjarn 展示了如何正确实现函子：

template<template<typename> class comp = std::less>
struct ComparePtr {
  template<typename T>
  bool operator()(T const *lhs, T const *rhs) const {
    return comp<T>()(*lhs, *rhs);
  }
};

这样就不再需要指定参数的类型。

编辑：我的代码中曾经有 std::forward 和右值引用，这完全没有意义。