首先先复习一下泛型的用途:
当我们将一个对象放入集合中,集合不会记住此对象的类型,当再次从集合中取出此对象时,改对象的编译类型变成了Object类型,但其运行时类型任然为其本身类型。
泛型,即“参数化类型”。一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。那么参数化类型怎么理解呢?顾名思义,就是将类型由原来的具体的类型参数化,类似于方法中的变量参数,此时类型也定义成参数形式(可以称之为类型形参),然后在使用/调用时传入具体的类型(类型实参)。
ArrayList<String> list = new ArrayList<String>();
这样就直接限定了list集合中只能含有String类型的元素。今天发现了一个关于泛型的问题:
我们假设类B继承类A,基于某种业务需求,我们在类C的构造函数中传入一个Class类型的参数:简单代码如下:
public class Test {
public Test(Class<A> claObject) {
}
public static void main(String[] args) {
Test test1 = new Test(A.class); //可以
Test test2 = new Test(B.class); //报错
}
}
class A {
}
class B extends A {
}
The constructor Test(Class<B>) is undefined
然后我具体查阅了一下关于Class<>的泛型知识,了解到泛型中专门有一个表示继承/实现关系的写法:
<T extends A>: 样类中的泛型T只能是A接口的实现类,传入非A接口编译会出错。
注意:<T extends A>这里的限定使用关键字extends,后面可以是类也可以是接口。但这里的extends已经不是继承的含义了,应该理解为T类型是实现A接口的类型,或者T是继承了XX类的类型。