原生类型的处理

下面的程序由一个单一的类构成，该类表示一对类型相似的对象。它大量使用了5.0 版的特性，包括泛型、 自动包装、 变长参数（varargs）和 for-each 循环。那么它会打印什么呢？

import java.util.*;
public class Pair<T> {
 private final T first;
 private final T second;
 public Pair(T first,  T second) {
 this.first = first;
 this.second = second;
 }
 public T first() {
 return first;
 }
 public T second() {
 return second;
 }
 public List<String> stringList() {
 return Arrays.asList(String.valueOf(first) ,
 String.valueOf(second));
 }
 public static void main(String[]  args) {
 Pair p = new Pair<Object> (23, "skidoo");
 System.out.println(p.first() + " " + p.second());
 for (String s :  p.stringList())
 System.out.print(s + " ");
 }
}

这段程序看上去似乎相当简单。它创建了一个对象对，其中第一个元素是一个表示 23 的 Integer 对象， 第二个元素是一个字符串“ skidoo” ，然后这段程序将打印这个对象对的第一个和第二个元素，并用一个空格隔开。最后它循环迭代这些元素的 string 表示，并且再次打印它们，所以这段程序应该打印 23 skidoo
两次。然而可惜的是，它根本不能通过编译。更糟的是， 编译器的错误消息更是另人困惑：
Pair. java: 26: incompatible types;
found: Object, required: String
for (String s : p.stringList())
^
如果 Pair.stringList 是声明返回 List<Object>的话，那么这个错误消息还是可以明白 的，但是事实是它返回的是List<String>。 究竟是怎么回事呢？
这个十分奇怪的现象是因为程序使用了原生类型（raw type）而引 起的。一个原生类型就是一个没有任何类型参数的泛型类或泛型接口 的名字。 例如， List<E>是一个泛型接口 ， List<String> 是一个参数化的类型，而 List 就是一个原生类型。在我们的程序中，唯一用到原生类型的地方就是在 main 方法中对局部变量 p 的声明：
Pair p = new Pair 当 List<String>实现了参数化类型 Iterable<String>时， List 也实现了 原生类
型 Iterable。 Iterable<String>有一个 iterator 方法返回参数化类型Iterator<String>，相应地， Iterable 也有一个 iterator 方法返回原生类型Iterator。当 Iterator<String>的 next 方法返回 String 时， Iterator 的 next
方法返回 Object。因此， 循环迭代 p.stringList()需要一个 Object 类型的循环变量，这就解释了编译器的那个奇怪的错误消息的由来。这种现象令人想不通的原因在于参数化类型 List<String>虽然是方法 stringList 的返回类型，但它与Pair 的类型参数没有关系， 事实上最后它被擦除了 。
你可以尝试通过将循环变量类型从 String 改成 Object 这一做法来解决这个问
题：
// Don’ t do this; it doesn’ t really fix the problem!
for (Object s : p.stringList())
System.out.print(s + " ");
这样确实令程序输出了满意的结果，但是它并没有真正解决这个问题。你会失去
泛型带来的所有优点，并且如果该循环在 s 上调用了任何 String 方法，那么程
序甚至不能通过编译。正确解决这个问题的方法是为局部变量 p 提供一个合适的
参数化的声明：
Pair<Object> p = new Pair<Object>(23, " 实际上，这种问题在用 getAnnotation 方法在运行期读取 Class 的注解
（annotations）的情况下也会发生，该方法是在 5.0 版中新添加到 Class 类中
的。每次调用 getAnnotation 方法时都会涉及到两个 Class 对象：一个是在其上
调用该方法的对象， 另一个是作为传递参数指出需要哪个类的注解的对象。在一
个典型的调用中， 前者是通过反射获得的，而后者是一个类名 称字面常量，如下例所示：
Author a = Class.forName(name). getAnnotation(Author.class);
你不必把 getAnnotation 的返回值转型为 Author。以下两种机制保证了这种做
法可以正常工作：（ 1） getAnnotation 方法是泛型的。它是通过它的参数类型
来确定返回类型的。具体地说，它接受一个 Class<T>类型的参数，返回一个 T类型的值。（ 2） 类名 称字面常量提供了泛型信息。 例如，Author.class 的类型
是 Class<Author>。 类名 称字面常量可以传递运行时和编译时的类型信息。以这
种方式使用的类名 称字面常量被称作类型符号（type token） [Bracha04] 。
与类名 称字面常量不同的是， 通过反射获得的 Class 对象不能提供完整的泛型类
型信息： Class.forName 的返回类型是通配类型 Class<?>。在调用 getAnnotation
方法的表达式中，使用的是通配类型而不是原生类型 Class，这一点很重要。如
果你采用了 原生类型，返回的注解具有的就是编译期的 Annotation 类型而不是通过类名 称字