java通配符简单示例

/** * 看看下面的代码,使用类型参数T定义了一个max局部变量,这就意味着max可以是任意类型的 * 那么max.compareTo(array[i])方法的调用的前提是T所属的类中有compareTo方法 * 可以对这个代码进行改善 */public class WildCard {public static <T>T max(T[] array) {if ( null == array || 0 == array.length) {return null;}T max = array[0];for (int i = 1; i < array.length; i++) { if (max.compareTo(array[i]) < 0) {max = array[i];} }return max;}}

/** * 看看下面的代码,使用类型参数T定义了一个max局部变量,这就意味着max可以是任意类型的 * 那么max.compareTo(array[i])方法的调用的前提是T所属的类中有compareTo方法 * 我们定义类型参数的变化,<T extends Comparable<T>>这里将T类型限定在Comparable * 及其所有的子类,可是这里Comparable是一个interface,为什么这里用extends呢? *  * <T extends Bounding type>表示T类型应该是绑定类型及其子类型subtype,T和绑定类型可以是类或者接口 * 使用extends是因为它更接近子类的概念 */public class WildCard {public static <T extends Comparable<T>>T max(T[] array) {if ( null == array || 0 == array.length) {return null;}T max = array[0];for (int i = 1; i < array.length; i++) { if (max.compareTo(array[i]) < 0) {max = array[i];} }return max;}}

import java.io.Serializable;import java.util.ArrayList;/** * 如果限定T为class的时候,就有一个非常严格的规则,这个class智能放在第一个,最多只能有一个class * 这样一来就能够严格控制T类型是单继承的,遵循Java规范 *  * 1) 类型限定只能限定某个类型及其子类,使用关键字extends; * 2) 多个类型参数用逗号分隔,多个限定类型用&隔开 * 3) 限定interface的时候,对interface的个数和顺序无严格要求,限定class的时候,则需要 *    将class类型置于第一个位置,且最多只能存在一个class类型 *  */public class WildCard {public static <T extends ArrayList &Runnable &Serializable> T max(T[] array) {    return null;}}/** * 面向接口编程,而非面向过程编程,这个设计原则,方法调用通过高层的抽象类或者接口来进行,具体调用的方法体 * 就是我们实际运行时期传递的具体实现类的实例,这也是多态的一种体现,我们就需要通过子类来调用方法,而调用 * 的方法体现这个类的超类的实例,继承结构越往上就可能是abstract的,或是interface,抽象类和接口是无法 * 实例化的,这种反设计让调用面临失败,一旦限定的这个类就是抽象的或是接口,这个会造成这个泛型类或泛型方法 * 无法使用,导致设计失败; *  * 所以public static <T super Runnable> void test(T runner) 这是行不通的 * 这种功能可以通过泛型中的通配符来得到解决; * 通配符类型,相比于固定的泛型类型,它是一个巧妙的解决方案:: *  * 表示Couple的泛型类型是Employee或者子类,Couple<Manager>满足,而Couple<File>不满足 * 使用同配置?来表示:: */public class WildCard {// The type T is not generic; it cannot be parameterized with arguments <? extends Employee>// ? extends Employee 自身不能单独使用,可以理解为只能寄生在其他泛型类中,作为泛型类一个具体的类型参数,通常用于定义阶段// public class Couple<T>// public static ? extends Employee {....} (错误)// 使用通配符来定义方法返回值和方法的参数类型在Java中是不允许的!!!// 和前面子类型的限定一样,用?表示通配符,它的存在必须存在泛型类的类型参数中Couple<? super Manager>public static <T extends ArrayList &Runnable &Serializable> T max(Couple<? extends Employee> couple) {  Employee wife = couple.getWife();      return null;}}

/** * 泛型参数的限定,使用extends 关键字,限定多个类型时候用&隔开,如<T extends Runnable& Serializable> * 泛型参数限定中,如果限定的类型是class而不是interface,则class必须放在限定类表中的第一个,且最多只能存在一个class * 通配符只能用在泛型类的泛型参数中,不能单独使用 * Couple<?> Couple<? extends Employee> Couple<? super Manager> * 通配符的超类型限定适用于写入,通配符的子类型限定适用于读取,无限定通配符使用一些非null判断等简单操作 */public class WildCard {public static <T extends ArrayList &Runnable &Serializable> T max(Couple<? extends Employee> couple) {  Employee wife = couple.getWife();        return null;}public void callWildcard() {WildCard.max(null);}}