算法中有一种特殊的辅助函数叫做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>