如何在 Java 中实现通用的 max(Comparable a, Comparable b) 函数？

Question

我正在尝试编写一个需要两个 Comparable 的通用 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;
}

This 无法编译

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

我认为这说明的是 Comparable 中的 ? 可以被解释为参数 a 的一种类型，另一个参数b，这样它们就不能进行比较。

我怎样才能把自己从这个坑里挖出来呢？

Answer 1

为了获得最佳结果，您应该使用 public static > T max(T a, T b)。

> 的问题是，这表示类型 T 可以与某种类型进行比较，但您不知道该类型是什么。当然，常识表明，实现 Comparable 的类应该至少能够与自身进行比较（即能够与自己类型的对象进行比较），但从技术上讲，没有什么可以阻止类 A 实现 可比较，其中A和B彼此无关。 > 解决了这个问题。

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

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

Answer 2

您收到此错误是因为 Comparable 基本上表示它可以与没有任何细节的东西进行比较。您应该改为编写 Comparable，这样编译器就会知道类型 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> 

Answer 5

最好已经实现 iso create owns。请参阅具有两个 Comparable 的最小/最大函数。最简单的是org.apache.commons.lang.ObjectUtils：

Comparable<C> a = ...;
Comparable<C> b = ...;
Comparable<C> min = ObjectUtils.min(a, b);