为什么compareTo（）有自己的实现体，而Comparable是一个接口？

Question

我知道在接口<代码>可比中有一个方法

并发现Comparable还返回一个值int，并且有自己的实现，而不需要在实现类中重写它。

例如，这个例子：

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 1

它没有自己的实现。它只是像接口一样声明一个操作。在您的示例中，您在a上调用操作compareTo（），该操作类型为可比较的。这是可能的，因为可比较的声明了该操作。

但是，Comparable只是该变量的所谓静态类型。在运行时，它有一个动态类型。这意味着它指向的对象是Comparable（实现它）的子类型，因此也必须实现compareTo。a指向的对象不能直接是类型可比的，因为不能创建接口类型的对象。

在我看来，你应该仔细阅读面向对象、子类型和多态性。详细解释这一点对这个网站来说太过分了。

Answer 2

Comparable是一个接口，意味着实现它的对象必须实现它的方法。您是对的，因为它只有一种方法来实现compareTo（to）。关于返回整数的方法，您也是对的。compareTo返回负整数、零或正整数，因为此对象小于、等于或大于指定对象。

这样的接口存在的原因是为了使java更加通用。由于接口定义了一个标准的名称和比较的基础，这个标准可以用于其他方法，如Collections.sort或Collections.binary搜索。这样，如果你想对你刚刚在向量中创建的500个对象进行排序，你所要做的就是实现comareTo（T o），然后你可以调用Collections.sort（myVector）。

我想您可能会对一些对象已经实现了类似接口的事实感到困惑，比如Integer、String、UUID或CharBuffer。这些将“开箱即用”，但如果您尝试将JPanel向量（一个不实现可比性的类）传递给集合。排序，你会得到一个错误。

Answer 3

在您提供的方法中没有这样的“实现”——该方法只是comareTo的调用者。类型T扩展可比

例如，Integer实现了Comparable

Integer i = max(123, 42);

Stringimplementscompariable

String s = max("asdf", "blah");

这就是泛型方法的力量——它的主体可以在各种类型上重用。在这种情况下，该方法有一个可比较的上限

例如，这不会编译，因为对象没有实现可比性

// Object is the common supertype of Integer and String
Object o = max(42, "asdf");