Java泛型四：泛型实现原理之类型擦除

泛型类型实现原理相关的两个概念：原始类型、类型擦除。

原始类型

Java总是会自动的为泛型类型提供一个相应的原始类型。所谓原始类型就是是指泛型的第一个限定类型（从左向右），无限定类型泛型的原始类型默认为Object。

举例：

public class Rectangle<T> {}

等价于

public class Rectangle<T extends Object> {}

因此T的原始类型为Object。

public class Rectangle<T extends Number> {}

T的原始类型为Number。

public class Container<K extends Comparable& Serializable, V> {}

K的原始类型为Comparable，V的原始类型为Object

public class Container<K extends Serializable & Comparable, V> {}

调整extends Serializable & Comparable顺序后，K的原始类型为Serializable ，V的原始类型为Object

注意：extends后可以继承多个类、多个接口，原始类型为从左向右排序的第一个类或者接口。为了提高效率，应该将标签接口（即没有方法的接口）放在边界限定列表的末尾。清楚了原始类型之后，我们接下来讲解类型擦除。

类型擦除

Java中泛型的实现原理是类型擦除（type erasure）。类型擦除是在编译器进行代码编译这个阶段进行的，在编译的时候泛型的类型参数会被原始类型（raw type）所替代。
先来看个例子：
类1：

public class Container<K extends Integer, V extends String> {    private K key;    private V value;    public Container(K k, V v) {        key = k;        value = v;    }    public K getKey() {        return key;    }    public void setKey(K key) {        this.key = key;    }    public V getValue() {        return value;    }    public void setValue(V value) {        this.value = value;    }}

类2：

public class Container {    private Integer key;    private String value;    public Container2(Integer k, String v) {        key = k;        value = v;    }    public Integer getKey() {        return key;    }    public void setKey(Integer key) {        this.key = key;    }    public String getValue() {        return value;    }    public void setValue(String value) {        this.value = value;    }}

根据类型擦除的原理，泛型类1编译后的字节码与泛型类2编译后的字节码是一致的。