java面经： 泛型与类型擦除

编译器处理泛型有两种方式：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运行无关。