# 十、STL函数对象---函数对象的概念

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/jingza/article/details/77772937

标签(空格分隔): c++STL


Function object的概念

就是一个定义了operator()的对象;

class FunctionOjbectType{
public:
    void operator()(){
        //statements
    }
};

FunctionObjectType fo;
fo();  //调用的fo对象的operator()

优点:

  1. function object 比一般函数灵巧,可以拥有状态;同样的函数对象类可以拥有不同的实例;
  2. 每个函数对象由类型;因此可以将函数对象的类型当做模板参数传递;容器也可以因为不同的函数对象不同而不同;
  3. 执行速度上,函数对象比函数指针快;

1 以函数对象为排序准则

例如:使用函数对象类为容器排序;

template < class T,                        // set::key_type/value_type
           class Compare = less<T>,        // set::key_compare/value_compare
           class Alloc = allocator<T>      // set::allocator_type
           > class set;

set容器提供默认排序为less<T>类,可以自定义:

class FunctionOjbectType{
public:
    void operator()(){
        //statements
    }
};

set<Myclass, FunctionObjectType> p; //函数对象为排序规则

2 FUnction object 拥有内部状态

通过给函数对象传递参数改变状态:

  • 值传递
  • 引用传递
    传递参数都是通过构造函数传递;
class FunctionOjbectType{
public:
    FunctionOjbectType(Args .. args){
    //statements
    }
    void operator()(){
        //statements
    }
};

3 for_each()的返回值

for_each可以传回其函数对象,因此可以通过for_each的返回值获取函数对象的状态;

template<class InputIterator, class Function>
  Function for_each(InputIterator first, InputIterator last, Function fn)
{
  while (first!=last) {
    fn (*first);
    ++first;
  }
  return fn;      // or, since C++11: return move(fn);
}

例子:

class MeanValue{
public:
    int num;
    int sum;
    MeanValue():num(0),sum(0){}
    void operator()(int elem){
        ++num;
        sum += elem;
    }

    double value(){
        return static_cast<double>(sum)/static_cast<double>(num);
    }
};
//-----------省略--------------
vector<int> v={1,2,3,4,5,6};

MeanValue mv = for_each(v.begin(),v.end(),MeanValue());

4 predicate (判断式)和function object(函数对象)

  • predictate: 返回boolean值的函数或者函数对象
  • 对stl而言,并非所有boolean值的函数都是合法的predictate;
    例子:
class rm{
public:
    int count;
    int nth;
    rm(int n) :count(0), nth(n){
    }
    bool operator()(int n){
        return ++count == nth;
    }
};
//--------------省略----------
    vector<int> v = {1,2,3,4,5,6,7,8,9};
    vector<int>::iterator it,iter;
    it = remove_if(v.begin(), v.end(), rm(3));
    for (iter = v.begin(); iter != it; ++iter)
        cout << *iter<<" ";

结果为:

1 2 4 5 7 8 9

缺少了3和6;
原因:

template<typename ForwIter, typename Predicate>
ForwIter remove_if(ForwIter beg, ForwIter end,Predicate op)
{
    beg = find_if(beg,end,op);
    if(beg==end)
        return beg;
    else{
        ForwIter next = beg;
        return remove_copy_if(++next,end,beg,op);
    }

}

这个算法使用find_if查找被移除的第一个元素,然后,使用传入的predicate处理剩下的元素,这个时候原始的Nth再次被使用;就会移除第六个元素;

【注意:】为了考虑不该依赖任何实现细节,应该总是将predicate的operator()声明为const成员函数;

阅读更多
换一批

没有更多推荐了,返回首页