Java进阶 泛型

一、引言
    泛型(generic)：是指参数化类型的能力。 可以定义带泛型类型的类或方法，随后编译器会用具体的类型来替换它。
    泛型的主要优点：是能够在编译时而不是在运行时检测出错误。

二、动机和优点
    泛型实例化：<E>或<T>表示形式泛型类型(formal generic type)，可以用一个实际具体类型(actual concrete type)来替换它。替换泛型类型称为泛型实例化。
    实例化泛型的具体类型必须是引用类型。不能用像int、double或char这样的基本类型来替换泛型类型，可以改用Integer、Double、Character这样的引用类型来替换泛型类型。然后通过自动打包(后续讲解) 和自动解包(后续讲解)来操作基本类型和引用类型的互相转换。
    无需强制转换从列表中获取的值。无需类型转换就可以从一个元素类型已确定的列表中获取一个值，因为编译器已经知道了这个元素的类型。
    自动打包(autoboxing)：Java会自动地将基本类型包装为引用类型(如：将5包装为new Integer(5))，然后添加到线性表中。这个过程称为自动打包。
    自动解包(autounboxing)：如果线性表中添加的元素的数据类型是包装类型，那么可以直接将这个元素赋值给一个基本类型的变量。这个过程称为自动解包。

三、定义泛型类和接口
    定义泛型类和接口：在类名或接口名后加<E>或<T>。
    使用泛型类型能够提高可靠性和可读性，因为某些错误能在编译时而不是在运行时被发现。
    创建一个字符串堆栈，可以使用new GenericStack<String>()。但GenericStack的构造方法却被定义为public GenericStack()。
    泛型类型可能会有多个参数。应将所有参数一起放在尖括号中，并用逗号分开。比如<E1,E2,E3>。
    可以定义一个类或一个接口作为泛型类或者接口的子类型。

四、泛型方法
    定义泛型方法：为了定义一个方法为泛型类型，要将泛型类型放在方法返回类型之前。例如，<E> void max(E o1, E o2)。
    调用泛型方法：为了调用泛型方法，需要将实际类型放在尖括号内作为方法名的前缀。例如，GenericMethodDemo.<Integer>print(integers)。
    受限泛型类型：可以将泛型类型指定为另外一种类型的子类型。这样的泛型类型称为受限的(bounded)。例如，<E extends GeometricObject>。

五、原始类型和向后兼容
    原始类型：不使用类型参数的泛型称为原始类型(raw type)。例如，ArrayList、GenericStack。
    允许原始类型向后兼容。

六、通配泛型
    通配泛型：通配泛型类型有三种形式—?、? extends T 或者 ? super T。
    ?：称为非受限通配符(unbounded wildcard)，它和 ? extends Object是一样的。
    ? extends T：称为受限通配符(bounded wildcard)，表示T或T的一个未知子类型。
    ? super T：称为下限通配符(lower-bound-wildcard)，表示T或T的一个未知父类型。

七、消除泛型和对泛型的限制
    泛型存在于编译时，在运行时泛型已经被消除，所以只有原始类型会被加载到JVM中。

    消除泛型：
    一旦编译器确认泛型类型是安全的，就会将它转换为原始类型。
    当编译泛型类、接口和方法时，编译器用Object类型代替泛型类型。
    如果一个泛型类型是不受限的，那么编译器会用一个受限类型来替换它。

    对泛型的限制：

    1、不能使用new E()
        运行时执行的是new E()，但是运行时泛型类型E是不可用的

    2、不能使用new E[]
        不能使用泛型类型参数创建数组；
        不允许使用泛型类创建泛型数组。

    3、在静态环境下不允许类的参数是泛型类型
        由于泛型类的所有实例都有相同的运行时类，所以泛型类的静态变量和方法是被它的所有实例所共享的。

    4、异常类不能是泛型的
        JVM必须检查这个从try子句中抛出的异常以确定它是否与catch子句中指定的类型相匹配。但这是不可能的，因为在运行时类型信息是不出现的。