在 Java 的泛型类型中使用通配符

http://my.oschina.net/heguangdong/blog/14487

 

在 Java 的泛型类型中使用通配符 

Java 从版本5起开始引入泛型（generics）机制。我们知道，Java 的泛型类型如同 java.lang.String，java.io.File 一样，属于普通的 Java 类型。比方说，下面两个变量的类型就是互不相同的： 

List<Object> listObj = new ArrayList<Object>(); 
List<String> listStr = new ArrayList<String>(); 

虽然 String 是 Object 的子类，但是 List<String> 和 List<Object> 之间并没有什么关系——List<String> 不是 List<Object> 的子类或者子类型。在下面的代码中，我们会看到将具有 List<Object> 类型的变量赋给期望 List<Object> 类型参数的方法的话，编译器在编译期将会报告一个编译错误。 

import java.util.ArrayList; 
import java.util.List; 

public class GenericsTypeTest { 
public static void testMtd(List<Object> l) { 
    } 

    public static void main(String[] args) { 
        List<String> testList = new ArrayList<String>; 
        // above line will cause a compile error 
        testMtd(testList); 
    } 
} 

如果我们希望 testMtd 能够接受任意泛型类型的参数，那么我们应该使用 ? 通配符来满足这个要求。List<?> 任意类型的对象的数组这么一个泛型的类型。我们可以把以上代码改成： 

public static void testMtd(List<?> l) { 
} 

但是这种情况下，testMtd 的参数可以接受类型可能对于程序员设计的意图而言太广泛了一点。因为我们可能只是希望 testMtd 可以接受 AbstractList 及其子类的类型的变量，而不接受 AbstractSet 甚至 Random、Locale 等类型的变量。我们要对通配符有所限制。幸运的是，Java 5 的泛型机制已经考虑到了这一点，我们可以使用边界通配符（bounded wildcard）形式来满足这个要求。我们将 testMtd 再修改一下： 

Public static void testMtd(List<? Extends AbstractList>) { 
} 

这样，List<AbstractList>、List<LinkedList> 等等类型的变量就可以传给 testMtd 方法，而储存其他类型元素的 List 的泛型类型变量传给 testMtd 方法将是非法的。除了上边界通配符（upper bounded wildcard）以外，我们还可以使用下边界通配符（lower bounded wildcard），例如 List<? super AbstractList>。 

最后总结一下使用通配符的泛型类型的三种形式： 

GenericType<?> 
GenericType<? extends upperBoundType> 
GenericType<? super lowerBoundType>