Java泛型變量限定

泛型變量的限定

有時，類或方法需要對類型變量加以約束。下面是一個典型的例子，我們要尋找數組中的最小元素：

public class ArrayAlg {
    public static <T extends Comparable> T min(T[] array){
        if (array == null || array.length == 0){
            return null;
        }
        T smallest = array[0];
        for (int i=0;i<array.length;i++){
            if (smallest.compareTo(array[i])>0){
                smallest = array[i];
            }
        }
        return smallest;
    }
}

上述代碼中的 限制了用於實例化類型參數T的類型，必須是實現Comparable接口（只含有compareTo方法的標准接口）的類。如果沒有對T進行限制，那么無法確保實例化T的類型具有compareTo方法。

note

一個類型變量可以有多個限定，例如：

<T extends Comparable & Serializable , U extends Comparable>

限定類型使用 “&”分隔，而“,”用於分隔類型參數。

在Java中，一個類可以實現多個接口，但只能有一個父類，所以在類型參數的限定中，可以有多個接口，但只能有一個類。

<T extends 接口1 & 接口2 & ... & 接口n & 類型1>