为了获得最佳效果,您应该使用
public static <T extends Comparable<? super T>> T max(T a, Tb)。
问题
<T extendsComparable<?>>在于这表示类型T可与某种类型媲美,但您不知道该类型是什么。当然,根据常识,实现Comparable的类至少应该能够与自身进行比较(即,能够与自己类型的对象进行比较),但是从技术上讲,没有什么可以阻止A类实现
Comparable<B>,其中A和B之间没有任何关系。
<Textends Comparable<T>>解决了这个问题。
但这有一个微妙的问题。假设类X实现了
Comparable<X>,并且我有一个扩展X的类Y。因此,类Y
Comparable<X>通过继承自动实现。Y类也无法实现,
Comparable<Y>因为一个类无法使用不同的类型参数两次实现一个接口。这并不是真正的问题,因为Y的实例是X的实例,所以Y与Y的所有实例都可比。但是问题是您不能在
<Textends Comparable<T>> T max(T a, T b)函数中使用类型Y
,因为Y没有实现
Comparable<Y>。范围太严格了。
<T extends Comparable<? superT>>解决了这个问题,因为T足以与T的某些超类型(包括所有T实例)进行比较。回想一下PECS规则-
生产者
extends,消费者
super-在这种情况下,
Comparable是一个消费者(需要比较一个对象),因此
super很有意义。
这是Java库中所有排序和排序函数使用的类型界限。



