Java泛型解析(03)：虚拟机执行泛型代码.docx

重庆达渝仁科技官网： Java 泛型解析 (03) ：虚拟机执行泛型代码 Java 虚拟机是不存在泛型类型对象的，所有的对象都属于普通类，甚至在泛型实现的早起版本中， 可以将使用泛型的程序编译为在 1.0 虚拟机上能够运行的 class 文件，这个向后兼容性后期被抛弃了，所以后来如果用 Sun 公司的编译器编译的泛型代码， 是不能运行在 Java5.0 之前的虚拟机的， 这样就导致了一些实际生产的问题，如一些遗留代码如何跟新的系统进行衔接， 要弄明白这个问题，需要先了解一下虚拟机是怎么执行泛型代码的。 虚拟机的一种机制： 擦除类型参数，并将其替换成特定类 型，没有指定特定类型用 Object 代替，如前文中的 CoupleT类， 虚拟机擦除后： [code01] [java] view plaincopyprint? public class Couple { private Object wife ; private Object husband ; public Couple(Object wife, Object husband) { 6. this.wife = wife; 7. this.husband = husband; } public void setWife(Object wife) {this. wife = wife;} public void setHusband(Object husband) {this. husband = husband;} 12. public Object getWife() {return wife;} 重庆达渝仁科技官网： public Object getHusband() {return husband;} } 类型参数 T 是一个任意类型的， 所以擦除后用 Object 代替了。 不管是 CoupleEmployee或者 CoupleString 擦除后都成为了原 始类 Couple 类，这就好比回到了泛型引入 Java 之前的普通类。 所 以这里重点围绕着 擦除类型参数 这个机制展开讲解。 如有对类型参数有类型限定会怎么替换呢？擦除类型参数机 制告诉我们， 使用限定的类型代替， 如果有多个， 使用第一个代替， 看一段代码： [code02] [java] view plaincopyprint? public class PeriodT extends ComparableT Serializable { private T begin; private T end; 4. public Period(T one, T two) { 6. if (pareTo(two) 0) {begin = two;end = one; 7. } else {begin = one;end = two;} } } code02 擦除后， Period 的原始类型如下： [code03] [java] view plain copyprint? public class Period { private Comparable begin; private Comparable end; 重庆达渝仁科技官网： 4. public Period(Comparable one, Comparable two) { 6. if (pareTo(two) 0) {begin = two; end = one; 7. } else {begin = one; end = two;} 8. } 9. } 思 考 一 下 ， 如 果 将 PeriodT extends ComparableT Serializable  写  成 PeriodT  extends  Serializable  ComparableT 会是怎么样 呢?同理，擦除后原始类型用第一个  Serializable  代替，这样进行 compareTo方法调用的时候，编译器会进行必要的强制类型转换，所 以为了提高效率，将标签接口 ( 没有任何方法的接口，也叫 tagging 接口 ) 放在后面。 先来看看虚拟机执行表达式的时候发生了什么，如： [code04] [java] view plain copyprint? CoupleEmployee couple = ...; Employee wife = couple.getWife(); 擦除后， getWife() 返回的是 Object 类型，然后虚拟机会插 入强制类型转换，将 Object 转换为 Employee，所以虚拟机实际上 执行了两天指令： 调用 Couple.getWife() 方法。 将 Object