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>