十分钟理解Java泛型擦除

共计 1746 个字符，预计需要花费 5 分钟才能阅读完成。

今天我们来讲解泛型中另一个重要知识点——泛型擦除!

泛型信息只存在于代码编译阶段，但是在 java 的运行期 (已经生成字节码文件后) 与泛型相关的信息会被擦除掉，专业术语叫做类型擦除。我们来看一个例子：

ArrayList l1 = new ArrayList(); 
ArrayList l2 = new ArrayList();  
System.out.println(l1.getClass()==l2.getClass()); 

运行代码，结果为 True

这是因为 ArrayList 和 ArrayList 在 jvm 中的 Class 都是 List.class，二者在 jvm 中等同于 List

通过下面的例子我们做进一步的分析

import java.lang.reflect.Field; 
public class GeneErasure { 
   T object; 
   public GeneErasure(T object) {this.object = object;} 
   public static void main(String[] args) {GeneErasure demo = new GeneErasure("hi"); 
      Class classz = demo.getClass(); 
      System.out.println(classz.getName()); 
      // 输出 com.my.generic.GeneErasure 
      Field[] fs = classz.getDeclaredFields(); 
      for (Field f:fs) {System.out.println("feild:"+f.getName()+"type:"+f.getType().getName()); 
        // 输出 feild: object type:java.lang.Object 
      } 
   } 

通过这个例子我们可以看到 Class 的类型仍然是 GeneErasure 并不是 GeneErasure 这种形式，而类型 T 被替换成 Object 类型。接下来我们做另一个尝试，把 GeneErasure 更改为 GeneErasure

输出结果为：

feild: object type:java.lang.String

所以，在泛型类被类型擦除的时候，之前泛型类中的类型参数部分如果没有指定上限，如 则会被转译成普通的 Object 类型，如果指定了上限，如 则类型参数就被替换成类型上限。

大家都知道，下面这段代码 l.add(123)无法编译通过，因为 123 不是 String 类型，这也是使用泛型的好处之一。

ArrayList l=new ArrayList(); 
 
l.add("abc"); 
 
l.add(123); 

但是我们理解了泛型擦除的原理，我们可以巧妙地利用这个原理结合反射知识干一些“坏事”，例如：

ArrayListl=new ArrayList(); 
     l.add("abc");    
     try {Method method = l.getClass().getDeclaredMethod("add",Object.class); 
       method.invoke(l,"test"); 
       method.invoke(l,100.f); 
     }catch (Exception e) {e.printStackTrace(); 
     } 
     System.out.println("list 的大小是："+l.size());  
     for (Object o: l){System.out.println(o); 
     }

运行结果是：

list 的大小是：3 
abc 
test 
100.0(被成功插入到 ArrayList 中)

我们可以看见 100.0 成功地插入到 ArrayList 中了，所以利用类型擦除的原理并结合反射的手段就绕过了正常开发中编译器不允许的操作限制。

我们可以将泛型比作是一个看守，他来守护我们的代码安全，然后设置各项规定，“xxx 禁止出入”的提醒。而现实生活中，也总会有些人能够基于对门卫们生活作息的规律，绕开他们的监视 (反射结合泛型擦除) 来干一些坏事儿。

阿里云 2 核 2G 服务器 3M 带宽 61 元 1 年，有高配

腾讯云新客低至 82 元 / 年，老客户 99 元 / 年

代金券：在阿里云专用满减优惠券