Java教程是为JDK 8编写的。本页描述的示例和实践没有利用后续版本中引入的改进。
如 泛型,继承和子类型中所述,泛型类或接口仅仅因为它们的类型之间存在关系而无关。但是,您可以使用通配符在泛型类或接口之间创建关系。
给定以下两个常规(非泛型)类:
class A { /* ... */ } class B extends A { /* ... */ }
编写以下代码是合理的:
B b = new B(); A a = b;
此示例显示常规类的继承遵循此子类型规则:如果B扩展A,则类B是类A的子类型。此规则不适用于泛型类型:
List<B> lb = new ArrayList<>(); List<A> la = lb; //编译时错误
鉴于 Integer
是 Number
的子类型, List<Integer>
和 List<Number>
之间的关系是什么?
公共父类是
List<?>
该图表显示 List<Number>
和 List<Integer>
的公共父级是未知类型的 List
.
尽管 Integer
是 Number
的子类型,但 List<Integer>
不是 List<Number>
的子类型,实际上,这两种类型不相关。 List<Number>
和 List<Integer>
的公共父是 List<?>
。
上界(extends)的通配符意即 该类的父类中包含或本身是指定类 .
下界(super)通配符意即 该类的子类中包含或本身是指定类 .
为了在这些类之间创建关系以便代码可以通过 List<Integer>
的元素访问 Number
的方法,请使用上界的通配符:
List<? extends Integer> intList = new ArrayList<>(); List<? extends Number> numList = intList; // OK, List<?extends Integer>是 List< ? extends Number>的子类型
因为 Integer
是 Number
的子类型,而 numList
是 Number
对象的列表,所以 intList
(是一个Integer对象列表)和 numList
之间现在存在关系。下图显示了使用上限和下限通配符声明的多个 List 类之间的关系。
几个通用List类声明的层次结构。
图表显示 List<Integer>
是 List <? extends Integer>
和 List<?super Integer>
的子类型。 List<? extends Integer>
是 List<? extends Number>
的子类型,它是 List <?>
的子类型。 List<Number>
是 List <?super Number>
和 List<? extends Number>
的子类型。 List<? super Number>
是 List <? super Integer>
的子类型, ft且都是 List<?>
的子类型。
学习使用泛型编程时,更令人困惑的一个方面是确定何时使用上限有界通配符以及何时使用下限有界通配符。本文提供一些设计代码时要遵循的一些准则。
为讨论方便,认为变量具备两个功能:
“in”变量向代码提供数据。想象一下带有两个参数的复制方法:copy(src,dest)。该SRC参数提供的数据被复制,因此它是“in”参数。
“out”变量保存数据以供其他地方使用。在复制示例中,copy(src,dest),dest参数接受数据,因此它是“out”参数。
当然,一些变量既用于“in”又用于“out”目的 - 这种情况也在本文中也用到了。
在决定是否使用通配符以及适合使用哪种类型的通配符时,可以使用“in”和“out”原则。以下列表提供了遵循的准则:
extends super Object
这些指南不适用于方法的返回类型。应该避免使用通配符作为返回类型,因为它强制程序员使用代码来处理通配符。
List<? extends ...>
可以被非正式地认为是只读的,但这不是一个严格的保证。假设您有以下两个类:
class NaturalNumber { private int i; public NaturalNumber(int i) { this.i = i; } // ... } class EvenNumber extends NaturalNumber { public EvenNumber(int i) { super(i); } // ... }
请考虑以下代码:
List<EvenNumber> le = new ArrayList<>(); List<? extends NaturalNumber> ln = le; ln.add(new NaturalNumber(35)); // compile-time error //编译时错误
因为 List<EvenNumber>
是 List<? extends NaturalNumber>
,您可以赋值 le
给 ln
。但是你不能使用 ln
将自然数添加到偶数列表中。列表中的以下操作是可能的:
你可以看到 List<? extends NaturalNumber>
在严格意义上不是只读的,但您可能会这样想,因为您无法存储新元素或更改列表中的现有元素。