Интерфейс 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, компаратор может необязательно разрешать сравнение нулевых аргументов, сохраняя при этом требования к отношению эквивалентности.

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