stl--仿函数

stl--仿函数

仿函数(functor)又称之为函数对象（function object），其实就是重载了()操作符的struct，没有什么特别的地方。

如以下代码定义了一个二元判断式functor：

struct IntLess
{
bool operator()(int left, int right) const
{
   return (left < right);
};
};

为什么要使用仿函数呢？

1.仿函数比一般的函数灵活。

2.仿函数有类型识别，可以作为模板参数。

3.执行速度上仿函数比函数和指针要更快的。

怎么使用仿函数？

除了在stl里，别的地方你很少会看到仿函数的身影。而在stl里仿函数最常用的就是作为函数的参数，或者模板的参数。

在stl里有自己预定义的仿函数，比如所有的运算符，=，-，*，、。。。。。比如'<'号的仿函数是less

template<class _Ty>
struct less   : public binary_function<_Ty, _Ty, bool>
{ // functor for operator<
        bool operator()(const _Ty& _Left, const _Ty& _Right) const
                   { // apply operator< to operands
                              return (_Left < _Right);
                   }
};

从上面的定义可以看出，less从binary_function<...>继承来的，那么binary_function又是什么的？

template<class _Arg1, class _Arg2, class _Result>
struct binary_function
{ // base class for binary functions
        typedef _Arg1 first_argument_type;
        typedef _Arg2 second_argument_type;
      typedef _Result result_type;
};

其实binary_function只是做一些类型声明而已，别的什么也没做，但是在stl里为什么要做这些呢？如果你要阅读过stl的源码，你就会发现，这样的用法很多，其实没有别的目的，就是为了方便，安全，可复用性等。但是既然stl里面内定如此了，所以作为程序员你必须要遵循这个规则！否则就别想安全的使用stl！

比如我们自己定一个+的仿函数。可以这样：

template <typename type1,typename type2>
class func_equal :public binary_function<type1,type2,bool>
{
        inline bool operator()(type1 t1,type2 t2) const//这里的const不能少
            {
                 return t1 == t2;//当然这里要overload==

             }
}

我们看这一行： inline bool operator()(type1 t1,type2 t2) const//这里的const不能少
inline是声明为内联函数，我想这里应该不用多说什么什么了，关键是为什么要声明为const的？要想找到原因还是看源码，加入如果我们这里写一行代码，find_if(s.begin(),s.end(),bind2nd(func_equal (),temp)),在bind2nd函数里面的参数是const类型的，const类型的对象，只能访问cosnt修饰的函数！

与binary_function(二元函数)相对的是unary_function(一元函数),其用法同binary_function

struct unary_function { 
typedef _A argument_type; 
typedef _R result_type; 
};

要点：仿函数就是重载()的class，并且重载函数要为const的..

          如果要自定义仿函数，并且用于stl接配器，那么一定要从binary_function或者，unary_function继承.