java泛型程序设计——类型变量限定 + 泛型代码和虚拟机

【0】README

0.1） 本文描述+源代码均转自 core java volume 1，旨在理解 java泛型程序设计的类型变量限定 + 泛型代码和虚拟机 的知识；

【1】类型变量的限定

1.1）类和方法需要对类型变量加以限定

1.1.1）看个荔枝：

class ArrayAlg
{public static <T> T min(T[] a){if(a == null || a.length==0) return null;T smallest = a[0];for(int i=1;i<a.length;i++)if(smallest.compareTo(a[i]) > 0) smallest = a[i];return smallest;}
}

对以上代码的分析（Analysis）：

A1）出现的问题：变量smallest 的类型为 T ，意味着它可以是任何一个类的对象。怎么才能确定T 所属的类有 compareTo 方法呢？
A2）解决方法：将T 限制为实现了 Comparable 接口（只含有一个compareTo的标准接口）的类。 可以通过对类型变量T设置限定实现这一点：

public staitc <T extends Comparable> T min(T[] a);

现在，泛型的main方法只能被实现了 Comparable 接口的类（如 String， Date 等）的数组调用。由于 Rectangle 类没有实现 Comparable接口，所以调用min 方法将会产生一个编译错误；

A3）读者奇怪： 为什么使用关键字extends 而不是 implemens ，因为Comparable是一个接口。
A3.1）看个荔枝： 表示T 应该是绑定类型的子类型。T 和绑定类型可以是类，也可以是接口。选择关
键字extends 的原因是更接近子类的概念，并且 java 的设计者也不打算在语言中再添加一个新的关键字；
1.2）一个类型变量或通配符可以有多个限定，如

T extends Comparable & Serializable 限定类型用 & 分割， 而逗号用来分割类型变量；

1.3）在java继承中，可以根据需要拥有多个接口超类型，但限定中至多有一个类。如果用一个类作为限定，它必须是限定列表中的第一个；
1.4）看个荔枝：

【2】泛型代码和虚拟机

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

2.1.1）原始类型：无论何时定义一个泛型类型，都自动提供了一个相应的原始类型。原始类型的名字就是删去类型参数后的泛型类型名。
2.1.2）擦除操作： 擦除类型变量，并替换为限定类型（无限定的变量用 Object，如只有T，没有 T extends Comparable 的限定类型）；
2.1.3）看个荔枝： Pair（下图中的代码）的原始类型（下面的源代码）如下，

public class Pair
{private Object first;private Object second;public Pair() { first = null; second = null; }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; }
}

对以上代码的分析（Analysis）：

A1）因为T是一个无限定的变量，所以直接用 Object 替换；
A2）在程序中可以包含不同类型的 Pair ，如 Pair, Pair , 而擦除类型后就变成原始的Pair 类型了；

2.2）原始类型用第一个限定的类型变量来替换，如果没有给定限定就用 Object替换。

2.2.1）没有限定类型： 如上述荔枝中的 Pair 没有类型变量没有限定（没有 T extends … 语句），因此，原始类型用 Object 替换T；
2.2.2）但是如果T有限定的话： 如 T extends Comparable & Serializable ， 看个荔枝：

 public class Interval<T extends Comparable & Serializable> implements Serializable
{private T lower;private T upper;public Interval(T first, T second){}
}

原始类型 Interval 如下所示：

public class Interval implements Serializable
{private Comparable  lower;private Comparable  upper;public Interval(Comparable  first, Comparable  second){}
}

Annotation）