C++函数对象与仿函数

重载函数调用操作符的类，称为函数对象。当函数对象使用重载的小括号（）时，行为类似函数调用，也叫仿函数。

函数对象（仿函数）是一个类，不是一个函数。

特点：

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

例

#include<iostream>
#include"string"
using namespace std;
class MyAdd
{
public:
	int operator()(int v1, int v2)
	{
		return v1 + v2;
	}
};
class MyPrint
{
public:
	MyPrint()
	{
		this->count = 0;
	}
	void operator()(string test)
	{
		cout << test << endl;
		this->count++;
	}
	int count;
};
//函数对象在使用时可以像普通函数那样调用
void test01()
{
	MyAdd myadd;
	cout << myadd(10, 10) << endl;
}
//函数对象可以有自己的状态
void test02()
{
	MyPrint myprint;
	myprint("Hello!");
	myprint("Hello!");
	myprint("Hello!");
	cout << "调用次数为：" << myprint.count << endl;
}
//函数对象可以作为参数传递
void doPrint(MyPrint& mp, string test)
{
	mp(test);
}
void test03()
{
	MyPrint myprint;
	doPrint(myprint, "Hello");
}
int main()
{
	//test01();
	//test02();
	test03();
}

1、谓词

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

case 1：一元谓词

#include<iostream>
#include<vector>
#include"string"
#include<algorithm>
using namespace std;
//一元谓词
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的数
	//GreaterFive() 匿名的函数对象
	vector<int>::iterator it=find_if(v.begin(), v.end(), GreaterFive());
	if (it == v.end())
	{
		cout << "未找到！" << endl;
	}
	else
	{
		cout << "找到了！大于5的数字为：" << *it << endl;
	}
}
int main()
{
	test01();
}

case 2：二元谓词

#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;
//二元谓词
class myCompare
{
public:
	bool operator()(int v1, int v2)
	{
		return v1 > v2;
	}
};
void test01()
{
	vector<int> v;
	v.push_back(1);
	v.push_back(4);
	v.push_back(2);
	v.push_back(3);
	//sort默认为从小到大，改变sort的排序策略
	sort(v.begin(), v.end(),myCompare());
	for (vector<int>::iterator it = v.begin(); it != v.end(); it++)
	{
		cout << *it << " ";
	}
	cout << endl;
	
}
int main()
{
	test01();
}

2、内建函数对象

STL内建了一些单数对象，包括算数仿函数，关系仿函数和逻辑仿函数。

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

2.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>	取反仿函数

#include<iostream>
#include<functional>
using namespace std;
//一元仿函数：取反仿函数negate
void test01()
{
	negate<int> n;
	cout << n(50) << endl;
}
//加法仿函数
void test02()
{
	plus<int> p;
	cout << p(10,20) << endl;
}
int main()
{
	test01();
	test02();
}

2.1、关系仿函数

主要实现关系对比的操作。

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

#include<iostream>
#include<functional>
#include<vector>
#include<algorithm>
using namespace std;
class myCompare
{
public:
	bool operator()(int v1, int v2)
	{
		return v1 > v2;
	}
};
void test01()
{
	vector<int> v;
	v.push_back(10);
	v.push_back(13);
	v.push_back(15);
	v.push_back(12);
	for (vector<int>::iterator it = v.begin(); it != v.end(); it++)
	{
		cout << *it << " ";
	}
	cout << endl;

	//降序：方法1
	//sort(v.begin(),v.end(),myCompare());
	//降序：方法2
	sort(v.begin(), v.end(), greater<int>());
	for (vector<int>::iterator it = v.begin(); it != v.end(); it++)
	{
		cout << *it << " ";
	}
	cout << endl;
}
int main()
{
	test01();
}

2.3、逻辑仿函数

Template<class T> bool logical_and<T>	与
Template<class T> bool logical_or<T>	或
Template<class T> bool logical_not<T>	非

#include<iostream>
#include<functional>
#include<vector>
#include<algorithm>
using namespace std;
class myCompare
{
public:
	bool operator()(int v1, int v2)
	{
		return v1 > v2;
	}
};
void test01()
{
	vector<bool> v;
	v.push_back(true);
	v.push_back(false);
	v.push_back(true);
	v.push_back(false);
	for (vector<bool>::iterator it = v.begin(); it != v.end(); it++)
	{
		cout << *it << " ";
	}
	cout << endl;
	//利用逻辑非，将容器v搬运到容器v2中，并执行取反操作

	vector<bool> v2;
	v2.resize(v.size());
	transform(v.begin(), v.end(), v2.begin(), logical_not<bool>());
	for (vector<bool>::iterator it = v2.begin(); it != v2.end(); it++)
	{
		cout << *it << " ";
	}
	cout << endl;
}
int main()
{
	test01();
}