c++ - 使用类和仿函数作为模板参数实现通用二元函数

Question

我正在尝试将一些模板化函数包装到一些二进制仿函数中，如下所示。当我尝试编译代码时出现错误

 error: no match for call to ‘(QtyAsc) (myobj&, myobj&)

我认为 QtyAsc 中的 operator() 是类中的函数，模板推导机制会起作用，但编译器似乎不接受 myobj 类作为它的有效类型。

可能是因为调用了boost::bind？我试图为第二个模板化参数提供默认实现(不幸的是，我不能将 C++11 与默认模板化参数一起使用)。

  class myobj {
   public:
    myobj(int val) : qty_(val) {}
    int qty() { return qty_;}
   private:
    int qty_;
  };

  template<class T>
  int get_quantity(const T& o) {
    throw runtime_error("get_quantity<T> not implemented");
  }

  template<>
  int get_quantity(const myobj& o) {
    return o.qty();
  }

  struct QtyAsc {
    template<class T, class QEx >
    bool operator()(const T& o1, const T& o2, QEx extr = boost::bind(&get_quantity<T>,_1)) const {
      if(extr(o1) < extr(o2))
        return true;
      return false;  
    }
  };

  int main() {
   myobj t1(10),t2(20);

   QtyAsc asc;
    if(asc(t1,t2))
      cout << "Yes" << endl;
   }

Answer 1

如果您不能使用 C++11，只需提供一个额外的重载:

struct QtyAsc {
  template<class T, class QEx >
  bool operator()(const T& o1, const T& o2, QEx extr) const {
    return extr(o1) < extr(o2);
  }
  template<class T>
  bool operator()(const T& o1, const T& o2) const {
    return operator()(o1, o2, &get_quantity<T>);
  }
};

(我省略了不必要的 boost::bind。)另外，您需要将 myobj::qty 声明为 const:

int qty() const {
  return qty_;
}

因为您想在 const 对象上调用它。 ( Live demo )