java-Comparator

特点
采用了策略模式，一个实体对象根据需要设计可以设计多个比较器。隔离性好，方便。

一个比较函数，在某些方面赋予了对象的集合的总排序
可以传递给排序方法 作为 {@link Collections#sort(List,Comparator) 集合
或者{@link
* Arrays#sort(Object[],Comparator) Arrays.sort})
*以允许精确控制排序顺序。
比较器也可以控制顺序，某些数据结构 (such as {@link SortedSet sorted sets} or {@link
* SortedMap sorted maps}),或者为集合提供排序没有{@link Comparable natural ordering}.的对象

由compartor c 在元素集合 s 上的顺序强迫 意味着 consistent with equals
当且仅当 c.compare(e1, e2)==0有一样的boolean值和e1.equals(e2)
对于每个e1和e2在S中的

使用比较器时要小心，强迫排序 inconsistent with equals 去排序一个sortedSet 或者 sortedMap
假设一个sortedSet 或者sortedMap 与显示比较器 c 时用元素或者keys 画出一个set集合S
如果顺序由C强制的在S上是inconsistent with equals,
这个sortedset 或者 sortedmap 将会是奇怪的
特别是sortedset 或者sortedmap 将违反规范 给set 或者map
就equals方法的定义而言

例如 假设一个集合增加了两个元素a和b

(a.equals(b) && c.compare(a, b) != 0)

对于一个空的treeSet 带有comparator
第二个add操作将会返回true（ treeset的大小将会增长 ）因为
a和b是不等价的 对于treeset的角度来说
设置这个违反了 {@link Set#add Set.add} 的规范

序列化
comparator 也实现java.io.Serializable是个好主意
他们可能作为排序方法 在序列化的结构当中 例如TreeSet TreeMap
为了这些数据结构序列化成功 comparator 也必须实现serializable

偏向于数学 这个关系 定义imposed ordering 一个指定的compartor c 强迫在一个给定的对象集合S 是

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

总体顺序的商是

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

紧接着 商是equivalence relation 在S上
强迫的顺序是total order 在S上
当我们说顺序c 强迫在S上 是consistent with
* equals，意味着顺序的商是等价关系 {@link Object#equals(Object)
* equals(Object)} method(s):

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

不同于 {@code Comparable} comparator 可以选择允许null参数的比较，
当要维持这种等价关系

结构