OOP：3.仿函数

1.仿函数是啥

仿函数：像函数的类（或结构体） function-like classes/functor

一个类是仿函数的标志：有operator()的重载

        operator()：function call operator

2.标准库中的仿函数举例

仿函数举例：

1. identity返回自身

template <class T>
struct identity
{
    const T& operator() (const T& x) const{return x;}
};

2. 取出第一个/第二个，类模板中类型名称暗示传入的是pair 

template <class Pair>
struct select1st
{
    const typename Pair::first_type& operator()(const Pair& x) const {return x.first;}
};

template <class Pair>
struct select2nd
{
    const typename Pair::second_type& operator()(const Pair& x) const {return x.second;}
};

标准库中对Pair的定义：

template <class T1, class T2>
struct Pair
{
    T1 first;
    T2 second;
    pair():first(T1()),second(T2()){}
    pair(const T1& a,const T2& b):first(a),second(b){}
    ...
};

3.标准库中仿函数继承的奇特基类

实际上，标准库中的仿函数继承了一些奇特的基类（灰色部分）：

这些基类包括：

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

template <class Arg1,class Arg2,class Result>
struct binary_function
{
    typedef Arg1 first_argument_type;
    typedef Arg2 second_argument_type;
    typedef Result result_type;
};