Ключевое слово typename указывает, что const iterator - тип, а не значение типа Т (см. с. 27).

Помимо типов iterator и const iterator контейнеры предоставляют и другие типы, упрощающие написание унифицированных функций. В частности, они предоставляют тип элементов для выполнения операций с временными копиями элементов. За подробностями обращайтесь >ia с. 289.

Необязательный второй аргумент функции PRINT ELEIENTS представляет собой строковый префикс, выводимый перед содержимым контейнера. Так, функция PRINT ELEIENTS() позволяет снабжать выходные данные комментариями:

PRINTJLEMENTS (coll. "ell elements: "):

Эта функция будет еще часто использоваться в книге для вывода всех элементов контейнера одной простой командой.

Передача функций алгоритмам в качестве аргументов

Некоторым алгоритмам могут передаваться пользовательские функции, которые вызываются в процессе внутренней работы алгоритма. Такая возможность делает алгоритмы еще более гибкими и мощными.

Примеры передачи функций в аргументах алгоритмов

Передачу функции проще всего рассматривать на примере алгоритма for each(), вызывающего пользовательскую функцию для каждого элемента в заданном интервале.

stl/foreach.cpp include <iostream> include <vector> linclude <algor1th[ii> using namespace std;

Функция 8Ы80ДИТ передзнный аргумент

void print CInt elem)

cout « elem « ;

Int maInC) {

vector<int> coll:

Вставка элементов со значениями от 1 до 9 for CInt 1=1; 1<=9: ++1) {

coll.push back(i

Вывод всех элементов

for each СсоП.beginO. coll.endO. Интервал print): Операция

cout « endl;

Алгоритм for each() вызывает функцию print() для каждого элемента в интервале [coll.beginQ,coll.endQ). Результат выполнения программы выглядит так:

1 2 3 4 5 6 7 8 9

Существует несколько вариантов применения пользовательских функций алгоритмами; в одних случаях передача функция обязательна, в других - нет. В частности, пользовательская функция может определять критерий поиска, критерий сортировки или преобразование, применяемое при копировании элементов из одной коллекции в другую.

Другой пример:

stl/transforml.срр linclude <iostream> linclude <vector> linclude <set> linclude <algor1thm> linclude "print.hpp"

int square (Int value) (

return valuG*value:

int main() (

std::set<int> colli: std::vector<1nt> Coll2;

Вставка элементов со значениями от 1 до 9 в colli for (int 1=1: 1<=9; ++i) { colli.insert(i):

PRINT ELEMENTS(C0l11."initialized: ");

Преобраэовоание каждого элемента при копировании из colli в со112 - square transformed values

std::transform (coll 1,beg1n().colli.endO, Источник std::back inserter(coll2), Приемник square): Операция

PRINTJLEMENTS(col 12. "squared: "):

В приведенном примере функция square() возводит в квадрат каждый элемент colli при его копировании в со112 (рис. 5.8). Результат выполнения программы выглядит так:

Initialized; 123456789 squared: 1 4 9 16 25 36 49 64 81

1ntsquare(1ntvalue)

returnvaluevaluG;

Рис. 5.8. Работа алгоритма transform()

Предикаты

Особую разновидность вспомогательных функций, используемых алгоритмами, составляют предикаты. Предикатом называется функция, которая возвращает логическое значение. С помощью предикатов часто определяют критерии сортировки или поиска. В зависимости от способа применения предикаты делятся на унарные и бинарные. Учтите, что не любая унарная или бинарная функция, возвращающая логическую величину, является действительным предикатом. STL требует, чтобы при неизменности входных данных предикат всегда давал постоянный результат. Тем самым из категории предикатов исключаются функции, внутреннее состояние которых изменяется в процессе вызова. За подробностями обращайтесь на с. 303.

Унарные предикаты

Унарный предпкат проверяет некоторое свойство одного аргумента. Типичный пример - функция, используемая в качестве критерия поиска первого простого числа:

stl/primel.cpp

linclude <iostream>

linclude <list>

include <algorithm>

linclude <cstdlib> для absO

using namespace std:

Предикат проверяет, является ли целое число простым bool isPrime (int number)