c++ founction object

根据SGI官方文档，仿函数也叫函数对象（Function Object, or Functor），定义就是任何可以像函数一样被调用的对象。一个普通的函数是函数对象，一个函数指针当然也是，广义上说任何定义了operator()的类对象都可以看作是函数对象。

仿函数(Functor、Function Object)
传递给STL算法的函数型参数(functional arguement)不一定要是函数，可以是行为类似于函数的对象，即Function Object或者Functor。
STL中大量运用了Function Object，也提供了很多预先定义的Function Object。
如果你定义了一个对象，其行为像函数，就可以拿来当函数使用。
那么什么才算具备函数行为呢？
函数行为：是指可以使用小括号传递参数，籍以调用某个东西
如：function(arg1,arg2);
在C++中要实现这个，你只要定义operator(),并给予适当的参数类型
类似于下面的定义：

class Functor
{
public:
      return-value operator(arguments) const;
};
 则现在我们就可以把这个类型的对象当函数调用了：
Functor f;
f(arg1,arg2);  //等价于f.operator(arg1,arg2);
 
最基本的仿函数举例：
/**
Function Object
*/
class PrintInt
{
public:
    void operator()(int elem) const
    {
        std::cout<<elem<<‘ ‘;
    }
};
void testPrintInt()
{
    std::vector<int> intVec;
    for(int i=1;i<10;++i)
        intVec.push_back(i);
    for_each(intVec.begin(),intVec.end(),
             PrintInt());    ///PrintInt()产生此类型的一个临时对象，当for_each算法的一个参数
    std::cout<<std::endl;
}

STL中for_each()算法大致实现如下：

template <typename Iterator, typename operation>
operation for_each(Iterator b,Iterator e,operation op)
{
    while(b++ != e)
    {
        op(*b);
    }
    return op;
}

在本例中，for_each()调用PrintInt::operator(*b);
仿函数的优点：
1.仿函数是对象，可以拥有成员函数和成员变量，即仿函数拥有状态(states)
2.每个仿函数都有自己的类型
3.仿函数通常比一般函数快（很多信息编译期确定）
举例子：现在要实现对集群中每个元素都加上一个固定值
/**
一般函数
用户期望在编译期就知道这个数
*/
void add10(int& value)
{
    value+=10;
}
/**
函数模板
需要数个不同的固定值，而它们在编译期都已确定

*/
template<int theValue>
void addValue(int& value)
{
    value+=theValue;
}
/**
仿函数
*/
class AddValue
{
private:
    int value;
public:
    AddValue(int v):value(v){}
    void operator()(int& elem) const
    {
        elem += value;
    }
};
void testAddValue()
{
    std::list<int> intList;
    for(int i=1;i<10;++i)
        intList.push_back(i);
    std::cout<<"Initialized:\n";
    copy(intList.begin(),intList.end(),
         std::ostream_iterator<int>(std::cout," "));
    for_each(intList.begin(),intList.end(),
             add10);  ///调用函数，编译期确定10
    std::cout<<"\nAfter add10:\n";
    copy(intList.begin(),intList.end(),
         std::ostream_iterator<int>(std::cout," "));
    for_each(intList.begin(),intList.end(),
             addValue<11>);///调用函数模板，编译期确定11
    std::cout<<"\nAfter addValue:\n";
    copy(intList.begin(),intList.end(),
         std::ostream_iterator<int>(std::cout," "));
    //for_each(intList.begin(),intList.end(),
    //         addValue<*(intList.begin())>);  //error，因为template必须编译期知道模板参数，而这里是运行时才知道的
    //std::cout<<"\nAfter addValue:\n";
    //copy(intList.begin(),intList.end(),
    //     std::ostream_iterator<int>(std::cout," "));
    for_each(intList.begin(),intList.end(),
             AddValue(15));
    std::cout<<"\nAfter AddValue 15:\n";
    copy(intList.begin(),intList.end(),
         std::ostream_iterator<int>(std::cout," "));
    for_each(intList.begin(),intList.end(),
             AddValue(*intList.begin()));  ///执行期间，函数模板的优势！！
    std::cout<<"\nAfter AddValue dynamically:\n";
    copy(intList.begin(),intList.end(),
         std::ostream_iterator<int>(std::cout," "));
}

STL提供了很多预定义的仿函数，如：
equal_to , not_equal_to , less , greater , less_equal , greater_equal , nagate, multiplies等
下面是几个运行STL预先定义仿函数的例子：

void testPreDefFunctor()
{
    std::list<int> intList;
    std::set<int,std::greater<int> > intSet;
    for(int i=1;i<10;++i)
    {
        intList.push_back(i);
        intSet.insert(i);
    }
    intList.sort(std::greater<int>());  ///从大到小排序
    transform(intList.begin(),intList.end(),  ///source1
              intList.begin(),///source2
              intList.begin(),///dest
              std::multiplies<int>());///operation
}