В данном примере специализация выглядит вполне разумно, поскольку специализация

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

Программисты C++ часто опираются на предположения. Например, они предполагают, что копирующие конструкторы действительно копируют (как показано в совете 8, невыполнение этого правила приводит к удивительным последствиям). Они предполагают, что в результате взятия адреса объекта вы получаете указатель на этот объект (в совете 18 рассказано, что может произойти в противном случае). Они предполагают, что адаптеры

и могут применяться к объектам функций (см. совет 40). Они предполагают, что оператор выполняет сложение (кроме объектов , но знак «+» традиционно используется для выполнения конкатенации строк), что оператор вычитает, а оператор проверяет равенство. И еще они предполагают, что функция эквивалентна .

В действительности

представляет собой нечто большее, чем реализацию по умолчанию — он соответствует ожидаемому поведению . Если вместо вызова делает что-либо другое, это нарушает ожидания программистов и вступает в противоречие с «принципом минимального удивления». Конечно, поступать так не стоит — особенно если без этого можно обойтись.

В STL нет ни одного случая использования

, когда программисту бы не предоставлялась возможность задать другой критерий сравнения. Вернемся к исходному примеру с контейнером , упорядоченному по атрибуту . Задача решается просто: для выполнения нужного сравнения достаточно создать класс функтора практически с любым именем, кроме . Пример:

При создании контейнера

достаточно указать тип сравнения , тем самым переопределяя тип сравнения по умолчанию ():

Смысл этой команды абсолютно очевиден: мы создаем контейнер

с элементами , упорядоченными в соответствии с классом функтора . Сравните со следующим объявлением:

В нем создается контейнер

объектов , упорядоченных по стандартному критерию. Строго говоря, упорядочение производится по критерию , но большинство программистов будет полагать, что сортировка производится функцией . Не нужно обманывать их ожидания и подменять определение . Если вы хотите использовать (явно или косвенно), проследите за тем, чтобы этот критерий был эквивалентен . Если объекты должны сортироваться по другому критерию, создайте специальный класс функтора и назовите его как-нибудь иначе.

STL традиционно характеризуется как совокупность контейнеров, итераторов, алгоритмов и объектов функций, однако программирование в STL заключает в себе нечто большее. Этот термин означает, что программист способен правильно выбирать между циклами, алгоритмами или функциями контейнеров; знает, в каких случаях

предпочтительнее , когда предпочтительнее и когда превосходит . Термин означает, что программист умеет повышать быстродействие алгоритма посредством замены функций эквивалентными функторами и избегает написания непереносимого или плохо читаемого кода. Более того, к этому понятию даже относится умение читать сообщения об ошибках компилятора, состоящие из нескольких тысяч символов, и хорошее знание Интернет-ресурсов, посвященных STL (документация, расширения и даже полные реализации).

Да, для программирования в STL необходимо много знать, и большая часть этой информации приведена в данной главе.

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

находит минимальное значение в интервале, алгоритм вычисляет сводную величину, характеризующую интервал в целом (см. совет 37), а алгоритм делит элементы интервала на удовлетворяющие и не удовлетворяющие заданному критерию (см. совет 31). Чтобы алгоритм мог выполнить свою задачу, он должен проанализировать каждый объект в переданном интервале (или интервалах), для чего объекты в цикле перебираются от начала интервала к концу. Некоторые алгоритмы (такие как и ) могут вернуть управление до завершения полного перебора, но и в этих алгоритмах задействован внутренний цикл. Ведь даже алгоритмы и должны проанализировать все элементы интервала, прежде чем принять решение об отсутствии искомого элемента.