常用类库学习（一）------ 泛型

一、何为泛型？

        泛型，即“参数化类型”。就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

二、泛型的使用

（一）泛型类

        定义一个泛型类：

public class ClassName<T>{ 
    private T data; 
    public T getData() { 
        return data; 
    }
    public void setData(T data) { 
        this.data = data; 
    } 
}

        使用时将T替换成一个真实的类型，其中所有的T都将变成所使用时的类型。

（二）泛型接口

public interface IntercaceName<T>{ 
    T getData(); 
}

        T定义在接口名称之后，实现接口时，可以选择指定泛型类型，也可以不指定，如下：

// 指定类型
public class Interface1 implements IntercaceName<String> {     
    private String text; 
    @Override 
    public String getData() { 
        return text; 
    } 
}

// 不指定类型
public class Interface1<T> implements IntercaceName<T> { 
    private T data; 
    @Override 
    public T getData() { 
        return data; 
    } 
}

（三）泛型方法

private static <T> T 方法名(T a, T b) {}

        T定义在权限修饰符之后。 

三、泛型限制类型

        在使用泛型时，可以指定泛型的限定区域。

        必须是某某类的子类或某某接口的实现类，格式：

<T extends 类或接口1 & 接口2>

四、泛型中的通配符 ？

        类型通配符是使用 ？ 代替方法具体的类型实参。

        1  <? extends Parent> 指定了泛型类型的上届

        2  <? super Child> 指定了泛型类型的下届

        3  <?>  指定了没有限制的泛型类型

五、作用

        1、提高代码复用率

        2、泛型中的类型在使用时指定，不需要强制类型转换（类型安全，编译器会检查类型）

六、注意

        在编译之后程序会采取去泛型化的措施。

        Java中的泛型，只有在编译阶段有效。

        在编译过程中，正确检验泛型结果后，会将泛型的相关信息擦出，并且在对象进入和离开方法的边界处添加类型检查和类型转换的方法，也就是说，泛型信息不会进入到运行阶段。