Листинг 12.7. Алгоритм с унарным предикатом
template < class Inputlterator, class Outputlterator, class Predicate
>
void copy_if( Inputlterator first. Inputlterator last, Outputlterator result,
Predicate function продолжение J
Листинг 12.7 (продолжение) )
{ for ( ; first != last; ++first) if (function(*first)) { *result = *first; ++result; } return;
} « •
Наш предикат имеет один параметр — элемент контейнера. Все действия и другие необходимые величины предикат инкапсулирует внутри себя. Например:
int odd(const int &а) { return ta%2); }
Этот предикат определяет нечетность аргумента. Еще пример:
bool negative(const int &a) { return (a<0); }
Этот предикат служит для отбора отрицательных элементов контейнера. А если нам требуется, чтобы все элементы контейнера были больше пяти, мы напишем такой предикат:
bool gt5(const int &а) { return (а>5); }
Хотя подобное представление предиката несколько ухудшает читабельность кода, поскольку о назначении предиката можно судить только по названию функции, оно никак не ограничивает функциональность. Более того, указание предиката как параметра шаблона позволяет задавать практически любые функции с одним аргументом. Единственное ограничение — функция должна возвращать хоть какой-то результат, так как вызов стоит в условии оператора i f. Например, мы можем с помощью передаваемой функции умножить все элементы массива на 2:
int twice(int &а) { return а*=2; } //. . .
int а[10] = { 1,2,3,4,5.6,7,8,9,0};
int b[10] ={0};
copy_if(a, a+10, b, twice);
for(int i = 0; i < 10; ++i)
cout << b[i] << ' '; cout << endl;
Этот фрагмент выведет на экран следующее:
2 4 6 8 10 12 14 16 18 0
|