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

在 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>