首页 > 代码库 > c++ founction object

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
}


c++ founction object