【C++】STL 算法 ④ ( 函数对象与谓词 | 一元函数对象 | “ 谓词 “ 概念 | 一元谓词 | find_if 查找算法

文章目录

一、函数对象与谓词
- 1、一元函数对象
- 2、" 谓词 " 概念
- 3、find_if 查找算法
二、一元谓词示例
- 1、代码示例 - 一元谓词示例
- 2、执行结果

一、函数对象与谓词

1、一元函数对象

" 函数对象 " 是通过重载函数调用操作符 () 实现的 operator() , 函数对象可以像普通函数一样被调用 , 但同时它们还可以拥有状态并且可以有多个成员函数 ;

" 一元函数对象 " 是函数对象的一种 , 只接受一个参数并返回某个结果的函数对象称为 " 一元函数对象 " ;

" 一元函数对象 " 在标准模板库 ( STL , Standard Template Library ) 中特别常见 , 尤其是在 STL 算法中 , 因为它们可以用作自定义操作 , 以适应各种不同的需求 ;
例如 : 使用一元函数对象来定义一个操作 , 该操作将被应用于容器中的每个元素 ;

在上一篇博客【C++】STL 算法 ③ ( 函数对象中存储状态 | 函数对象作为参数传递时值传递问题 | for_each 算法的函数对象参数是值传递 ) 中的代码示例中的 PrintT 函数对象 , 其重载的函数调用操作符函数 void operator()(T& t) 只接收一个参数 , 这是一个一元函数对象 ;

//函数对象 类重载了()
template <typename T>
class PrintT {
public:void operator()(T& t) {cout << n << " . " << t << endl;// 每调用一次, 自增 1n++;}private:// 每调用一次, 该成员自增 1// 该状态一直存储int n = 0;
};

2、" 谓词 " 概念

" 谓词 ( Predicate ) " 是 C++ 语言中的标准模板库 ( STL , Standard Template Library ) 算法的重要概念 ;

" 谓词 ( Predicate ) " 是一个返回布尔 bool 类型值的函数对象 / 仿函数或 Lambda 表达式 / 普通函数 , 可用于对某个条件进行检查 ;

当 " 谓词 ( Predicate ) " 被用于算法中时 , 会对序列中的元素进行某种测试 , 返回一个布尔类型的测试结果 , 根据不同的结果执行不同的操作 ;

" 谓词 ( Predicate ) " 类型 :

普通函数
函数指针
重载了函数调用操作符的函数对象 / 仿函数 , 有 operator() 函数 ;

" 谓词 ( Predicate ) " 通常被设计成可以接受一定数量的参数

一元谓词 : 接受一个参数
二元谓词 : 接受两个参数

谓词的函数体中根据传入的参数进行计算 , 并返回 true 或 false 布尔值 ;

3、find_if 查找算法

std::find_if 算法是 C++ 语言的标准模板库中提供的一种算法 , 该算法用于在容器中查找满足特定条件的第一个元素 ;

find_if 算法的原理是 : 执行该算法时 , 遍历容器序列 , 对每个元素应用指定的一元谓词 ;

如果找到满足一元谓词返回 true 的元素 , 则返回指向该元素的迭代器 ;
如果没有找到满足一元谓词返回 true 的元素 , 则返回结束迭代器 ;

std::find_if 算法的函数原型如下 :

// FUNCTION TEMPLATE find_if
template <class _InIt, class _Pr>
_NODISCARD _InIt find_if(_InIt _First, const _InIt _Last, _Pr _Pred) { // find first satisfying _Pred_Adl_verify_range(_First, _Last);auto _UFirst      = _Get_unwrapped(_First);const auto _ULast = _Get_unwrapped(_Last);for (; _UFirst != _ULast; ++_UFirst) {if (_Pred(*_UFirst)) {break;}}_Seek_wrapped(_First, _UFirst);return _First;
}

二、一元谓词示例

下面的代码示例中 , 定义了一元谓词 :

template <typename T>
class equalFour {
public:bool operator()(T& t) {if (t == 4) {return true;}else {return false;}}
};

该一元谓词的作用是 , 接收一个 T 类型的元素 , 判断该元素的值是否为 4 , 如果是 , 则返回 true , 如果不是 , 则返回 false ;

将该一元谓词 , 传入到 find_if 算法函数中 ;

执行该算法时 , 遍历容器序列 , 对每个元素应用指定的一元谓词 , 这里会查找满足值等于 4 的元素 ;

如果找到满足一元谓词返回 true 的元素 , 则返回指向该元素的迭代器 ;
如果没有找到满足一元谓词返回 true 的元素 , 则返回结束迭代器 ;

1、代码示例 - 一元谓词示例

#include "iostream"
using namespace std;
#include <vector>
#include <algorithm>
#include "functional"//函数对象 类重载了()
template <typename T>
class equalFour {
public:bool operator()(T& t) {if (t == 4) {return true;}else {return false;}}
};int main() {// 创建一个 vector 单端数组容器vector<int> vec;// 向容器中插入元素vec.push_back(1);vec.push_back(2);vec.push_back(3);vec.push_back(4);vec.push_back(5);// 查找等于 4 的元素auto it = find_if(vec.begin(), vec.end(), equalFour<int>());if (it != vec.end()){cout << "找到了第一个等于 4 的数 : " << *it << endl;}// 控制台暂停 , 按任意键继续向后执行system("pause");return 0;
};