java 泛型学习--类型通配符

假设您具有该方法：

void printList(List l) { 
  for (Object o : l) 
    System.out.println(o); 
}

上面的代码在 JDK 5.0 上编译通过，但是如果试图用List<Integer>调用它，则会得到警告。出现警告是因为，您将泛型（List<Integer>）传递给一个只承诺将它当作List（所谓的原始类型）的方法，这将破坏使用泛型的类型安全。
如果试图编写像下面这样的方法，那么将会怎么样？

void printList(List<Object> l) { 
  for (Object o : l) 
    System.out.println(o); 
} 

它仍然不会通过编译，因为一个List<Integer>不是一个List<Object>（正如前一屏泛型不是协变的 中所学的）。这才真正烦人——现在您的泛型版本还没有普通的非泛型版本有用！
[size=x-large]解决方案是使用类型通配符：[/size]

void printList(List<?> l) { 
  for (Object o : l) 
    System.out.println(o); 
}

上面代码中的问号是一个[b]类型通配符[/b]。它读作“问号”。[b]List<?>是任何泛型List的父类型[/b]，所以您完全可以将List<Object>、List<Integer>或List<List<List<Flutzpah>>>传递给printList()。

引入了类型通配符，这让您可以声明List<?>类型的变量。您可以对这样的List做什么呢？非常方便，可以从中检索元素，但是不能添加元素（可以添加null）。原因不是编译器知道哪些方法修改列表哪些方法不修改列表，而是（大多数）变化的方法比不变化的方法需要更多的类型信息。下面的代码则工作得很好：

List<Integer> li = new ArrayList<Integer>(); 

li.add(new Integer(42)); 

List<?> lu = li; 

System.out.println(lu.get(0)); 

为什么该代码能工作呢？对于lu，编译器一点都不知道List的类型参数的值。但是编译器比较聪明，它可以做一些类型推理。在本例中，它推断未知的类型参数必须扩展Object。（这个特定的推理没有太大的跳跃，但是编译器可以作出一些非常令人佩服的类型推理，后面就会看到（在底层细节 一节中）。所以它让您调用List.get()并推断返回类型为Object。
另一方面，下面的代码不能工作：

List<Integer> li = new ArrayList<Integer>(); 

li.add(new Integer(42)); 

List<?> lu = li; 

lu.add(new Integer(43)); // error 

在本例中，对于lu，编译器不能对List的类型参数作出足够严密的推理，以确定将Integer传递给List.add()是类型安全的。所以编译器将不允许您这么做。
以免您仍然认为编译器知道哪些方法更改列表的内容哪些不更改列表内容，请注意下面的代码将能工作，因为它不依赖于编译器必须知道关于lu的类型参数的任何信息：

List<Integer> li = new ArrayList<Integer>(); 

li.add(new Integer(42)); 

List<?> lu = li; 

lu.clear();