仿函数基础

看着一堆目录，真伤……
仿函数说的简单一点就是一个类，这个类重载了operator()，仿函数（functors）是早期的命名，后来在C++标准规定出现以后，新名称为函数对象（function Object）。仿函数的出现是源于STL中算法的需求，在STL的算法中很多时候需要传入一些操作。如果要将一些操作作为参数传递给算法，方法只有两个：一是设计一个函数，再将函数指针作为算法的一个参数；或者是将该“操作”设计成一个仿函数（就语言层面来看是个class），再以该仿函数产生一个对象，并对此对象作为算法一个参数。虽然有两个选择，但是函数指针并不能达到STL抽象性的要求，也不能满足软件积木的要求，无法和STL其他组件搭配。

初识仿函数

仿函数其实可以认为是重载了operator()的class：

#include <iostream>
#include <functional>
using namespace std;
int main()
{
    greater<int> gt;
    cout << boolalpha << gt(4, 6) << endl;
    cout << greater<int>()(4, 6) << endl;
    system("pause");
    return 0;
}

上面函数中在9行使用的boolalpha是一种所谓的iostream mainpulators(操控器)，用来控制输出设备的状态，boolalpha意思是从此以后的bool值的输出都以字符串“true”或“false”表现。上面使用了仿函数greater，该仿函数会比较第一个值是否比第二个值大，第一种使用方法是比较常见的，第二种方法中是产生一个临时（无名）对象，之后再传入参数，这种用法是仿函数的主流用法。可以得到结果:

其实关于仿函数，我们只需要知道STL中内置了那些仿函数以及如何简单的构建的仿函数即可。

如何构建简的仿函数

其实仿函数的写起来建的很，简单到我都觉得不够这一小节。其实，只需要知道仿函数只是重载了operator()的类即可，话不多说，先来个例子：

template<typename T>
class CMP :public binary_function < T, T, bool >
{
public:
    bool operator()(const T& _a, const T& _b)
    {
        //
        return _a == _b;
    }
};

上面的代码就是一个简单的仿函数，仿函数需要提供被函数配接器修饰的能力，这里我们通过继承binary_function来获得这个能力，其实在STL中也是这么做的。STL中提供了两个class，分别表示一元仿函数和二元仿函数，其中没有任何的数据成员和成员函数，只是定义了一些特别的类型：

unary_function表示一元仿函数：
template<class _Arg,
    class _Result>
    struct unary_function
    {   // base class for unary functions
    typedef _Arg argument_type;
    typedef _Result result_type;
    };

从上面可以看到，只是定义了一些类型。
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;
    };

STL不支持三元仿函数，也没有必要。

STL的内置仿函数

STL内置了一些仿函数供我们使用，在造轮子之前还是要去看看有什么轮子的：

Markdown的表格不会玩……
上面只是基本的常用仿函数，其实和自己构建也没差，结合lambda，有更好的用处。