T
 the type of objects that may be compared by this comparator@FunctionalInterface public interface Comparator<T>
Collections.sort
or Arrays.sort
) to allow precise control
over the sort order. Comparators can also be used to control the order of
certain data structures (such as sorted sets
or sorted maps
), or to provide an ordering for collections of
objects that don't have a natural ordering
.The ordering imposed by a comparator c on a set of elements S is said to be consistent with equals if and only if c.compare(e1, e2)==0 has the same boolean value as e1.equals(e2) for every e1 and e2 in S.
Caution should be exercised when using a comparator capable of imposing an ordering inconsistent with equals to order a sorted set (or sorted map). Suppose a sorted set (or sorted map) with an explicit comparator c is used with elements (or keys) drawn from a set S. If the ordering imposed by c on S is inconsistent with equals, the sorted set (or sorted map) will behave "strangely." In particular the sorted set (or sorted map) will violate the general contract for set (or map), which is defined in terms of equals.
For example, suppose one adds two elements a
and b
such that
(a.equals(b) && c.compare(a, b) != 0)
to an empty TreeSet
with comparator c
.
The second add
operation will return
true (and the size of the tree set will increase) because a
and
b
are not equivalent from the tree set's perspective, even though
this is contrary to the specification of the
Set.add
method.
Note: It is generally a good idea for comparators to also implement
java.io.Serializable, as they may be used as ordering methods in
serializable data structures (like TreeSet
, TreeMap
). In
order for the data structure to serialize successfully, the comparator (if
provided) must implement Serializable.
For the mathematically inclined, the relation that defines the imposed ordering that a given comparator c imposes on a given set of objects S is:
{(x, y) such that c.compare(x, y) <= 0}.The quotient for this total order is:
{(x, y) such that c.compare(x, y) == 0}.It follows immediately from the contract for compare that the quotient is an equivalence relation on S, and that the imposed ordering is a total order on S. When we say that the ordering imposed by c on S is consistent with equals, we mean that the quotient for the ordering is the equivalence relation defined by the objects'
equals(Object)
method(s):{(x, y) such that x.equals(y)}.
Unlike Comparable
, a comparator may optionally permit
comparison of null arguments, while maintaining the requirements for
an equivalence relation.
This interface is a member of the Java Collections Framework.
Comparable
,
Serializable
Modifier and Type  Method and Description 

int 
compare(T o1,
T o2)
Compares its two arguments for order.

boolean 
equals(Object obj)
Indicates whether some other object is "equal to" this
comparator.

default Comparator<T> 
reverseOrder()
Returns a comparator that imposes the reverse ordering of this
comparator.

default <S extends T> 
thenComparing(Comparator<? super S> other)
Constructs a lexicographic order comparator with another comparator.

default <S extends T,U extends Comparable<? super U>> 
thenComparing(Function<? super S,? extends U> keyExtractor)
Constructs a lexicographic order comparator with a function that
extracts a
Comparable key. 
default <S extends T,U> 
thenComparing(Function<? super S,? extends U> keyExtractor,
Comparator<? super U> cmp)
Constructs a lexicographic order comparator with a function that
extracts a key to be compared with the given
Comparator . 
default <S extends T> 
thenComparing(ToDoubleFunction<? super S> keyExtractor)
Constructs a lexicographic order comparator with a function that
extracts a
double value. 
default <S extends T> 
thenComparing(ToIntFunction<? super S> keyExtractor)
Constructs a lexicographic order comparator with a function that
extracts a
int value. 
default <S extends T> 
thenComparing(ToLongFunction<? super S> keyExtractor)
Constructs a lexicographic order comparator with a function that
extracts a
long value. 
int compare(T o1, T o2)
In the foregoing description, the notation sgn(expression) designates the mathematical signum function, which is defined to return one of 1, 0, or 1 according to whether the value of expression is negative, zero or positive.
The implementor must ensure that sgn(compare(x, y)) == sgn(compare(y, x)) for all x and y. (This implies that compare(x, y) must throw an exception if and only if compare(y, x) throws an exception.)
The implementor must also ensure that the relation is transitive: ((compare(x, y)>0) && (compare(y, z)>0)) implies compare(x, z)>0.
Finally, the implementor must ensure that compare(x, y)==0 implies that sgn(compare(x, z))==sgn(compare(y, z)) for all z.
It is generally the case, but not strictly required that (compare(x, y)==0) == (x.equals(y)). Generally speaking, any comparator that violates this condition should clearly indicate this fact. The recommended language is "Note: this comparator imposes orderings that are inconsistent with equals."
o1
 the first object to be compared.o2
 the second object to be compared.NullPointerException
 if an argument is null and this
