Java泛型对方法重载的影响（二）

来源：互联网发布：上海和数软件编辑：程序博客网时间：2024/06/05 10:10

泛型代码和虚拟机

虚拟机没有泛型类型对象——所有对象都属于普通类。在泛型实现的早期版本中，甚至能够将使用泛型的程序编译为在1.0虚拟机上运行的类文件！这个向后兼容性在Java泛型开发的后期被放弃了。

无论何时定义一个泛型类型，都自动提供了一个相应的原始类型（raw type）。原始类型的名字就是删去类型参数后的泛型类型名。擦出（erased）类型变量，并替换为限定类型（无限定类型的变量用Object）。

例如，我们定一个简单的泛型类Pair< T>如下所示：

public class Pair<T> {    private T first;    private T second;    public Pair(T first, T second) {        this.first = first;        this.second = second;    }    public T getFirst() {        return first;    }    public T getSecond() {        return second;    }    public void setFirst(T newValue) {        first = newValue;    }    public void setSecond(T newValue) {        second= newValue;    }}

那么，Pair< T>的原始类型如下所示：

public class Pair {    private Object first;    private Object second;    public Pair(Object first, Object second) {        this.first = first;        this.second = second;    }    public Object getFirst() {        return first;    }    public Object getSecond() {        return second;    }    public void setFirst(Object newValue) {        first = newValue;    }    public void setSecond(Object newValue) {        second= newValue;    }}

因为T是一个无限定的变量，所以直接用Object替换。
结果是一个普通类，就好像泛型引入Java语言之前已经实现的那样。
在程序中可以包含不同类型的Pair，例如，Pair< String>或Pair< Integer>。而擦除类型后就变成原始的Pair类型了。

原始类型用第一个限定的类型变量来替换，如果没有给定限定就用Object替换。例如，类Pair< T>中的类型变量没有显式的限定，因此，原始类型用Object替换T。假定声明了一个不同的类型。

public class Interval<T extends Comparable & Serializable> implements Serializable {    private T lower;    private T upper;    public Interval(T first, T second) {        if(first.compareTo(second) <= 0) {            lower = first;            upper = second;        }        else {            lower = second;            upper = first;        }    }}

原始类型Interval如下所示：

public class Interval implements Serializable {    private Comparable  lower;    private Comparable  upper;    public Interval(Comparable  first, Comparable  second) {        if(first.compareTo(second) <= 0) {            lower = first;            upper = second;        }        else {            lower = second;            upper = first;        }    }}

0 0