泛型、继承和子类型
如你所知,只要类型兼容,就可以将一种类型的对象分配给另一种类型的对象,例如,你可以将Integer
分配给Object
,因为Object
是Integer
的超类型之一:
Object someObject = new Object();
Integer someInteger = new Integer(10);
someObject = someInteger; // OK
在面向对象的术语中,这被称为“是一种”关系,由于Integer
是一种Object
,因此允许赋值,但是Integer
也是一种Number
,所以下面的代码也是有效的:
public void someMethod(Number n) { /* ... */ }
someMethod(new Integer(10)); // OK
someMethod(new Double(10.1)); // OK
泛型也是如此,您可以执行泛型类型调用,将Number
作为其类型参数传递,如果参数与Number
兼容,则允许任何后续的add
调用:
Box<Number> box = new Box<Number>();
box.add(new Integer(10)); // OK
box.add(new Double(10.1)); // OK
现在考虑以下方法:
public void boxTest(Box<Number> n) { /* ... */ }
它接受什么类型的参数?通过查看其签名,你可以看到它接受一个类型为Box<Number>
的参数,但是,这是什么意思?你是否可以按照预期传递Box<Integer>
或Box<Double>
?答案是“否”,因为Box<Integer>
和Box<Double>
不是Box<Number>
的子类型。
在使用泛型编程时,这是一个常见的误解,但这是一个重要的学习概念。
给定两个具体类型A
和B
(例如,Number
和Integer
),MyClass<A>
与MyClass<B>
无关,无论A
和B
是否相关,MyClass<A>
和MyClass<B>
的公共父级是Object
。有关如何在类型参数相关时在两个泛型类之间创建类似子类型关系的信息,请参阅通配符和子类型。
泛型类和子类型
你可以通过扩展或实现泛型类或接口来对其进行子类型化,一个类或接口的类型参数与另一个类或接口的类型参数之间的关系由extends
和implements
子句确定。
使用Collections
类作为示例,ArrayList<E> implements List<E>
,List<E> extends Collection<E>
,因此ArrayList<String>
是List<String>
的子类型,也是Collection<String>
的子类型,只要不改变类型参数,就会在类型之间保留子类型关系。
现在假设我们想要定义我们自己的列表接口PayloadList
,它将泛型类型P
的可选值与每个元素相关联,它的声明可能如下:
interface PayloadList<E,P> extends List<E> {
void setPayload(int index, P val);
...
}
PayloadList
的以下参数化是List<String>
的子类型:
PayloadList<String,String>
PayloadList<String,Integer>
PayloadList<String,Exception>