Predicates 判断式

算法中有一种特殊的辅助函数叫做predicates(判断式)。所谓predicates，就是返回值为bool的函数。它们通常被用来指定排序准则和搜寻准则。Predicates可能有一个或者是两个操作数，视具体情况而定。注意，并非任何返回布尔值的一元函数或二元函数就是合法的predicate。STL要求，面对相同的值，predicates必须得出相同的结果。这些戒律将那些“被调用时，会改变自己的内部状态”的函数清楚出场。

Unary Predicates(一元判断式)

Unary Predicates会检查唯一参数的某项特性。典型例子是像下面这样的函数，用来搜寻第一个质数。

<span style="font-size:18px;">#include <iostream>#include <list>#include <algorithm>#include <cstdlib>using namespace std;bool isPrime(int number){number = abs(number);if (number == 0 || number == 1){return true;}int divisor;for (divisor = number / 2; number % divisor != 0; --divisor){;}return divisor == 1;}int main(){list<int> coll;for (int i = 24;i <= 30; ++i){coll.push_back(i);}list<int>::iterator pos;pos = find_if(coll.begin(), coll.end(), isPrime);if (pos != coll.end()){cout << *pos << "is first prime number found" << endl;}else{cout << "no prime number found " << endl;}return 0;}//输出//29 is first prime number found</span>

Binary Predicates 二元判断式

Binary predicates的典型用途是，比较两个参数的特定属性。例如，为了依照你自己的原则对元素进行排序，你必须以一个简单的predicate形式提供这项原则。如果元素本身不支持operator<，或如果你想使用不同的排序原则，这就派上用场了。

<span style="font-size:18px;">bool checkEven(int elem, bool even){if (even){return  elem % 2 == 0;}else{return  elem % 2 == 1;}}int main(){vector<int> coll;INSERT_ELEMENTS(coll, 1, 9);PRINT_ELEMENTS(coll, "coll:");bool checkEvenArgs[3] = {true, false, true};vector<int>::iterator pos;pos = search(coll.begin(), coll.end(), checkEvenArgs, checkEvenArgs + 3, checkEven);while (pos != coll.end()){cout << "subrange found starting with element"<< distance(coll.begin(), pos) + 1<< endl;pos = search(++pos, coll.end(), checkEvenArgs, checkEvenArgs + 3, checkEven);}return 0;}</span>