Java eredità: la stretta di conflitto default-astratto e predefinito-default governa

Question

qualcuno può spiegare "i severi default-astratta e regole di conflitto di default-default" di cui parla nel JLS §8.4.8.4.

Sono definiti nel JLS? Non riesco a trovare la loro definizione.

Answer 1

Potrei sbagliarmi, ma è così che ho interpretato quella sezione.

"default-default" e "default-abstract" non sono parole chiave. Descrivono due diverse regole di conflitto di compilazione relative ai metodi predefiniti nell'interfaccia.

"default-default" relativo a una classe che implementa due o più interfacce che forniscono implementazioni predefinite dei metodi equivalenti di override pur non fornendo la propria implementazione.

"default-abstract" relativo a una classe che implementa un'interfaccia che fornisce un'implementazione predefinita e una o più interfacce che non forniscono implementazioni predefinite dei metodi equivalenti di override.

L'eccezione a queste due regole è se una super classe della classe in questione specifica un metodo astratto che è override equivalente che supera le definizioni trovate in qualsiasi interfaccia di implementazione.

Se la classe eredita un metodo equivalente di override concreto da una super classe o ne definisce la propria, non si applica nessuno di questi conflitti.