function object

Function object

首先从名字来看，所谓function object 实际上是一个object。但是为什么叫function object 呢，
很自然的可以想到，这个object表现出了function的特点。那什么是function呢，所有的可以被调用，并且可以接受参数的的“东西”。
比如下面的例子：

#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;

class printint
{
public:
 void operator()(int item) const{
  cout<<item<<endl;
 }

};
void add(int & item)
{
 item+=5;
}
int main()
{
 vector<int> coll;
 for(int i=0;i<10;i++)
  coll.push_back(i);
 for_each(coll.begin(),coll.end(),add);
 for_each(coll.begin(),coll.end(),printint());
 return 1;
}

在这个例子里面我们首先看看for_each的定义。
template<class Iterator, class operation>
 operation for_each (Iterator act,Iterator end,operation op)
 {
  whiel(act!=end)
  {
   op(*act);//注意看这一行
   ++act;
  }
 }
我们在上面标注的一行，在哪里调用了一个函数。
我们在回过头来看看main()函数中的代码，其中两次调用了for_each，分别在其中给第三个参数传递了 add，和printint（）。第一次传进的参数add是一个函数，我们将其代入到for_each的源代码中可以看到，正好调用了add(*act),对每个vector元素加5；第二次传入的参数为printint（），显然这里我们构造了一个临时的对象，将其传入后op为printint类的对象，然后for_each对其调用
op(*act),我们可以看到由于类printint重载了操作符（），因此正好就调用了这个函数operator()，实现了目的。这里我们可以看到printint()类被当做是一个function来对待，因此可以看做是function object。
我们得出结论，要将一个对象当做function object来使用，那么这个类必须得重载了()操作符才行。

我们现在来看看function object与一般的函数相比有是什么好处：
还是看看上面的例子，如果我们在add函数中加上另外一个数字呢，该怎么办？有一种做法是使用全局变量代替item+=num (注：此处num为全局变量)，但是要知道全局变量很容易被修改因此是危险的。而且，上面的写法我们只能在compile的时候将所加的值确定，无法做到动态的加减（当然用全局变量可以做到）。
我们可以用function object来解决以上问题。由于function object是一个object，因此它必然会有成员函数和成员变量，我们便可以更具其成员变量来改变其状态灵活的实现动态加减。
我们定义如下的类：
template<class T>
class objectadd
{
private:
 T value;
public:
 objectadd(const T& value ):value(value){}
 void operator()(T& des)
 {
  des+=value;
 }
};

并且将它添加进入main代码中：
for_each(coll.begin(),coll.end(),objectadd<int>(3));
这里我们可以看到，我们定义了一个模板类，并且在类成员中定义了一个成员函数 value，使用时只要我们指定模板类型，并且在构造函数上添加value的值，我们就可以做到指定加减的效果，而且由于我们可以动态的定义类，变也解决了oridinary function难以实现动态加减的问题。