C++：函数对象、谓词、内建函数对象、函数适配器

一、基本概念

     如果一个类将()运算符重载为成员函数，这个类就称为函数对象类，这个类的对象就是函数对象。函数对象是一个对象，使用重载的()时，使用形式看起来像函数调用，又称仿函数。

    函数对象(仿函数)的本质是一个类，不是一个函数。

特点：

• 函数对象不定义构造函数和析构函数，所以在构造和析构时不会发生任何问题，避免了函数调用的运行时问题
• 函数对象超出普通函数的概念，函数对象可以有自己的状态
• 函数对象可内联编译，性能好，用函数指针几乎不可能
• 函数对象可以作为参数传递
• 函数对象在使用时，可以像普通函数那样有参数，有返回值

示例如下：

1）函数对象在使用时，可以有参数，返回值

class Add
{
public:
    int operator()(int m,int n)
    {
        return m+n;
    }
};

int main()
{
    Add add;
    cout<<add(10,20)<<endl;

    return 0;
}

2)内部可以有自己的状态

class Add
{
public:
    Add(){
        count=0;
    }
    int operator()(int m,int n)
    {
        count++;
        return m+n;
    }
    int count;
};

int main()
{
    Add add;
    cout<<add(10,20)<<endl;
    cout<<add(20,30)<<endl;
    cout<<add(30,40)<<endl;
    cout<<add.count<<endl;//3,调用了3次数

    return 0;
}

3)可以作为参数传递

class Add
{
public:
    Add(){
        count=0;
    }
    int operator()(int m,int n)
    {
        count++;
        return m+n;
    }
    int count;
};

void func(Add &add,int m,int n)
{
    cout<<add(m,n)<<endl;
}

int main()
{
    Add add;
    func(add,10,20);

    return 0;
}

二、谓词

     返回bool类型的仿函数称为谓词；如果operator()接收一个参数，称为一元谓词；如果operator()接收2个参数，称为2元谓词。

示例1：1元谓词

class Add
{
public:

    bool operator()(int m)
    {
      return m>5;
    }

};


int main()
{
    Add add;
    cout<<add(4)<<endl;

    return 0;
}

示例2:自定义排序规则

class compare
{
public:

    bool operator()(int m,int n)
    {
      return m>n;
    }

};


int main()
{
    vector<int> arr={1,2,3,4,5};
    sort(arr.begin(),arr.end(),compare());
    for(int i=0;i<arr.size();i++)
        cout<<arr[i]<<endl;
    return 0;
}

三、内建函数对象

     STL内建了一些函数对象，注意包括算术仿函数，关系仿函数，逻辑仿函数。这些仿函数所产生的对象，用法和一般函数完全相同，使用内建函数对象，需要引入头文件#include<functional>

3.1算术仿函数

     是为了实现四则运算，其中negate是一元运算，其他是二元运算。算术仿函数的函数原型为：

template<class T> T plus<T> //加法仿函数
template<class T> T minus<T> //减法仿函数
template<class T> T multiplies<T> //乘法仿函数
template<class T> T divides<T> //除法仿函数
template<class T> T modulus<T> //取模仿函数
template<class T> T negate<T> //取反仿函数

示例如下：

plus<int> p;
    cout<<p(10,20)<<endl;//加法，30

    minus<int> m;
    cout<<m(10,20)<<endl;//减法，-10

    multiplies<int> mu;
    cout<<mu(10,20)<<endl;//乘法 200

    divides<int> d;
    cout<<d(10,20)<<endl;//除法 0

    modulus<int> mo;
    cout<<mo(10,20)<<endl;//取模 10

    negate<int> n;
    cout<<n(20)<<endl;//取反 -20

3.2关系仿函数

       实现关系对比。函数原型为：

template<class T> bool equal_to<T> //等于
template<class T> bool not_equal_to<T> //不等于
template<class T> bool greater<T> //大于
template<class T> bool greater_equal<T> //大于等于
template<class T> bool less<T> //小于
template<class T> bool less_equal<T> //小于等于

示例如下：

 equal_to<int> e;
    cout<<e(10,20)<<endl;//等于 0

    not_equal_to<int> n;
    cout<<n(10,20)<<endl;//不等于 1

    greater<int> g;
    cout<<g(10,20)<<endl;//大于   0

    greater_equal<int> ge;
    cout<<ge(10,20)<<endl;//大于等于 0

    less<int> l;
    cout<<l(10,20)<<endl;//小于    1

    less_equal<int> le;
    cout<<le(10,20)<<endl;//小于等于    1

3.3逻辑仿函数

      实现逻辑运算。函数原型为：

template<class T> bool logical_and<T> //逻辑与
template<class T> bool logical_or<T> //逻辑或
template<class T> bool logical_not<T> //逻辑非

示例如下：

logical_and<int> la;
cout<<la(1,0)<<endl;//逻辑与    0

logical_or<int> lo;
cout<<lo(1,0)<<endl;//逻辑或   1

logical_not<int> ln;
cout<<ln(1)<<endl;//逻辑非    0

四、函数适配器

    C++中适配器分为容器适配器、迭代适配器、函数适配器。