comparator does not permit null argumentsClassCastException
 if the arguments' types prevent them from
being compared by this comparator.boolean equals(Object obj)
Object.equals(Object)
. Additionally, this method can return
true only if the specified object is also a comparator
and it imposes the same ordering as this comparator. Thus,
comp1.equals(comp2)
implies that sgn(comp1.compare(o1,
o2))==sgn(comp2.compare(o1, o2)) for every object reference
o1 and o2.Note that it is always safe not to override Object.equals(Object). However, overriding this method may, in some cases, improve performance by allowing programs to determine that two distinct comparators impose the same order.
equals
in class Object
obj
 the reference object with which to compare.true
only if the specified object is also
a comparator and it imposes the same ordering as this
comparator.Object.equals(Object)
,
Object.hashCode()
default Comparator<T> reverseOrder()
default <S extends T> Comparator<S> thenComparing(Comparator<? super S> other)
Comparator<Person> byLastName
can be composed
with another Comparator<Person> byFirstName
, then byLastName.thenComparing(byFirstName)
creates a Comparator<Person>
which sorts by last name, and for equal last names
sorts by first name.S
 The type of elements compared by the returned comparator.other
 the other comparator to be used when this comparator
compares two objects that are equal.NullPointerException
 if the argument is null.default <S extends T,U> Comparator<S> thenComparing(Function<? super S,? extends U> keyExtractor, Comparator<? super U> cmp)
Comparator
. This
default implementation calls thenComparing(this,
Comparators.comparing(keyExtractor, cmp))
.S
 The type of elements compared by the returned comparator.U
 The type of the key for comparisonkeyExtractor
 the function used to extract the sort keyNullPointerException
 if the argument is null.Comparators.comparing(Function, Comparator)
,
thenComparing(Comparator)
default <S extends T,U extends Comparable<? super U>> Comparator<S> thenComparing(Function<? super S,? extends U> keyExtractor)
Comparable
key. This default implementation calls
thenComparing(this, Comparators.comparing(keyExtractor))
.S
 The type of elements compared by the returned comparator.U
 The Comparable
type for comparisonkeyExtractor
 the function used to extract the Comparable
sort keyComparable
key.NullPointerException
 if the argument is null.Comparators.comparing(Function)
,
thenComparing(Comparator)
default <S extends T> Comparator<S> thenComparing(ToIntFunction<? super S> keyExtractor)
int
value. This default implementation calls thenComparing(this, Comparators.comparing(keyExtractor))
.S
 The type of elements compared by the returned comparator.keyExtractor
 the function used to extract the integer valueint
valueNullPointerException
 if the argument is null.Comparators.comparing(ToIntFunction)
,
thenComparing(Comparator)
default <S extends T> Comparator<S> thenComparing(ToLongFunction<? super S> keyExtractor)
long
value. This default implementation calls
thenComparing(this, Comparators.comparing(keyExtractor))
.S
 The type of elements compared by the returned comparator.keyExtractor
 the function used to extract the long valuelong
valueNullPointerException
 if the argument is null.Comparators.comparing(ToLongFunction)
,
thenComparing(Comparator)
default <S extends T> Comparator<S> thenComparing(ToDoubleFunction<? super S> keyExtractor)
double
value. This default implementation calls
thenComparing(this, Comparators.comparing(keyExtractor))
.S
 The type of elements compared by the returned comparator.keyExtractor
 the function used to extract the double valuedouble
valueNullPointerException
 if the argument is null.Comparators.comparing(ToDoubleFunction)
,
thenComparing(Comparator)
Submit a bug or feature
For further API reference and developer documentation, see Java SE Documentation. That documentation contains more detailed, developertargeted descriptions, with conceptual overviews, definitions of terms, workarounds, and working code examples.
Copyright © 1993, 2013, Oracle and/or its affiliates. All rights reserved.
DRAFT eab00