文章目录
介绍类型擦除之前先看看以下代码：
public static void genericRemove() throws InvocationTargetException, IllegalAccessException, NoSuchMethodException { List<Integer> list = new ArrayList<>(); list.add(1); Method addMethod = list.getClass().getMethod("add", Object.class); addMethod.invoke(list , "ff"); }
你觉得会执行成功吗？
答案是会的。可能你会有疑问，list不是通过泛型限制成Integer类型了吗，怎么会执行成功呢。
泛型是在编译期对类型进行安全检查的，上面是通过反射设值，反射是在运行期起作用的，这就引出了类型擦除的概念了。
何为类型擦除
很多文章在提到类型擦除的时候说的都是泛型擦除，官网用的是Type Erasure直译就是类型擦除。
在编程语言中，类型擦除是加载时过程，在程序运行时执行之前，通过该过程从程序中删除显式类型注释。 不需要程序伴随类型的操作语义称为类型擦除语义，与类型传递语义形成对比。赋予类型擦除语义的可能性是一种抽象原则，确保程序的运行时执行不依赖于类型信息。----维基百科
泛型被引入 Java 语言以在编译时提供更严格的类型检查并支持泛型编程。为了实现泛型，Java 编译器将类型擦除应用于：
- 如果类型参数是无界的，则将泛型类型中的所有类型参数替换为其边界或Object 。因此，生成的字节码只包含普通的类、接口和方法。
- 必要时插入类型转换以保持类型安全。
- 生成桥方法以保留扩展泛型类型中的多态性。
类型擦除确保不会为参数化类型创建新类；因此，泛型不会产生运行时开销。
通俗的来说就是JVM不知道泛型的存在，在编译成.class文件后会把限定的泛型替换成object类或者是边界类(比如父类、或者是几个泛型共有的一个父类)。泛型是 jdk 1.5 出现的，为了兼容jdk1.5之前的版本就搞了个类型擦除。
一探究竟
下面通过字节码的形式查看类型擦除。
先定义一个泛型类，GenericClass
GenericClass.java
public class GenericClass<T> { private T data; public T getData() { return data; } public void setData(T data) { this.data = data; } }
再创建一个测试类：
public class Test { public static void main(String[] args) throws InvocationTargetException, IllegalAccessException, NoSuchMethodException { GenericClass<String> stringGenericClass = new GenericClass<>(); stringGenericClass.setData("泛型类data"); System.out.println(stringGenericClass.getData()); } }
查看字节码：
Compiled from "Test.java" public class generic.Test { public generic.Test(); Code: 0: aload_0 1: invokespecial #1 // Method java/lang/Object."<init>":()V 4: return public static void main(java.lang.String[]) throws java.lang.reflect.InvocationTargetException, java.lang.IllegalAccessException, java.lang.NoSuchMethodException; Code: 0: new #2 // class generic/GenericClass 3: dup 4: invokespecial #3 // Method generic/GenericClass."<init>":()V 7: astore_1 8: aload_1 9: ldc #4 // String 泛型类data 11: invokevirtual #5 // Method generic/GenericClass.setData:(Ljava/lang/Object;)V 14: getstatic #6 // Field java/lang/System.out:Ljava/io/PrintStream; 17: aload_1 18: invokevirtual #7 // Method generic/GenericClass.getData:()Ljava/lang/Object; 21: checkcast #8 // class java/lang/String 24: invokevirtual #9 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 27: return }
按理说GenericClass使用泛型限定类型为String，它的getter/setter方法应该是下面这个样子的
public String getData() { return data; } public void setData(String data) { this.data = data; }
但是通过字节码
第11行Method generic/GenericClass.setData:(Ljava/lang/Object;)V
第18行Method generic/GenericClass.getData:()Ljava/lang/Object;
可以看到GenericClass的getter/setter方法变成了下面这个样子，JVM对泛型进行类型擦除，把String替换成了Object。
public Object getData() { return data; } public void setData(Object data) { this.data = data; }
类型擦除规则
在类型擦除过程中，Java 编译器擦除所有类型参数，如果类型参数是有界的，则将每个类型参数替换为其第一个边界，如果类型参数是无界的，则将其替换为Object。
以下给出三个栗子来解释这句话。
- 类型参数是无界的
还拿GenericClass< T>来说，类型T没有显示的继承或者实现任何接口或者类，那么在进行类型擦除的时候就会把T替换成Object类型。
- 类型参数有界
将GenericClass修改为如下形式：
public class GenericClass<T extends Number> { private T data; private GenericClass<T> next; //省略getter方法 public void setNext(GenericClass<T> next) { this.next = next; } public void setData(T data) { this.data = data; } }
测试类：
public class Test { public static void main(String[] args) { GenericClass<Integer> stringGenericClass = new GenericClass<>(); stringGenericClass.setData(1); stringGenericClass.setNext(new GenericClass<>()); System.out.println(stringGenericClass.getData()); } }
再次查看字节码：
Compiled from "Test.java" public class generic.Test { public generic.Test(); Code: 0: aload_0 1: invokespecial #1 // Method java/lang/Object."<init>":()V 4: return public static void main(java.lang.String[]); Code: 0: new #2 // class generic/GenericClass 3: dup 4: invokespecial #3 // Method generic/GenericClass."<init>":()V 7: astore_1 8: aload_1 9: iconst_1 10: invokestatic #4 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer; 13: invokevirtual #5 // Method generic/GenericClass.setData:(Ljava/lang/Number;)V 16: aload_1 17: new #2 // class generic/GenericClass 20: dup 21: invokespecial #3 // Method generic/GenericClass."<init>":()V 24: invokevirtual #6 // Method generic/GenericClass.setNext:(Lgeneric/GenericClass;)V 27: getstatic #7 // Field java/lang/System.out:Ljava/io/PrintStream; 30: aload_1 31: invokevirtual #8 // Method generic/GenericClass.getData:()Ljava/lang/Number; 34: invokevirtual #9 // Method java/io/PrintStream.println:(Ljava/lang/Object;)V 37: return }
从字节码可以看到
Method generic/GenericClass.setNext:(Lgeneric/GenericClass;)V
Method generic/GenericClass.setData:(Ljava/lang/Number;)V
T 被限定为只能是Number的子类，所以在类型擦除的时候data属性的类型被替换成了Number类型。
能力一般，水平有限，如有错误，请多指出。
如果对你有用点个关注给个赞呗
