java - 为什么排序采用对象数组？

Question

我刚刚在 java.util.Arrays 中偶然发现了以下 sort 重载:

public static void sort(Object[] a)

public static <T> void sort(T[] a, Comparator<? super T> c)

为什么第一个重载不是通用的，而第二个是？为什么第一个重载采用 Object[] 而不是 Comparable[]？文档甚至指出:

All elements in the array must implement the Comparable interface.

那么不使用 Java 的静态类型系统验证该约束有什么意义呢？

Answer 1

如果第一种方法是通用的，它可能会更好，但它会破坏与 1.5 之前代码的兼容性:

static <T extends Comparable<T>> void sort(T[] a) {
    ...
}

static void main(String[] args) {
   Object[] a = {"1", "2"};
   sort(a); <- compile time error, need explicit cast sort((Comparable[])a);
}

虽然第二个用 1.4 代码编译，只有警告

public static <T> void sort(T[] a, Comparator<? super T> c) {
    ...
}

public static void main(String[] args) throws Exception {
    Object[] a = { "1", "2" };
    sort(a, new Comparator() {   <-- warning 
        @Override
        public int compare(Object o1, Object o2) {
            return 0;
        }
    });
}