Шрифт:
}
Очевидно (если сравнить исходные коды), что он похож на алгоритм
find
, за исключением того, что в нем используется условие !pred(*first)
, а не *first!=val
; иначе говоря, алгоритм останавливает поиск, как только предикат pred
окажется истинным, а не когда будет обнаружен элемент с заданным значением.
true
или false
. Очевидно, что алгоритм find_if
требует предиката, принимающего один аргумент, чтобы выражение pred(*first)
было корректным. Мы можем без труда написать предикат, проверяющий какое-то свойство значения, например “содержит ли строка букву x”, “превышает ли число значение 42” или “является ли число нечетным?” Например, мы можем найти первое нечетное число в целочисленном векторе.
bool odd(int x) { return x%2; } // % — деление по модулю
void f(vector<int>& v)
{
vector<int>::iterator p = find_if(v.begin, v.end, odd);
if (p!=v.end) { /* мы нашли нечетное число */ }
// ...
}
При данном вызове алгоритм
find_if
применит функцию odd
к каждому элементу, пока не найдет первое нечетное число. Аналогично, мы можем найти первый элемент списка, значение которого превышает 42.
bool larger_than_42(double x) { return x>42; }
void f(list<double>& v)
{
list<double>::iterator p = find_if(v.begin, v.end,
larger_than_42);
if (p!=v.end) { /* мы нашли значение, превышающее 42 */ }
// ...
}
Однако последний пример не вполне удовлетворительный. А что, если мы после этого захотим найти элемент, который больше 41? Нам придется написать новую функцию. Хотите найти элемент, который больше 19? Пишите еще одну функцию. Должен быть более удобный способ!
Если мы хотим сравнивать элемент с произвольным значением
v
, то должны как-то сделать это значение неявным аргументом предиката алгоритма find_if
. Мы могли бы попробовать (выбрав в качестве удобного имени идентификатор v_val
).
double v_val; // значение, с которым предикат larger_than_v
// сравнивает свой аргумент
bool larger_than_v(double x) { return x>v_val; }
void f(list<double>& v,int x)
{
v_val = 31; // устанавливаем переменную v_val равной 31,
// для следующего вызова предиката larger_than_v
list<double>::iterator p = find_if(v.begin,v.end,
larger_than_v);
if (p!=v.end) { /* мы нашли значение, превышающее 31 */ }
v_val = x; // устанавливаем переменную v_val равной x
// для следующего вызова предиката larger_than_v
list<double>::iterator q = find_if(v.begin, v.end,
larger_than_v);
if (q!=v.end) { /* мы нашли значение, превышающее x*/ }
// ...
}
ПОПРОБУЙТЕ
Почему такое использование переменной
v
вызывает у нас такое отвращение? Назовите по крайней мере три способа, которые приведут к непонятным ошибкам. Назовите три приложения, в которых такие программы особенно недопустимы. 21.4. Объекты-функции
Итак, мы хотим передавать предикат алгоритму
find_if
и чтобы этот предикат сравнивал элементы со значением, которое мы зададим как его аргумент. В частности, мы хотим написать примерно такой код:
void f(list<double>& v, int x)
{
list<double>::iterator p = find_if(v.begin, v.end,
Larger_than(31));
if (p!=v.end) { /* мы нашли число, превышающее 31 */ }
list<double>::iterator q = find_if(v.begin, v.end,
Larger_than(x));
if (q!=v.end) { /* мы нашли число, превышающее x */ }
// ...