编译器处理泛型有两种方式:Code specialization与Code sharing
Code specialization(C++,c#):在实例化一个泛型类或泛型方法时都产生一份新的目标代码(字节码or二进制代码)。例如,针对一个泛型List,可能需要 针对String,Integer,Float产生三份目标代码。代码膨胀。真实泛型。
Code sharing(java):对每个泛型类只生成唯一的一份目标代码;该泛型类的所有实例都映射到这份目标代码上,在需要的时候执行类型检查和类型转换。伪泛型。类型擦除。
类型擦除:先把所有的类型参数替换为最左边界,然后去掉参数类型
个人理解:编译器编译时,对于定义类或接口时用到泛型,会把泛型替换为Object,然后确定泛型时进行强转。会消失,A会变为(Apple)Object
示例:https://hollischuang.github.io/toBeTopJavaer/#/basics/java-basic/type-erasure
这段代码编译不通过
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)"); } }
因为泛型擦除,入参都变为了List list
同理,如果我们自定义了一个泛型异常类GenericException,那么,不要尝试用多个catch取匹配不同的异常类型,例如你想要分别捕获GenericException、GenericException,这也是有问题的
泛型类的所有静态变量是共享的
java泛型是编译时的概念,与jvm运行无关。