为什么泛型类型参数说“扩展”？可比不是“实现”？

Question

我尝试编写通用函数来从数组中删除重复元素。

public static <E extends Comparable<E>> ArrayList<E> removeDuplicate(E[] arr) {
    //do quicksort
    Arrays.sort(arr);
    ArrayList<E> list = new ArrayList<E>();
    int i;
    for(i=0; i<arr.length-1; i++) {
        if(arr[i].compareTo(arr[i+1]) != 0) { //if not duplicate, add to the list
            list.add(arr[i]);
        }
    }
    list.add(arr[i]); //add last element
    return list;
}

正如您所看到的，您无法传递像 int[] 数组这样的基本类型，因为我通过 Comparable 接口中定义的compareTo() 方法来比较元素。

我注意到第一行（方法声明）：

public static <E extends Comparable<E>> ArrayList<E> removeDuplicate(E[] arr) {

为什么它说“extends Comparable”？

Comparable 是一个接口，那么为什么它不“实现 Comparable”呢？这是我第一次编写通用函数，所以我对这样的细节有点困惑。 （任何想知道都会阻止我理解..）

编辑：找到与此主题相关的这篇文章。

http://www.tutorialspoint.com/java/java_generics.htm

Answer 1

这只是为泛型选择的约定。当使用有界类型参数时，您可以使用extends（即使在某些情况下它可能意味着实现）或super。

您甚至可以执行类似 ; 的操作& Cloneable> 定义将替换类型参数的对象应该实现这两个接口。

Answer 2

如果您想使用实现的东西您只需编写为通用参数

class Bar extends  Foo<String> { /* Code */}

您正在谈论的通配符是三个

1. “?extends Type”：表示Type类型的子类型族。这
   是最有用的通配符
2. “?super Type”：表示Type类型的超类型族
3. “?”：表示所有类型或任意的集合

您的方法应该如下所示有关

public static <T extends Comparable<? super T>> Collection<T> sort(T[] list) {

        Collection<T> list = new ArrayList<T>();

         //do quicksort
        Arrays.sort(arr);

        Collection<T> list = new ArrayList<T>();
        int i;
        for(i=0; i<arr.length-1; i++) {
            if(arr[i].compareTo(arr[i+1]) != 0) { //if not duplicate, add to the list
                list.add(arr[i]);
            }
        }
        list.add(arr[i]); //add last element
//btw how do You know that last is not duplicate 
        return list;

}

详细信息，请访问此页面

Answer 3

一方面，E 可能是一个接口。