当前位置：首页 > news >正文

C++系列-谓词predicate

news 2025/5/18 9:09:52

谓词predicate

💢什么是谓词
- 💢💢函数(function)谓词
- 💢💢函数指针(function pointer)谓词
- 💢💢函数对象(Function Object)谓词
- 💢💢lambda表达式谓词
- 💢💢库定义的函数对象谓词
💢谓词的应用

赵师秀宋《约客》
黄梅时节家家雨，青草池塘处处蛙。
有约不来过夜半，闲敲棋子落灯花

💢什么是谓词

🥝谓词是一个可以调用的对象 。
🥝它接收一个或一个或多个参数，并返回一个或布尔值。
🥝谓词通常用于算法中 ，以指定特定的条件，例如在排序算法中，可以用谓词指定排序的规则，在查找算法中，可以使用谓词来确定是否找到了满足特定条件的元素。

💢💢函数(function)谓词

🍋函数的定义满足谓词的定义条件。
🍋在使用时通过传递函数名实现。

👉👉👉
先看find_if函数的定义，返回_First，是一个迭代器对象。
_Pred(_UFirst)，_Pred是执行实参中传入的参数，在本类中，是一个函数名，函数名()是函数的调用。_UFirst是迭代器指向的内容。
在for循环中，循环从_First到_Last迭代器指向的每一个元素，将其作为函数的参数，执行函数操作，当出现返回true的时候，退出循环，即找到第一个满足条件的元素就退出。
vector::iterator it = find_if(vec1.begin(), vec1.end(), is_even)中的is_even要传递函数名称。是一个谓词。

_EXPORT_STD template <class _InIt, class _Pr>
_NODISCARD _CONSTEXPR20 _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;
}

code:
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;bool is_even(int &val)
{return val % 2 == 0;
}void test01()
{vector<int> vec1{1, 2, 3, 4, 5, 6};// find_if(_InIt _First, const _InIt _Last, _Pr _Pred) { // find first satisfying _Predvector<int>::iterator it = find_if(vec1.begin(), vec1.end(), is_even);if(it == vec1.end()){cout << "没有找到" << endl;}else{cout << "第一个偶数是: " << *it << endl;}
}int main()
{test01();system("pause");return 0;
}result:
第一个偶数是: 2

💢💢函数指针(function pointer)谓词

🍓使用函数指针做谓词，与上述函数做谓词基本一致，只是使用函数指针中转了一次。
🍓在使用时通过传递函数指针实现。

code:
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;bool greater_than10(int &val)
{return val > 10;
}void test01()
{vector<int> vec1{1, 2, 13, 24, 5, 6};bool (*p_greater_than10)(int&); // 定义函数指针p_greater_than10 = greater_than10;vector<int>::iterator it = find_if(vec1.begin(), vec1.end(), greater_than10); // 函数指针作为谓词if(it == vec1.end()){cout << "没有找到" << endl;}else{cout << "第一个大于10的数是: " << *it << endl;}
}int main()
{test01();system("pause");return 0;
}result:
第一个大于10的数是: 13

💢💢函数对象(Function Object)谓词

🍈 函数对象中重载函数的调用(), 使其可以被调用, 作为谓词。
🍈 函数对象使用的本质就是对()进行运算符重载，并且返回类型为bool型，满足谓词的条件。

👉👉👉
在find_if函数中，执行 _Pred(_UFirst)，_Pred是执行实参中传入的参数，在本类中，即函数对象，函数对象(_UFirst)即调用重载的()成员函数，实现了重载()函数中执行的语句。
Greater(1)，创建匿名函数对象，其中的参数传入，使得在调用()时，有了明确的比较对象。

code:
#include<iostream>
#include<vector>
#include<algorithm>using namespace std;
class Greater
{
public:Greater(int val) :m_base(val) {}bool operator()(int val){return val > m_base;}
private:int m_base;
};int main()
{vector<int>vec1 = { 0,-1,1,2,4,9,5,54,45,56 };// 函数对象做谓词，并且使用有参构造传入参数作为谓词判断的条件vector<int>::iterator iter = find_if(vec1.begin(), vec1.end(), Greater(1));cout << *iter << endl;system("pause");return 0;
}result:
2

💢💢lambda表达式谓词

👉👉👉
[](int val)->bool{return val > 3;} lambda表达式作参数，这是一个匿名函数，在find_if 的_Pred(*_UFirst)中的_Pred就指向了该匿名函数。

code:
#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;int main()
{vector<int>vec1 = { 0,-1,1,2,4,9,5,54,45,56 };// lambda做谓词vector<int>::iterator iter = find_if(vec1.begin(), vec1.end(), [](int val)->bool{return val > 3;});cout << *iter << endl;system("pause");return 0;
}result:
4