Java繼承：嚴格的默認抽象和默認默認的衝突規範

Question

有人可以解釋在JLS §8.4.8.4提到的「嚴格默認抽象和默認默認衝突規則」。

它們是在JLS中定義的嗎？我似乎無法找到他們的定義。

Answer 1

我可能是錯的，但這是我如何解釋該部分。

「default-default」和「default-abstract」不是關鍵字。它們描述了與接口中的默認方法有關的兩種不同的編譯衝突規則。

「default-default」屬於實現兩個或多個接口的類，它提供了覆蓋等效方法的默認實現，但未提供它自己的實現。

「default-abstract」屬於實現提供默認實現的一個接口的類以及不提供覆蓋等效方法的默認實現的一個或多個接口。

這兩個規則的例外是，如果一個超類的問題指定一個抽象的方法是覆蓋等價的，勝過任何實現接口中找到的定義。

如果類從超類繼承了一個具體的重寫等價方法或定義了它自己，那麼這些衝突都不適用。