如何在Java中实现通用的max（Comparable a，Comparable b）函数？

Question

我正在尝试编写一个需要两个Comparables 的泛型max函数。

到目前为止，我有

public static <T extends Comparable<?>> T max(T a, T b) {
    if (a == null) {
        if (b == null) return a;
        else return b;
    }
    if (b == null)
        return a;
    return a.compareTo(b) > 0 ? a : b;
}

这无法编译与

The method compareTo(capture#5-of ?) in the type Comparable<capture#5-of ?> is not applicable for the arguments (T)

我认为这是因为?in Comparable<?>可以解释为参数a的一种类型，而参数b的另一种类型，因此无法进行比较。

我如何从这个洞中挖出自己？

Answer 1

为了获得最佳效果，您应该使用public static <T extends Comparable<? super T>> T max(T a, T b)。

问题<T extends Comparable<?>>在于这表示类型T可与某种类型媲美，但您不知道该类型是什么。当然，根据常识，实现Comparable的类至少应该能够与自身进行比较（即，能够与自己类型的对象进行比较），但是从技术上讲，没有什么可以阻止A类实现Comparable<B>，其中A和B之间没有任何关系。<T extends Comparable<T>>解决了这个问题。

但这有一个微妙的问题。假设类X实现了Comparable<X>，并且我有一个扩展X的类Y。因此，类Y
Comparable<X>通过继承自动实现。Y类也无法实现，Comparable<Y>因为一个类无法使用不同的类型参数两次实现一个接口。这并不是真正的问题，因为Y的实例是X的实例，所以Y与Y的所有实例都可比。但是问题是您不能在<T extends Comparable<T>> T max(T a, T b)函数中使用类型Y
，因为Y没有实现Comparable<Y>。范围太严格了。<T extends Comparable<? super T>>解决了这个问题，因为T足以与T的某些超类型（包括所有T实例）进行比较。回想一下PECS规则-
生产者extends，消费者super-在这种情况下，Comparable是一个消费者（需要比较一个对象），因此super很有意义。

这是Java库中所有排序和排序函数使用的类型界限。