Java学习day055 泛型代码和虚拟机（类型擦除、翻译泛型表达式、翻译泛型方法、调用遗留代码）

使用的教材是java核心技术卷1，我将跟着这本书的章节同时配合视频资源来进行学习基础java知识。

day055   泛型代码和虚拟机（类型擦除、翻译泛型表达式、翻译泛型方法、调用遗留代码）

虚拟机没有泛型类型对象 —所有对象都属于普通类。

---

1.类型擦除

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

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

/**
 *@author  zzehao
 */

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<LocalDate>。而擦除类型后就变成原始的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(s