logo标签列表

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

javagenericscomparable
18

我正在尝试编写一个通用的最大值函数，该函数接受两个Comparable参数。

到目前为止，我的代码如下：

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<?> 中的 ? 可以被解释为参数 a 的一种类型，也可以被解释为参数 b 的另一种类型，因此它们无法进行比较。

那我该如何摆脱这个困境呢？

在if(a==null)块中，不需要嵌套if语句。将该块简化为return b;可以得到相同的结果（当b为null时返回null，否则返回b）。 - benjamin
请查看org.apache.commons.lang3.ObjectUtils.compare。 - Hollis Waite
5个回答
29
为了达到最佳效果，您应该使用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库中所有排序和排序函数使用的类型界限。
4
你会看到这个错误，是因为Comparable<?>基本上表示它可以与任何东西进行比较而没有具体的类型。相反，你应该使用Comparable<T>，这样编译器就会知道类型T可以与自身进行比较。
谢谢 - 现在要解决的真正问题是将它移植到Scala！ - Duncan McGregor
1
回答我自己从SO生成的相关链接中的问题 - 这似乎是Java泛型的乐趣的微妙重复，尽管我猜你不能怪我没有找到它，考虑到标题！
最简单的解决方案似乎是：
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;
}
1
太酷了，谢谢。考虑到需要编写的代码量和易错性，我很惊讶这种东西不是标准库的一部分。 - Duncan McGregor
注意：我刚刚检查了源代码：它目前不支持空值：http://softsmithy.hg.sourceforge.net/hgweb/softsmithy/lib/main-golden/file/5c4db802573b/lib-core/src/main/java/org/softsmithy/lib/util/Comparables.java - Puce
谢谢你坦白 - 我相信如果我没有处理可能没有提供很多日期的领域，我的情况可能不会这样。 - Duncan McGregor
1

通常最好使用已经实现的ISO创建自己的内容。请参见带有两个Comparable的Min / Max函数。最简单的方法是使用org.apache.commons.lang.ObjectUtils：

Comparable<C> a = ...;
Comparable<C> b = ...;
Comparable<C> min = ObjectUtils.min(a, b);
网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接