如何在Java中实现泛型`max（Comparable a，Comparable b）`函数？

Question

我想写一个通用的最大功能，需要两个Comparable s。

到目前为止，我有

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) 

来编译，我认为这是什么意思是说，在Comparable<?>的?可以被解释为一种类型的参数，另一个用于参数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的所有实例相比较。但问题是，不能使用类型Y与您的<T extends Comparable<T>> T max(T a, T b)函数，因为Y没有实现Comparable<Y>。边界太严格了。<T extends Comparable<? super T>>解决了这个问题，因为T足以与T的某个超类型（其中包含所有T实例）相媲美。回想一下规则PECS - 制造商extends，消费者super - 在这种情况下，Comparable是一个消费者（它需要一个对象进行比较），因此super是有意义的。

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

Answer 2

你会得到这个错误，因为Comparable<?>基本上说它可以媲美没有任何细节的东西。您应该编写Comparable<T>，以便编译器知道类型T与其自身相当。

Answer 3

从SO生成的相关链接回答我自己的问题 - 这似乎是Fun with Java generics的一个微妙的副本，但我想你不能责怪我没有找到它的标题！

最简单的方法似乎是

public static <T extends Comparable<T>> 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; 
} 

Answer 4

我写了一个实用工具类此。也许你会发现它有用（库是开源的）：

http://softsmithy.sourceforge.net/lib/docs/api/org/softsmithy/lib/util/Comparables.html

首页：

http://www.softsmithy.org

下载：

http://sourceforge.net/projects/softsmithy/files/softsmithy/

Maven的：

<dependency> 
    <groupid>org.softsmithy.lib</groupid> 
    <artifactid>lib-core</artifactid> 
    <version>0.1</version> 
</dependency>