我已经在SO上找到了一些很好的仿函数示例,例如
this,并且所有令人信服的示例似乎都使用了定义operator()的类中的状态.
我在一本书中遇到了一个例子,它定义了函数调用操作符而没有状态,我不禁觉得这是一个尴尬的用法,而且一个普通的样式函数指针,比使用operator()更好.这里的每一个方法 – 更少的代码,更少的变量(你必须实例化比较器),它可能由于实例化而更有效,并且没有意义或封装的损失(因为它只是一个函数).
我知道std :: sort允许你在operator()类和函数之间进行选择,但由于上面的逻辑,我总是只使用这些函数.
为什么选择课程的原因是什么？
这是一个例子(释义)：
class Point2D {
//.. accessors,constructors
int x,y;
};
class HorizComp {
public:
bool operator()(const Point2D& p,const Point2D& q) const
{ return p.getX() < q.getX(); }
};
class VertComp {
public:
bool operator()(const Point2D& p,const Point2D& q) const
{ return p.getY() < q.getY(); }
};
template <typename E,typename C>
void printSmaller(const E& p,const E& q,const C& isLess) {
cout << (isLess(p,q) ? p : q) << endl; // print the smaller of p and q
}
//...
// usage in some function:
Point2D p(1.2,3.2),q(1.5,9.2);
HorizComp horizComp;
VertComp vorizComp;
printSmaller(p,q,horizComp);
printSmaller(p,vorizComp);
解决方法
典型的原因是当你这样做时：
bool less_than(const Point&,const Point&); // ... std::sort(...,&less_than);
谓词的模板参数如下：
bool(const Point&,const Point&)
由于sort函数接收函数指针,因此编译器更难以内联std :: sort()中的谓词用法.这是因为你可以有另一个功能
bool greater_than(const Point&,const Point&);
它具有完全相同的类型,这意味着std :: sort()instatiation将在两个谓词之间共享. (记住,我说它使内联更难,而不是不可能).
相反,当你这样做：
struct less_than {
bool operator()(const Point&,const Point&) const;
};
// ...
std::sort(...,less_than());
struct greater_than {
bool operator()(const Point&,greater_than());
编译器为每个谓词生成std :: sort()的唯一模板实例化,从而更容易内联谓词的定义.
