6

通常，模板参数可以是抽象类，如下面的程序所示。但似乎排序中的比较函子一定不是抽象的。至少以下内容不能在 VC++ 11 和 Oracle Studio 12 上编译。

#include <vector>
#include <algorithm>


class Functor
{
public:
    virtual bool operator()(int a, int b) const = 0;
};


class MyFunctor: public Functor
{
public:
    virtual bool operator()(int a, int b) const { return true; }
};


int _tmain(int argc, _TCHAR* argv[])
{
    vector<Functor> fv; // template of abstract class is possible
    vector<int> v;
    MyFunctor* mf = new MyFunctor();
    sort(v.begin(), v.end(), *mf);
    Functor* f = new MyFunctor();
    // following line does not compile: 
    // "Cannot have a parameter of the abstract class Functor"
    sort(v.begin(), v.end(), *f); 
    return 0;
}

现在，我想知道这是否是函子参数的一般属性，还是取决于 STL 实现？有没有办法得到，我想做什么？

4

3 回答 3

13

函子通常需要是可复制的。多态基类通常不可复制，而抽象基类则永远不可复制。

更新：感谢@ahenderson 和@ltjax 的评论，这是一种非常简单的方法来生成包含原始多态引用的包装器对象：

#include <functional>

std::sort(v.begin(), v.end(), std::ref(*f));
//                            ^^^^^^^^^^^^

结果std::ref就是std::refrence_wrapper你所需要的：一个具有值语义的类，它包含对原始对象的引用。

仿函数被复制的事实让很多人想在仿函数中积累一些东西，然后想知道为什么结果不正确。函子应该真正引用外部对象。以机智：

坏的！不会像你期望的那样工作；函子可以被任意复制：

struct Func1 {
    int i;
    Func1() : i(0) { }
    void operator()(T const & x) { /* ... */ }
};

Func1 f;
MyAlgo(myContainer, f);

好： 您提供蓄电池；复制仿函数是安全的：

struct Func2 {
   int & i;
   Func2(int & n) : i(n) { }
   void operator()(T const & x) { /* ... */ }
};

int result;
MyAlgo(myContainer, Func2(result));
于 2012-09-13T14:08:57.547 回答
5

正如Kerrek所说，您不能直接这样做：

但是一级间接，你就可以了。

struct AbstractFunctor
{
  AbstractFunctor( Functor * in_f ): f(in_f) {}
  // TODO: Copy constructor etc.

  Functor * f;
  bool operator()(int a, int b) const { return (*f)(a,b); }
};

int main()
{
  vector<int> v;
  Functor * mf = new MyFunctor();
  sort(v.begin(), v.end(), AbstractFunctor(mf) );
}
于 2012-09-13T14:14:35.233 回答
2

正如Kerrek 和Michael Anderson 所说，你不能直接这样做。正如 Michael 所示，您可以编写一个包装类。但也有一个std::：

sort(v.begin(),
     v.end(), 
     std::bind(&Functor::operator(),
               mf,
               std::placeholders::_1,
               std::placeholders::_2) );
于 2012-09-13T14:33:27.847 回答