Chi estende le interfacce? E perché?

AFAIK, le mie classi extendsgenitore e le implementsinterfacce. Ma mi imbatto in una situazione, in cui non posso usare implements SomeInterface. È la dichiarazione di un tipo generico. Per esempio:

public interface CallsForGrow {...}

public class GrowingArrayList <T implements CallsForGrow>  // BAD, won't work!
                              extends ArrayList<T> 

Qui l'uso implementsè sintatticamente proibito. Ho pensato prima che l'uso dell'interfaccia all'interno di <> sia assolutamente proibito, ma no. È possibile, devo solo usare al extendsposto di implements. Di conseguenza, sto "estendendo" un'interfaccia. Questo altro esempio funziona:

public interface CallsForGrow {...}

public class GrowingArrayList <T extends CallsForGrow>  // this works!
                              extends ArrayList<T> 

A me sembra un'incoerenza sintattica. Ma forse non capisco alcune finezze di Java 6? Ci sono altri posti in cui dovrei estendere le interfacce? L'interfaccia, che intendo estendere, dovrebbe avere alcune funzionalità speciali?

Nel caso di variabili di tipo generico, al compilatore non importa se si Ttratta di una classe, un'interfaccia, un enum o un'annotazione. Tutto ciò che importa è che è un tipo con un determinato set di sottotipi e super-tipi.

E non c'è motivo di complicare la sintassi solo perché in un altro posto (in cui si implementa effettivamente un'interfaccia) è rilevante la distinzione tra classi e interfacce (ad esempio se si è implementun'interfaccia, è necessario implementare tutti i metodi che definisce, ma tu non è necessario, se sei extenduna classe (non astratta)).

Supponendo per un momento che dovresti scrivere implementsqui, allora avresti anche bisogno di una sintassi separata per enumvalori (invece di scrivere semplicemente <E extends Enum<E>>) e annotazioni (che puoi facilmente dichiarare usando <A extends Annotation>).

L'unico posto in cui è necessario scrivere implementsè nel punto in cui si implementa effettivamente l'interfaccia. A quel punto (e solo a quel punto) la differenza è importante, perché è necessario implementare i metodi definiti nell'interfaccia. Per tutti gli altri, non importa se qualsiasi dato Aè una classe base o un'interfaccia implementata di B: è un super-tipo e questo è tutto ciò che conta.

Nota anche che c'è un altro posto in cui usi le extendsinterfacce:

interface A {
}

interface B extends A {
}

A questo punto implementssarebbe sbagliato, perché B non implementa A .

Quando Java 5, e in particolare i generici, furono inizialmente resi disponibili agli sviluppatori che avevano registrato un interesse, la sintassi era piuttosto diversa. Invece di Set<? extends Foo>e Set<? super Bar>aveva Set<+Foo>e Set<-Foo>. Tuttavia, il feedback è stato che non era chiaro se +significasse più specifico o più ampio (più classi) . Sun ha risposto a quel feedback modificando la sintassi, ma con il vincolo di non introdurre nuove parole chiave, il che sarebbe stato un problema per la retrocompatibilità.

Il risultato è che nessuno dei due è del tutto naturale. Come si osserva, extendsè sovraccarico di parlare di interfacce di "estensione" delle classi, che non è il linguaggio usato in altri contesti; ed superè sovraccarico di significare "è una superclasse di", che è la direzione opposta della relazione precedentemente espressa dalla parola chiave, vale a dire riferendosi a una superclasse.

Tuttavia, i fondamenti di ciò che un'interfaccia è non sono interessati da questo cambiamento e non introducono interfacce speciali che vengono estese in un modo nuovo.

Ci sono degli svantaggi sia nel consentire che nel proibire tale sintassi, e quelli nel consentire sono di gran lunga maggiori.

Pensaci.

La separazione dell'interfaccia e l'implementazione è uno dei linguaggi di programmazione fondamentali. Per questo motivo, la sintassi che consente di scrivere "interfaccia implementa qualcosa" sarebbe tanto grave quanto quella che usa il segno più per indicare la moltiplicazione degli operandi.

È necessario comprendere la programmazione basata sull'interfaccia come passaggio successivo mentre si comprende un'interfaccia. Indica qual è l'uso effettivo dell'interfaccia. Quale ruolo gioca in un programma Java (o in qualsiasi altra lingua).