Java继承：严格的默认抽象和默认默认的冲突规范

Question

有人可以解释在JLS §8.4.8.4提到的“严格默认抽象和默认默认冲突规则”。

它们是在JLS中定义的吗？我似乎无法找到他们的定义。

Answer 1

我可能是错的，但这是我如何解释该部分。

“default-default”和“default-abstract”不是关键字。它们描述了与接口中的默认方法有关的两种不同的编译冲突规则。

“default-default”属于实现两个或多个接口的类，它提供了覆盖等效方法的默认实现，但未提供它自己的实现。

“default-abstract”属于实现提供默认实现的一个接口的类以及不提供覆盖等效方法的默认实现的一个或多个接口。

这两个规则的例外是，如果一个超类的问题指定一个抽象的方法是覆盖等价的，胜过任何实现接口中找到的定义。

如果类从超类继承了一个具体的重写等价方法或定义了它自己，那么这些冲突都不适用。