Интерфейс Comparator<T>

@FunctionalInterface public interface Comparator<T>

Функция сравнения, которая накладывает полный порядок на некоторое множество объектов. Компараторы могут быть переданы методу сортировки (такому как Collections.sort или Arrays.sort), чтобы обеспечить точный контроль над порядком сортировки. Компараторы также могут использоваться для управления порядком определённых структур данных (таких как упорядоченные множества или упорядоченные карты), или для задания порядка для коллекций объектов, которые не имеют естественного порядка.

Порядок, накладываемый компаратором c на множество элементов S , считается совместимым с equals тогда и только тогда, когда c.compare(e1, e2)==0 имеет то же булево значение, что и e1.equals(e2) для каждого e1 и e2 в S.

Следует проявлять осторожность при использовании компаратора, способного накладывать порядок, несовместимый с equals, для упорядочения упорядоченного множества (или упорядоченной карты). Предположим, что упорядоченное множество (или упорядоченная карта) с явным компаратором c используется с элементами (или ключами) из множества S. Если порядок, накладываемый компаратором c на S , несовместим с equals, упорядоченное множество (или упорядоченная карта) будет вести себя "странно". В частности, упорядоченное множество (или упорядоченная карта) нарушит общий контракт для множества (или карты), который определяется с использованием equals.

Например, предположим, что мы добавляем два элемента a и b такие, что (a.equals(b) && c.compare(a, b) != 0) в пустое TreeSet с компаратором c. Вторая операция add вернёт true (и размер дерева множества увеличится), потому что a и b не эквивалентны с точки зрения дерева множества, даже если это противоречит спецификации метода Set.add.

Примечание: В целом, рекомендуется, чтобы компараторы также реализовывали java.io.Serializable, так как они могут использоваться в качестве методов упорядочивания в сериализуемых структурах данных (таких как TreeSet, TreeMap). Для успешной сериализации структуры данных компаратор (если он предоставлен) должен реализовывать Serializable.

Для математически подкованных, отношение, которое определяет накладываемый порядок, который данный компаратор c накладывает на заданное множество объектов S , является:

       {(x, y) such that c.compare(x, y) <= 0}.
 

Частное для этого полного порядка:

       {(x, y) such that c.compare(x, y) == 0}.
 

Из контракта для compare непосредственно следует, что частное является отношением эквивалентности на S, а накладываемый порядок является полным порядком на S. Когда мы говорим, что порядок, наложенный компаратором c на S , совместим с equals, мы имеем в виду, что частное для порядка является отношением эквивалентности, определённым методами объекта equals(Object):

     {(x, y) such that x.equals(y)}. 

Другими словами, когда накладываемый порядок совместим с equals, классы эквивалентности, определённые отношением эквивалентности метода equals, и классы эквивалентности, определённые частным метода compare, совпадают.

В отличие от Comparable, компаратор может необязательно допускать сравнение аргументов null, сохраняя при этом требования к отношению эквивалентности.

Этот интерфейс является членом Java Collections Framework.