Предположим, имеется функция для отбора «дефектных» объектов

:

Требуется скопировать все дефектные объекты

из вектора в . Если бы алгоритм существовал, это можно было бы сделать так:

По иронии судьбы алгоритм

входил в исходную версию STL от Hewlett Packard, которая была заложена в основу библиотеки STL, ставшей частью стандартной библиотеки C++. В процессе сокращения HP STL до размеров, подходящих для стандартизации, алгоритм остался за бортом.

В книге «The C++ Programming Language» [7] Страуструп замечает, что реализация

выглядит элементарно — и он прав, но это вовсе не означает, что каждый программист сразу придет к нужному решению. Например, ниже приведена вполне разумная версия , которую предлагали многие программисты (в том числе и я):

Решение основано на простом факте: хотя STL не позволяет сказать «скопировать все элементы, для которых предикат равен

», но зато можно потребовать «скопировать все элементы, кроме тех, для которых предикат неравен ». Создается впечатление, что для реализации достаточно поставить перед предикатом, который должен передаваться , после чего передать полученный предикат . Результатом является приведенный выше код.

Если бы эти рассуждения были верны, копирование дефектных объектов Widget можно было бы произвести следующим образом:

Компилятор недоволен попыткой применения

к (это происходит внутри ). Как объясняется в совете 41, не может напрямую применяться к указателю на функцию — сначала указатель должен пройти через . Чтобы вызвать эту реализацию , необходимо передать не просто объект функции, а адаптируемый объект функции. Сделать это несложно, однако возлагать эти хлопоты на будущих клиентов алгоритма STL нельзя. Стандартные алгоритмы STL никогда не требуют, чтобы их функторы были адаптируемыми, поэтому нельзя предъявлять это требование к . Приведенная выше реализация хороша, но недостаточно хороша.

Правильная реализация

должна выглядеть так:

Поскольку алгоритм

чрезвычайно полезен, а неопытные программисты STL часто полагают, что он входит в библиотеку, можно порекомендовать разместить реализацию — правильную реализацию! — в локальной вспомогательной библиотеке и использовать ее в случае надобности.

Иногда возникает необходимость свести целый интервал к одному числу или, в более общем случае, к одному объекту. Для стандартных задач обобщения существуют специальные алгоритмы. Так, алгоритм

возвращает количество элементов в интервале, а алгоритм возвращает количество элементов, соответствующих заданному предикату. Минимальное и максимальное значение элемента в интервале можно получить при помощи алгоритмов и .

Но в некоторых ситуациях возникает необходимость обработки интервальных данных по нестандартным критериям, и в таких случаях нужны более гибкие и универсальные средства, нежели алгоритмы

, , и . Предположим, вы хотите вычислить сумму длин строк в контейнере, произведение чисел из заданного интервала, усредненные координаты точек и т. д. В каждом из этих случаев производится обобщение интервала, но при этом критерий обобщения вы должны определять самостоятельно. Для подобных ситуаций в STL предусмотрен специальный алгоритм . Многим программистам этот алгоритм незнаком, поскольку в отличие от большинства алгоритмов он не находится в , а вместе с тремя другими «числовыми алгоритмами» (, и ) выделен в библиотеку .