Java 7 但不是 Java 6：“不是抽象的，也不会覆盖抽象方法”

Question

有人能解释一下为什么它在 JDK 1.6 中编译，但在我收到错误消息的 JDK 1.7 中却没有：

java：示例不是抽象的，不会覆盖 java.lang.Comparable 中的抽象方法 compareTo(java.lang.Object)？

import java.util.concurrent.*;

public class Example implements ScheduledFuture
{
    @Override public long getDelay(TimeUnit unit){ return 0; }
    @Override public int compareTo(Delayed o) { return 0; }
    @Override public boolean cancel(boolean mayInterruptIfRunning) { return false; }
    @Override public boolean isCancelled() { return false; }
    @Override public boolean isDone() { return false; }
    @Override public Object get() throws InterruptedException, ExecutionException {  return null; }
    @Override public Object get(long timeout, TimeUnit unit) throws InterruptedException, ExecutionException, TimeoutException { return null; }
}

请注意，此类中的方法是由 IntelliJ 在编写类声明后生成的。

错误信息表明编译器要求类声明一个接受Object类型参数的compareTo方法，而这个类接受Delayed。 但是，ScheduledFuture 接口被定义为扩展 Delayed，而后者又扩展了 Comparable<Delayed>，所以对我来说一切似乎都井井有条。

如果我只是将声明更改为

private class Example implements ScheduledFuture<Object>

它编译。

我猜这与类型擦除有关，但我无法真正解释它以满足自己。

Answer 1

我真的不知道为什么 Java 6 和 Java 7 之间的行为会发生变化（你用其他编译器验证过吗？javac vs. Eclipse 编译器 vs. IDEA 使用的任何东西？）。

但我可以告诉你为什么 compareTo(Delayed) 在扩展 ScheduledFuture 时不实现 compareTo(Object)：

通过使用ScheduledFuture，您使用的是a raw type，这意味着您的类中几乎忽略了所有出现的泛型。这意味着您现在正在实现Comparable（不再是Comparable<Delayed>，这反过来意味着您需要实现compareTo(Object)（删除Comparable<Delayed>.compareTo()），但您实现了compareTo(Delayed)。

记住：原始类型仅是为了向后兼容。不惜一切代价在新代码中避免它们，它们会做讨厌的事情！

当您将extends 子句更改为ScheduledFuture<Object> 时，您“选择加入”泛型系统，编译器最终意识到（即“允许实现”）您的compareTo(Delayed) 实际上是正确的实现Comparable<Delayed> 接口的。