13.谓词

13、谓词

概念：

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

13.1 一元谓词

#include <iostream>
#include <vector>
using namespace std;

//1、一元谓词
struct GreaterFive {
	bool operator()(int val) {
		return val > 5;
	}
};

void test01() {
	vector<int> v;
	for (int i = 0; i < 10; ++i) {
		v.push_back(i);
	}
	vector<int>::iterator it = find_if(v.begin(), v.end(), GreaterFive());
	if (it == v.end()) {
		cout << "没找到！" << endl;
	}
	else {
		cout << "找到：" << *it << endl;
	}
}

int main() {
	test01();
	system("pause");
	return 0;
}

总结：

• 参数只有一个的谓词，称为一元谓词

13.2 二元谓词

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

class MyCompare {
public:
	bool operator()(int num1, int num2) {
		return num1 > num2;
	}
};

void test01() {
	vector<int> v;
	v.push_back(10);
	v.push_back(30);
	v.push_back(40);
	v.push_back(20);

	sort(v.begin(), v.end());
	for (vector<int>::iterator it = v.begin(); it != v.end(); ++it) {
		cout << *it << " ";
	}
	cout << endl;
	cout << "----------------------------" << endl;
	// 使用函数对象改变算法策略，排序从大到小
	sort(v.begin(), v.end(), MyCompare());
	for (vector<int>::iterator it = v.begin(); it != v.end(); ++it) {
		cout << *it << " ";
	}
	cout << endl;
}

int main() {
	test01();
	system("pause");
	return 0;
}

总结：

• 参数只有两个的谓词，称为二元谓词

13.3 内建函数对象

概念：

• STL 内建了一些函数对象

分类：

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

用法：

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

13.4 算术仿函数

功能描述：

• 实现四则运算
• 其中 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;
void test01() {
	negate<int>n;
	cout << n(50) << endl;
}

void test02() {
	plus<int> p;
	cout << p(10, 20) << endl;
}
int main() {
	test01();
	test02();
	system("pause");
	return 0;
}

总结：

• 使用内建函数对象时，需要引入头文件 #include <functional>

13.5 关系仿函数

功能描述：

• 实现关系对比

仿函数原型：

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 <algorithm>
#include <vector>
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(30);
	v.push_back(40);
	v.push_back(50);
	v.push_back(70);
	for (vector<int>::iterator it = v.begin(); it != v.end(); ++it) {
		cout << *it << " ";
	}
	cout << endl;

	// 自己实现仿函数
	// sort(v.begin(), v.end(), MyCompare());

	// STL 内建仿函数 大于仿函数
	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();
	system("pause");
	return 0;
}

总结：

• 关系仿函数中最常用的就是 greater<> 大于

13.6 逻辑仿函数

功能描述：

• 实现逻辑运算

函数原型：

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

#include <iostream>
#include <vector>
#include <functional>
#include <algorithm>
using namespace std;

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();
	system("pause");
	return 0;
}

总结：

• 逻辑仿函数实际应用较少，了解即可