我们可以有一个“不重写具体方法......”的方法吗？实现接口时编译时错误？

Question

在实现接口时，我们会出现“不重写具体方法...”编译时错误吗？

一个更清楚的例子：

我建立了一个包含接口的框架。要使用该框架，开发人员需要实现一些接口。 但如果他们不重写 equals(Object object) 和 hashCode()Object 方法，内部 API 逻辑将被破坏！

javadoc 中提到的所有内容，但我希望在实现接口而不覆盖某些具体方法时出现编译时错误或者运行时异常强>。

Answer 1

从 Java 6 开始，Java 附带注释处理器功能： 源代码分析。 （从技术上讲，它是 Java 5 的一部分，但 Java 6 将其集成到编译器阶段而不是一个特殊的工具）。 Sun 提供了此入门指南。

编译器在构建项目时会调用注释处理器，并且可能会像编译器一样发出错误。这是一种执行比 Java 指定的更多规则的巧妙方法。

下面是一个示例处理器，它将执行您想要的检查：

@SupportedSourceVersion(SourceVersion.RELEASE_6)
@SupportedAnnotationTypes("*")
public class CheckMethodOverride extends AbstractProcessor {
    // returns true if the class has a method with the specified method name
    // and specified number of parameters
    private static boolean hasMethod(TypeElement clazz, String methodName, int arity) {
        for (ExecutableElement method : 
                 ElementFilter.methodsIn(clazz.getEnclosedElements())) {
            if (method.getSimpleName().equals(methodName)
                    && method.getParameters().size() == arity)
                return true;
        }
        return false;
    }

    // the interface whose subclasses must override hashCode and equals
    TypeMirror interfaceToCheck;

    @Override
    public void init(ProcessingEnvironment env) {
        interfaceToCheck = env.getElementUtils().getTypeElement("com.notnoop.myinterface").asType();
    }

    @Override
    public boolean process(Set<? extends TypeElement> annotations,
            RoundEnvironment roundEnvironment) {
        for (TypeElement e :
            ElementFilter.typesIn(roundEnvironment.getRootElements())) {
            if (this.processingEnv.getTypeUtils()
                     .isSubtype(e.asType(), interfaceToCheck)
                && (!hasMethod(e, "equals", 0)
                    || !hasMethod(e, "hashCode", 0))) {
                processingEnv.getMessager().printMessage(Kind.ERROR,
                    "Class " + e + " doesn't override hashCode or equals", e);
            }
        }
        return true;
    }
}

注释处理器可以直接在编译器选项中指定（通过将 -processor com.notnoop.CheckMethodOverride 添加到编译器选项），或添加将 META-INF/services 文件添加到包含处理器名称的类路径 (com.notnoop.CheckMethodOverride)。文件夹 META-INF 可以位于项目的根源目录中（如果使用 maven，则为资源目录）。

这适用于任何命令行编译器。我不知道如何在 IDE 中激活它。

Answer 2

您不能使用接口来做到这一点，但可以使用抽象类来做到这一点。例如

public interface Entity {
    //...
}

public abstract class AbstractEntity implements Entity {

    @Override
    public abstract boolean equals(Object other);

    @Override
    public abstract int hashCode();

}

，告诉开发人员只要想要实现 Entity 就扩展 AbstractEntity。

如果您确实希望强制执行该规则，则需要某种运行时检查，例如 Spring 中的 bean 后处理器。

Answer 3

恐怕SO是问错地方了。我们回答有关语言的问题，但我们不创造语言。

Sun 有一个社区流程，您可以在其中提出改进建议或直接报告错误。如果您愿意，我可以为您挖掘链接。

但我怀疑这件事不会完成。如果到目前为止它还没有被认为是一个好主意，那么它可能就不再是了。

从短期来看，可以帮助您的东西可能是独立的样式检查程序。
我想到了 CheckStyle，它可能是最大的名字，它像啤酒一样免费并且提供丰富的选择。我怀疑，但我不确定，“不实现 hashCode() 和 equals()”也在其中的某个地方。

Answer 4

我只是想到了一个可能的替代方案：

您的接口（或可能是抽象方法）可以指定方法（例如）equals2() 和 hashCode2()。当然，这些对于接口的任何实现者来说都是强制性的。因此，您可以强迫您的图书馆使用者编写一些东西。

然后，与接口的实现者一起工作的库类可以使用这些“自定义”函数作为“真实”函数的替换或实现，并重新定义本身。

这不是一个非常优雅的概念，也不是很具体，但你也许可以利用它做点什么。