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

• Если в классе определен оператор, позволяющий выяснить равенство двух объектов данного класса, его функция должна иметь имя operator==. Не стоит изобретать для нее другое имя, поскольку пользователи ожидают, что для сравнения объектов можно использовать именно оператор ==. Кроме того, это гораздо проще, чем каждый раз запоминать новые имена.

• Если в классе определен оператор ==, то два объекта могут содержать одинаковые данные.

• Обычно оператор равенства должен быть транзитивным, т.е. если оба выражения, а == bи b == с, являются истинными, то а == стоже должно быть истиной.

• Если в классе определен оператор operator==, следует также определить и оператор operator!=. Пользователи вполне резонно будут полагать, что если применимо равенство, то применимо и неравенство.

• Определяя операторы равенства и неравенства, почти всегда имеет смысл использовать один из них для создания другого. Один оператор должен фактически сравнивать объекты, а второй — использовать его в своих целях.

Классы, в которых определен оператор operator==, гораздо проще использовать со стандартной библиотекой. Если оператор ==определен в классе, то такие алгоритмы к нему можно применять без всякой дополнительной подготовки.

Упражнение 14.16. Определите операторы равенства и неравенства для классов StrBlob(см. раздел 12.1.1), StrBlobPtr(см. раздел 12.1.6), StrVec(см. раздел 13.5) и String(см. раздел 13.5).

Упражнение 14.17. Должен ли класс, выбранный в упражнении 7.40 раздела 7.5.1, определять операторы равенства? Если да, то реализуйте их. В противном случае объясните, почему нет.

Классы, для которых определен оператор равенства, зачастую (но не всегда) обладают операторами отношения. В частности, это связано с тем, что ассоциативные контейнеры и некоторые из алгоритмов используют оператор меньше ( operator<).

Обычно операторы отношения должны определять следующее.

1. Порядок отношений, совместимый с требованиями для ключей ассоциативных контейнеров (см. раздел 11.2.2);

2. Отношение, совместимое с равенством, если у класса есть оба оператора. В частности, если два объекта не равны, то один объект должен быть меньше другого.

Вполне резонно предположить, что класс Sales_dataдолжен поддерживать операторы отношения, хотя это и не обязательно. Причины не столь очевидны, поэтому рассмотрим их подробнее.

Можно подумать, что оператор <будет определен так же, как функция compareIsbn()(см. раздел 11.2.2). Эта функция сравнивала объекты класса Sales_dataза счет сравнения их ISBN. Хотя функция compareIsbn()обеспечивает порядок отношений, что соответствует первому требованию, она возвращает результат, противоречащий определению равенства. В результате она не удовлетворяет второму требованию.

Оператор ==класса Sales_dataсчитает две транзакции с одинаковым ISBN неравными, если у них отличаются значения переменных-членов revenueили units_sold. Если бы оператор <был определен как сравнивающий только значения ISBN, то два объекта с одинаковым ISBN, но разными units_soldили revenueсчитались бы неравными, но ни один из объектов не был бы меньше другого. Как правило, если имеются два объекта, ни один из которых не меньше другого, то вполне логично ожидать, что эти объекты равны.

Создается впечатление, что имеет смысл определить оператор operator<для сравнения каждой переменной-члена по очереди. Его можно было бы определить так, чтобы при равных isbnобъекты сравнивались по переменной-члену units_sold, а затем revenue.

Однако никаких оснований для упорядочивания здесь нет. В зависимости от того, как планируется использовать класс, определить порядок можно сначала на основании переменных revenueи units_sold. Можно было бы установить, что объекты с меньшим значением переменной units_soldбыли "меньше", чем таковые с большим. Либо можно было бы установить, что объекты с меньшим значением переменной-члена revenue"меньше", чем таковые с большим значением.

Для класса Sales_dataнет единого логического определения значения "меньше". Таким образом, для этого класса лучше вообще не определять оператор operator<.