Стенли Липпман - Язык программирования C++. Пятое издание

В библиотеке определено более 100 алгоритмов. Чтобы научиться их использовать, следует понять структуру, а не запоминать подробности применения каждого из них. Лежащая в их основе архитектура описана в главе 10, а в этом разделе описан каждый из алгоритмов.

• begи end— итераторы, обозначающие диапазон элементов (см. раздел 9.2.1). Почти все алгоритмы работают с последовательностями, обозначенными итераторами begи end.

• beg2— итератор, обозначающий начало второй исходной последовательности. Если итератор end2присутствует, он обозначает конец второй последовательности. Если итератора end2нет, подразумевается, что обозначенная итератором beg2последовательность такого же размера, что и исходная, обозначенная итераторами begи end. Типы итераторов begи beg2не обязаны совпадать. Но должна существовать возможность применить указанную операцию или заданный вызываемый объект к элементам этих двух последовательностей.

• dest — итератор, обозначающий назначение. Последовательность назначения должна быть способна содержать столько элементов, сколько необходимо для исходной последовательности.

• unaryPredи binaryPred— унарные и бинарные предикаты (см. раздел 10.3.1), возвращающие применимый в условии тип и получающие соответственно один и два аргумента, являющиеся элементами исходного диапазона.

• comp— бинарный предикат, отвечающий требованиям упорядочивания по ключу в ассоциативном контейнере (см. раздел 11.2.2).

• unaryOpи binaryOp— вызываемые объекты (см. раздел 10.3.2), которые могут быть вызваны с одним и двумя аргументами из исходного диапазона соответственно.

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

Каждый алгоритм предоставляет две перегруженных версии. Первая версия для сравнения элементов использует оператор равенства ( ==) базового типа, а вторая использует предоставленные пользователем предикаты unaryPredили binaryPred.

Для поиска этим алгоритмам требуются итераторы ввода .

find(beg, end, val)

find_if(beg, end, unaryPred)

find_if_not(beg, end, unaryPred)

count(beg, end, val)

count_if(beg, end, unaryPred)

Функция find()возвращает итератор на первый элемент в исходном диапазоне, равный значению val. Функция find_if()возвращает итератор на первый элемент, для которого выполняется предикат unaryPred. Функция find_if_not()возвращает итератор на первый элемент, для которого предикат unaryPredвозвращает значение false. Все три функции возвращают итератор end, если искомый элемент не существует.

Функция count()возвращает количество вхождений значения val. Функция count_if()подсчитает количество элементов, для которых предикат unaryPredвозвращает значение true.

all_of(beg, end, unaryPred)

any_of(beg, end, unaryPred)

none_of(beg, end, unaryPred)

Возвращают логическое значение, указывающее, выполняется ли предикат unaryPredдля всех элементов, какого-нибудь элемента или ни одного элемента соответственно. Если последовательность пуста, функция any_of()возвращает значение false, а функции all_of()и none_of()— true.

Этим алгоритмам требуются прямые итераторы . Они ищут в исходной последовательности повторяющиеся элементы.

adjacent_find(beg, end)

adjacent_find(beg, end, binaryPred)

Возвращает итератор на первую пару смежных совпадающих элементов. Возвращает итератор end, если смежных совпадающих элементов нет.

search_n(beg, end, count, val)

search_n(beg, end, count, val, binaryPred)

Возвращает итератор на начало внутренней последовательности из countравных элементов. Возвращает итератор end, если такой внутренней последовательности не существует.

За исключением алгоритма find_first_of()этим алгоритмам требуются две пары прямых итераторов . Для обозначения первой своей последовательности алгоритм find_first_of()использует итераторы ввода и прямые итераторы для второй. Эти алгоритмы ищут последовательность, а не одиночный элемент.