04_Java泛型 有界类型参数 多重边界,泛型extends,泛型 &

402 阅读1分钟

有界类型参数

==有些场景需要限制 允许传递给类型参数的类型。==

声明一个有界类型参数,列出类型参数名称,后跟extends关键字,后跟其边界上限。

//限制类型参数天加上界
public class GenericTypeExtends {

    public static void main(String[] args) {
        printNum(100);
        printNum(1000L);
        printNum(1.00);
        printNum(1.0F);

        System.out.println(maxMum(1,2,3));
        System.out.println(maxMum(1.1,2.2,3.3));
        System.out.println(maxMum("apple","banana","orange"));

    }

    //限制类型参数T必须实现Comparable,限制上界
    public static <T extends Comparable<T>> T maxMum(T x, T y, T z) {
        T max = x;
        if (y.compareTo(max) > 0) {
            max = y;
        }
        if (z.compareTo(max) > 0) {
            max = z;
        }
        return max;
    }

    //限制类型参数T必须是Number的子类,限制上界
    public static  <T extends Number> void printNum(T t){
        System.out.println(t);
    }
}

Java泛型多重边界

语法:

public static <T extends Number & Comparable<T>> T maxMum(T x, T y, T z)

T是传递给泛型类的类型参数应该是Number类的子类型,并且必须包含Comparable接口。 如果一个类作为绑定传递,它应该在接口之前先传递,否则编译时会发生错误。

//Java 泛型多重继承
public class GenericMoreTypeExtends {
    public static void main(String[] args) {
        System.out.println(maxMum(1,2,3));
        System.out.println(maxMum(1.1,2.2,3.3));
    }

    //限制类型参数T必须实现Comparable 和 必须是Number的子类,限制上界
    public static <T extends Number & Comparable<T>> T maxMum(T x, T y, T z) {
        T max = x;
        if (y.compareTo(max) > 0) {
            max = y;
        }
        if (z.compareTo(max) > 0) {
            max = z;
        }
        return max;
    }

}

此时System.out.println(maxMum("apple","banana","orange"));就会报错了。