STL-函数对象

1 函数对象

1.1 函数对象概念

• 重载函数调用操作符的类，其对象常称为函数对象
• 函数对象使用重载的()时，行为类似函数调用，也叫仿函数

本质： 函数对象（仿函数）是一个类，不是函数

1.2 函数对象使用

特点：

• 函数对象在使用时，可以普通函数那样调用，可以有参数，可以有返回值
• 函数对象超出普通函数的概念，函数对象可以有自己的状态
• 函数对象可以作为参数传递

示例1：函数对象在使用时，可以普通函数那样调用，可以有参数，可以有返回值

class MyAdd
{
public:
	int operator()(int v1, int v2)
	{
		return v1+v2;
	}
}
void test01()
{
	MyAdd myadd;
	cout << myadd(10, 10) << endl;
}

示例2：函数对象超出普通函数的概念，函数对象可以有自己的状态(变量)

class MyPrint
{
public:
	int count;		//函数对象自己的属性，此处用于记录调用得次数
	MyPrint();
	~MyPrint();
	void operator()(string test)
	{
		cout << test << endl;
		this->count++;
	}
};
MyPrint::MyPrint()
{
	this->count = 0;
}
MyPrint::~MyPrint()
{
	cout << "destructor is called." << endl;
}

void test02()
{
	MyPrint myPrint;
	myPrint("hellow world");
	myPrint("hellow world");
	myPrint("hellow world");
	myPrint("hellow world");

	cout << "myPrint调用得次数" << myPrint.count << endl;
}

示例3：函数对象可以作为参数传递

void doPrint(MyPrint& mp, string test)
{
	mp(test);
}
void test03()
{
	MyPrint myPrint;
	doPrint(myPrint, "Helllo c++");
}

2 谓词

2.1 谓词概念

• 返回bool类型得仿函数叫做：谓词-Pr _Pred
• 如果operator()接受一个参数，那么该仿函数称为一元谓词
• 如果operator()接受二个参数，那么该仿函数称为二元谓词

2.2 一元谓词示例

class GreaterFive
{
public:
	bool operator()（int val)
	{
		return val>5;
	}
};

void test01()
{
	vector <int> v;
	for (int i=0; i<10; i++)
	{
		v.push_back(i);
	}

	//查找容器中，是否有大于5的数字
	//GraterFive()调用默认构造函数，创建匿名对象
	vector<int>::iterator it = find_if(v.begin(), v.end(), GreatFive());
	if(it==v.end()
	{
		cout<< "未找到" << endl;
	}else
	{
		cout << ""找到了大于5的数字为："" << *it << endl;
	}
}

3 内建函数对象

3.1 内建函数对象意义

概念： STL内建了一些函数对象
分类：

• 算数仿函数
• 关系仿函数
• 逻辑仿函数

用法：

• 这些仿函数所产生的对象，用法和一般函数完全相同
• 使用内建函数对象，需要引入头文件#include<functional>

3.2 算术仿函数

功能描述：

• 实现四则运算
• 其中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> //取反仿函数

#include<functional>
void test01()
{
	negate<int>n;
	cout << n(50) <<endl
}

void test02()
{
	plus<int>p;
	cout << p(10, 20) << endl;
}

3.3 关系仿函数

仿函数原型：

• 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> //小于等于

class MyCompare
{
public:
	bool operator()(int v1, int v2)
	{
		return v1 > v2;
	}
}

void test01()
{
	vector<int>v;
	v.push_back(10);
	v.push_back(30);
	v.push_back(20);
	v.push_back(60);
	for (vector<int>::iterator it=v.begin(); it!=v.end(); it++)
	{
		cout << *it << " ";
 	}
 	cout << endl;
	//降序
	//sort(v.begin(), v.end(), MyCompare());
	//greater<int>()等价于MyCompare()
	sort(v.begin(), v.end(), greater<int>());
	
	for (vector<int>::iterator it=v.begin(); it!=v.end(); it++)
	{
		cout << *it << " ";
 	}
}

3.4 逻辑仿函数

函数原型：

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