C++STL 函数对象、谓词、内置函数对象

函数对象

概念：

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

本质：

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

函数对象使用

特点

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

示例

class MyAdd 
{
public:
	int operator()(int v1, int v2) {
		return v1 + v2;
	}
};

class MyPrint
{
public:
	MyPrint() {
		count = 0;
	}

	void operator()(string test) {
		cout << test << endl;
		count++;	//统计使用次数
	};

	int count;		//函数内部自己的状态
};

void doPrint(MyPrint& mp, string test) {
	mp(test);
}

//1、函数对象在使用时，可以像普通函数那样调用，可以有参数，可以有返回值
MyAdd myAdd;
cout << myAdd(10, 10) << endl;

//2、函数对象超出普通函数的概念，它可以有自己的状态
MyPrint myPrint;
myPrint("hello world");
myPrint("hello world");
myPrint("hello world");
myPrint("hello world");
myPrint("hello world");
cout << "myPrint调用次数为：" << myPrint.count << endl;
	
//3、函数对象可以作为参数传递
doPrint(myPrint, "hello C++");

运行结果：

谓词

概念

• 返回bool类型的仿函数称为谓词
• 如果operator()接收一个参数，那么叫做一元谓词
• 如果operator()接收一个参数，那么叫做二元谓词

---

内建函数对象

STL内建了一些函数对象

分类：

• 算术仿函数
• 关系仿函数
• 逻辑仿函数（与、或、非运算）

用法：

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

算术仿函数

功能描述

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

示例

//negate为一元仿函数	取反运算
negate<int>n1;
	cout << n1(50) << endl;		//输出-50

//plus二元仿函数	加法运算
plus<int>n2;
cout << n2(10, 20) << endl;		//输出30

关系仿函数

功能描述

• 实现关系对比

仿函数原型

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

示例

vector<int>v;
v.push_back(10);
v.push_back(30);
v.push_back(20);
v.push_back(40);
v.push_back(50);

//greater	大于，实现降序排列,结果为50 40 30 20 10
sort(v.begin(), v.end(),greater<int>());

逻辑仿函数

功能描述

• 实现逻辑运算

仿函数原型

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

示例

vector<bool>v2;
v2.push_back(true);
v2.push_back(false);
v2.push_back(true);
v2.push_back(false);

//logical	逻辑非
//这里将容器v2数据搬运到容器v3中，并执行取反操作，结果为0 1 0 1
vector<bool>v3;
v3.resize(v2.size());
transform(v2.begin(), v2.end(), v3.begin(), logical_not<bool>());