文章目录
一 泛型&作用
1.1 泛型是什么
java5中引入泛型,允许在定义类或者接口时使用类型参数
1.2 泛型的作用
拿List来说,如果没有泛型,我们想创建一种Integer链表类型,需要创建一个List类型,如果需要String链表呢?再建一个List类型,可以看出这样建立的方式非常繁琐。
引入泛型之后,我们只需要建立一个List类型,那么就可以使用任何类型的链表,提高了代码的复用性,降低了冗余
二 java泛型原理&泛型擦除
2.1 泛型原理
java编译器处理泛型时采用了code sharing方式,即对每个泛型类只生成一份代码,所有该泛型类的实例都映射到该代码上。与之相对的是C++和C#的code specialization。
java编译时为每个泛型类生成唯一的字节码,将所有该类实例映射到该字节码上,java实现这种唯一映射的方法是泛型擦除
2.2 泛型擦除
之所以可以为每个泛型类只生成一份字节码,就是因为java在编译时擦除了类的泛型信息,取而代知的用该类的顶级父类代替或者说裸类,并在关键处加上类型检查和强制类型转换
例如List和List再被编译成字节码后,实际上是同一类,String和Integer被替换成Object,然后在代码加上类型校验和强制类型转换实现链表的参数不同
2.3 实例
编译前代码
public static void main(String[] args) {
List<Integer> list = new LinkedList<>();
list.add(1);
list.add(2);
System.out.println(list.get(0));
System.out.println(list.get(1));
}
反编译后代码
public static void main(String[] args) {
List list = new LinkedList<>();
list.add(1);
list.add(2);
System.out.println((Integer)list.get(0));
System.out.println((Integer)list.get(1));
}
三 泛型问题
由于泛型擦除的问题,因此使用泛型会出现几个问题
3.1 重载
public class GenericTypes {
public static void method(List<String> list) {
System.out.println("invoke method(List<String> list)");
}
public static void method(List<Integer> list) {
System.out.println("invoke method(List<Integer> list)");
}
}
以上这段代码无法编译通过,原因是在字节码中,由于泛型擦除,两个方法的输入类型是一样的
3.2 catch
如果定义了异常类泛型,也不能通过catch抓取不同异常类型
3.3 泛型类包含静态变量
泛型类中如果包含静态变量,那么该变量在所有该泛型类的实例中是共享的