Java泛型详解

面试中问到了泛型,具体涉及到泛型擦除、泛型上下限等,故此篇将介绍泛型的相关内容

泛型

泛型的本质是参数化类型，泛型提供了编译时类型的安全检测机制，该机制允许程序在编译时检测非法的类型，比如要实现一个能够对字符串 (String). 整形(Int)、浮点型(Float)、对象(Object)进行大小比较的方法，就可以使用Java泛型。

在不使用泛型的情况下，我们可以通过引用Object 类型来实现参数的任意化，因为在Java中Object 类是所有类的父类，但在具体使用时需要进行强制类型转换。强制类型转换要求开发者必须明确知道实际参数的引用类型，不然可能引起前置类型转换错误，在编译期无法识别这种错误，只能在运行期检测这种错误(即只有在程序运行出错时才能发现该错误)。而使用泛型的好处是在编译期就能够检查类型是否安全，同时所有强制性类型转换都是自动和隐式进行的，提高了代码的安全性和重用性。

泛型标记和泛型限定:E、T、K、V、N、?

在使用泛型前首先要了解有哪些泛型标记，如表所示:

泛型标记	说明
E-Element	在集合中使用，表示在集合中存放的元素
T-Type	表示Java类，包括基本的类和我们自定义的类
K-Key	表示键，比如Map中的key
V-Value	表示值，比如Map中的value
N-Number	表示数值类型
?	表示不确定的Java类型

类型通配符使用“?”表示所有具体的参数类型，例如List<?>在逻辑 上是List、List 等所有List<具体类型实参>的父类。

在使用泛型的时候，若希望将类的继承关系加入泛型应用中，就需要对泛型做限定，具体的泛型限定有对泛型上线的限定和对泛型下线的限定。

1. 对泛型上限的限定: <? extends T>
在Java 中使用通配符“?”和“extends" 关键字指定泛型的上限，具体用法为<?extendsT>,它表示该通配符所代表的类型是T类的子类或者接口T的子接口。

2. 对泛型下限的限定: <? super T>
在Java中使用通配符“?”和“super” 关键字指定泛型的下限，具体用法为<?superT>,它表示该通配符所代表的类型是T类型的父类或者父接口。

泛型擦除

在编码阶段采用泛型时加上的类型参数，会被编译器在编译时去掉，这个过程就被称为类型擦除。因此，泛型主要用于编译阶段,在运行期会被擦除。在编译后生成的Java 字节代码文件中不包含泛利中的类型信息。例如，编码时定义的List 和List<String 在经过编译后统一为List。JVM所读取的只是List, 由泛型附加的类型信息对JVM来说是不可见的。

Java类型的擦除过程为:首先，查找用来替换类型参数的具体类(该具体类一般为Object),如果指定了类型参数的上界，则以该上界作为替换时的具体类;然后，把代码中的类型参数都替换为具体的类。

利用反射在编码时越过泛型检查

public class De06_反射越过泛型检查 {

    public static void main(String args[]) throws ClassNotFoundException, NoSuchMethodException, InvocationTargetException, IllegalAccessException {
        ArrayList<Integer> list = new ArrayList<>();
        list.add(111);
        list.add(222);

        Class clazz = Class.forName("java.util.ArrayList"); //获取字节码对象
        // 擦除泛型
        Method method = clazz.getMethod("add",Object.class);
        // 存入String类型,此时不会报错
        method.invoke(list,"abc");
        System.out.println(list);   //[111, 222, abc]
    }
}