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

» является не «», а «», а мы выяснили, что операция «», возвращающая для равных значений, не подходит для функции сравнения в ассоциативных контейнерах.

Правильный тип сравнения должен выглядеть так:

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

.

Я знаю, о чем вы думаете. «Конечно, это имеет смысл для

и , поскольку эти контейнеры не могут содержать дубликатов. А как насчет и ? Раз эти контейнеры могут содержать дубликаты, так ли важно, что два объекта с одинаковыми значениями окажутся не эквивалентными? Сохраним оба, для этого и нужны mult-контейнеры. Верно?»

Нет, неверно. Давайте вернемся к исходному примеру, но на этот раз воспользуемся контейнером

:

Теперь

содержит два экземпляра числа 10, и было бы логично предположить, что при вызове мы получим пару итераторов, описывающих интервал с обеими копиями. Однако это невозможно. Функция , несмотря на свое название, определяет интервал не равных, а эквивалентныхзначений. В нашем примере функция сравнения говорит, что 10A и 10B не эквивалентны, поэтому они не могут оказаться в интервале, определяемом функцией .

Ну что, убедились? Функция сравнения всегда должна возвращать false для равных величин, в противном случае нарушается работа всех стандартных ассоциативных контейнеров (независимо от того, могут они содержать дубликаты или нет).

Строго говоря, функции сравнения, используемые для сортировки ассоциативных контейнеров, должны определять для сравниваемых объектов порядок строгой квазиупорядоченности (strict weak ordering); аналогичное ограничение действует и для функций сравнения, передаваемых алгоритмам, — таким, как

(см. совет 31). Если вас заинтересуют подробности того, что понимается под строгой квазиупорядоченностью, информацию можно найти во многих серьезных руководствах по STL, в том числе «The C++ Standard Library» [3], «Generic Programming аnd the STL» [4] и на web-сайте SGI, посвященном STL [21]. Особых откровений не ждите, но одно из требований строгой квазиупорядоченности относится непосредственно к данному совету. Требование заключается в следующем: функция, определяющая строгую квазиупорядоченность, должна возвращать при получении двух копий одного значения.

Понять смысл этого совета нетрудно. Контейнеры

, как и все стандартные ассоциативные контейнеры, хранят свои элементы в отсортированном порядке, и правильное поведение этих контейнеров зависит от сохранения этого порядка. Если изменить значение элемента в ассоциативном контейнере (например заменить 10 на 1000), новое значение окажется в неправильной позиции, что нарушит порядок сортировки элементов в контейнере.

Сказанное прежде всего касается контейнеров

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

Дело в том, что элементы объекта типа

или относятся к типу . Ключ относится к типу и поэтому не может изменяться. Впрочем, его все же можно изменить с применением , как показано ниже. Хотите — верьте, хотите — нет, но иногда это даже нужно.

Обратите внимание: в заголовке этого совета ничего не сказано о контейнерах 

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