Функция

использует проверку равенства, но если проигнорировать второй вызов для сохранения детерминированного порядка элементов , проверка даст отрицательный результат — хотя строка «persephone» была отвергнута как дубликат!

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

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

Но стоит отойти от сортированных ассоциативных контейнеров, как ситуация изменяется, и проблему равенства и эквивалентности приходится решать заново. Существуют две общепринятые реализации для нестандартных (но широко распространенных) ассоциативных контейнеров на базе хэш-таблиц. Одна реализация основана на равенстве, а другая — на эквивалентности. В совете 25 приводится дополнительная информация об этих контейнерах и тех принципак, на которых они основаны.

Предположим, у нас имеется контейнер

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

Следующий фрагмент выводит содержимое

. Предполагается, что строки будут выведены в алфавитном порядке — ведь содержимое контейнеров автоматически сортируется!

Однако на практике ничего похожего не происходит. Вместо строк выводятся четыре шестнадцатеричных числа — значения указателей. Поскольку в контейнере

хранятся указатели, является не строкой, а указателем на строку. Пусть этот урок напоминает, чтобы вы следовали рекомендациям совета 43 и избегали написания собственных циклов. Использование алгоритма :

не только делает программу более компактной, но и помогает быстрее обнаружить ошибку, поскольку вызов

не компилируется. Итератор должен знать тип выводимого объекта, поэтому когда компилятор обнаруживает расхождение между заданным в параметре шаблона типом и типом объекта, хранящегося в , он выдает ошибку. Еще один довод в пользу сильной типизации…

Если заменить

в цикле на , возможно, вы получите нужный результат — но скорее всего, этого не произойдет. Да, строки будут выведены, но вероятность их следования в алфавитном порядке равна всего 1/24. Контейнер хранит свои элементы в отсортированном виде, однако он содержит указатели, поэтому сортироваться будут значения указателей, а не строки. Существует 24 возможных перестановки для четырех указателей, то есть 24 разных последовательности, из которых лишь одна отсортирована в алфавитном порядке [2] .

Подходя к решению этой проблемы, нелишне вспомнить, что объявление

представляет собой сокращенную запись для объявления

Строго говоря, это сокращенная запись для объявления

но в контексте данного совета распределители памяти несущественны.