stl仿函数

仿函数(functor)又称之为函数对象（function object），是重载了()操作符的类，即比较函数。单元（参数）的unary_function 是跟某个值比较，双元（参数）的就相互间比较。需要头文件<functional>，在std命名空间中。

1、一元仿函数

定义类型能由派生类继承提供一元求函数对象的空的基本结构。

template<class Arg, class Result>
   struct unary_function {
      typedef Arg argument_type;
      typedef Result result_type;
   };

模板结构作为一个基。对于定义窗体 result_typeoperator()的选件类(constargument_type&) const的成员函数。

当 argument_type 及其返回类型为 result_type，所有此类派生的一元"功能可以引用自己唯一的参数类型。

代码如下(unary_function)： 

// compile with: /EHsc
#include <vector>
#include <functional>
#include <algorithm>
#include <iostream>

using namespace std;

// Creation of a user-defined function object
// that inherits from the unary_function base class
class greaterthan10: unary_function<int, bool>
{
public:
    result_type operator()(argument_type i)
    {
        return (result_type)(i > 10);
    }
};

int main()
{
    vector<int> v1;
    vector<int>::iterator Iter;

    int i;
    for (i = 0; i <= 5; i++)
    {
        v1.push_back(5 * i);
    }

    cout << "The vector v1 = ( " ;
    for (Iter = v1.begin(); Iter != v1.end(); Iter++)
        cout << *Iter << " ";
    cout << ")" << endl;

    vector<int>::iterator::difference_type result1;
    result1 = count_if(v1.begin(), v1.end(), greaterthan10());
    cout << "The number of elements in v1 greater than 10 is: "
         << result1 << "." << endl;
} 

这个矢量v1 = (0 5 10 15 20 25)元素数大于v1的大于10是：3.

二元仿函数：

如以下代码定义了一个二元判断式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==
             }
}

 

仿函数就是重载()的class，并且重载函数要为const的，如果要自定义仿函数，并且用于STL接配器，那么一定要从binary_function或者，unary_function继承。