[数据结构与算法]关于C++中的谓词Pred()以及bool static XXX()的用法总结

????????在coding学习时，我们都知道，C++的标准算法库<algorithm>中含有一个我们常用的排序算法sort()。其函数模板是：

template <class _RanIt, class _Pr>
_CONSTEXPR20 void sort(const _RanIt _First, const _RanIt _Last, _Pr _Pred) { // order [_First, _Last)
    _Adl_verify_range(_First, _Last);
    const auto _UFirst = _Get_unwrapped(_First);
    const auto _ULast  = _Get_unwrapped(_Last);
    _Sort_unchecked(_UFirst, _ULast, _ULast - _UFirst, _Pass_fn(_Pred));
}

其中，

????????_RanIt _First：表示 要传入的所传序列的开头位置

????????_RanIt _Last：表示 要传入的所传序列的结束位置

????????_Pr _Pred：表示 要传入做何种高级排序（或说自定义排序，即升or降序）的谓词（Predicate）

????????谓词（分为一元谓词-含有1个形参和二元谓词-含有2个形参）其实就是一个返回值类型为bool类型的仿函数，仿函数其实本质上就是一个重载了函数调用的运算符operator()函数的一个类类型。（如果对于这些都不清楚的话是否应该回去补补C++的基本语法？这里我只给出定义，就不多赘述了）

????????最近coding时，我发现一个有意思的点。废话不多说，直接上代码：

bool static myGreater(int v1, int v2) {
	return v1 > v2;
}
class myGreater2 {
public:
	bool operator()(int v1,int v2){
		return v1 > v2;
	}
};
void mprint(int v) {
	cout << v << "\t";
}
int main(void) {
	vector<int> res{1,2,3,4,5,6,7,8,};
	sort(res.begin(), res.end(), myGreater);
    for_each(res.begin(), res.end(), mprint);
    cout << "\n----------------------------------------------------------" << endl;
	sort(res.begin(), res.end(), myGreater2());
	for_each(res.begin(), res.end(), mprint);
    cout<<endl;
	system("pause");
	return 0;
}

运行结果：

? ? ? ? 我们会发现，谓词myGreater2()以及bool static myGreater(int v1, int v2)函数的作用是一毛一样的！都是按照我定义的降序来进行排序了！

? ? ? ? 那么在日后coding中我们大可以将全局静态函数当作谓词来使用，毕竟编译器没报错对吧？🤭? ?

????????当然了，以上只是我个人的一个学习小发现，想用这篇博客记录一下，防止后面遇到了不知道原来还可以写一个静态全局函数来替代谓词这个知识点。在后面的coding学习过程中，如果我找到相关的理论可以证明这两种方式来do自定义排序是异曲同工的话，我会再在本篇博客详细地总结记录，感谢你能看到我的个人学习笔记，一起加油吧！我们一直都在路上！