Java编译器如何检查接口中的所有方法是否都已实现？

Question

如果我声明我的对象实现了一个接口，但未能实现那些方法，那么在编译代码时，我会收到编译器错误。 Java编译器如何知道我尚未实现接口的所有方法？

Answer 1

Java编译器如何知道我尚未实现接口的所有方法？

它知道您的类已实现的所有方法，因为它已在编译期间找到并分析了它们。

它知道在类的所有超类和接口中定义的所有方法，因为：

1. 它要么只是编译了其源代码，要么已加载了其“ .class”文件，并且

2. 它分析了接口/类，并弄清了您的类需要实现哪些方法。

然后，它比较了两组方法。 （请注意，方法不必完全相同。例如，实际方法可以在接口中返回方法返回类型的子类型。集合比较需要考虑到这一点。）

---

（实际上，这只是执行此检查的一种方法。实际的Java编译器执行检查的方式可能有所不同。）