Java泛型理解

Java集合工具类Collections里定义了sort方法,里面的泛型很有意思:>

对于这个泛型,我们来理解一下:

首先,泛型T是要继承Comparable接口的,这个没什么疑问。重点是Comparable接口里定义的泛型,必须是泛型T或者泛型T的父类。

什么意思呢?如果我有两个类,A和B,A是B的父类。

假如一开始,A和B都继承了Comparable接口,我用B去调用这个方法,即:

B extends Comparable,因为B继承了Comparable接口,所以可以调用成功

如果此时,B不再继承Comparable接口,会出现如下情况:

1.B extends Comparable

2.B extends Comparable

3.B extends Comparable

因为? super T这个定义,是B和B的父类,所以有B,A和Object

由于B没有继承Comparable接口,所以第一种情况不符合,此时再判断第二种情况,由于A extends Comparable,而

B extends A,所以B extends Comparable,第二种情况满足,可以调用。

综上所述,>的作用就是,当子类没有继承Comparable接口而父类继承了Comparable时,子类可以通过父类继承的Comparable接口来调用sort方法。

你可能感兴趣的:(Java泛型理解)