这对JDK来说不是问题。在Eclipse Helios中，它允许对实现的接口方法使用@Override注释，无论使用哪种JDK 5或6。至于Eclipse Galileo，无论JDK 5还是6，都不允许使用@Override注释。

如果一个具体类没有覆盖一个抽象方法，使用@Override来实现是一个开放的问题，因为编译器总是会警告你任何未实现的方法。在这些情况下，可以提出这样的论点，即它降低了可读性——在代码中需要阅读的内容更多，而且在较小的程度上，它被称为@Override而不是@ implementation。

通过读取java8中的javadoc，你可以在接口Override的声明中找到以下内容:

如果一个方法使用这种注释类型进行注释，编译器就需要生成错误消息，除非至少满足以下条件之一:

该方法重写或实现在超类型中声明的方法。 该方法的签名重写等价于在{@linkplain Object}中声明的任何公共方法的签名。

因此，至少在java8中，应该在接口方法的实现上使用@Override。

如果实现接口的类是一个抽象类，@Override用于确保实现是针对接口方法的;如果没有@Override，即使实现方法签名与接口中声明的方法不匹配，抽象类也可以很好地编译;不匹配的接口方法将保持未实现。 @Zhao引用的Java文档

该方法重写或实现在超类型中声明的方法

显然引用了一个抽象超类;接口不能称为超类型。 因此，@Override是冗余的，对于具体类中的接口方法实现并不合理。

重写从您自己的类继承的方法通常不会破坏使用ide进行重构。但是如果您重写从库继承的方法，建议使用它。如果你不这样做，你通常不会在以后的库更改中得到错误，而是一个隐藏得很好的bug。

我相信javac的行为已经改变了——在1.5版本中它禁止注释，而在1.6版本中则没有。注释提供了额外的编译时检查，所以如果您使用的是1.6，我会选择它。