Kto rozszerza interfejsy? I dlaczego?

AFAIK, moje klasy klasy extendsnadrzędne i implementsinterfejsy. Ale natrafiam na sytuację, w której nie mogę użyć implements SomeInterface. Jest to deklaracja typów ogólnych. Na przykład:

public interface CallsForGrow {...}

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

Tutaj używanie implementsjest składniowo zabronione. Najpierw pomyślałem, że używanie interfejsu wewnątrz <> jest w ogóle zabronione, ale nie. Jest to możliwe, muszę tylko użyć extendszamiast implements. W rezultacie „rozszerzam” interfejs. Ten kolejny przykład działa:

public interface CallsForGrow {...}

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

Wydaje mi się, że jest to niespójność składniowa. Ale może nie rozumiem niektórych zalet Javy 6? Czy są inne miejsca, w których powinienem rozszerzyć interfejsy? Czy interfejs, który mam rozszerzyć, powinien mieć jakieś specjalne funkcje?

W przypadku zmiennych typu ogólnego kompilator tak naprawdę nie dba o Tto, czy jest klasą, interfejsem, wyliczeniem czy adnotacją. Chodzi tylko o to, że jest to typ z danym zestawem podtypów i supertypów.

I nie ma powodu, aby komplikować składnię tylko dlatego, że w jednym innym miejscu (gdzie faktycznie implementujesz interfejs) rozróżnienie między klasami i interfejsami jest istotne (na przykład jeśli jesteś implementinterfejsem, musisz zaimplementować wszystkie zdefiniowane przez niego metody, ale ty nie musisz tego robić, jeśli jesteś extendklasą (nieabstrakcyjną).

Zakładając przez chwilę, że będziesz musiał implementstutaj napisać , potrzebujesz oddzielnej składni dla enumwartości (zamiast po prostu pisania <E extends Enum<E>>) i adnotacji (które możesz łatwo zadeklarować <A extends Annotation>).

Jedynym miejscem, w którym musisz pisać, implementsjest punkt, w którym faktycznie implementujesz interfejs. W tym momencie (i tylko w tym punkcie) różnica jest ważna, ponieważ musisz zaimplementować metody zdefiniowane w interfejsie. Dla wszystkich innych nie ma znaczenia, czy dana Aklasa jest klasą podstawową, czy zaimplementowanym interfejsem B: to supertyp i to wszystko, co się liczy.

Pamiętaj również, że jest jeszcze jedno miejsce, w którym korzystasz extendsz interfejsów:

interface A {
}

interface B extends A {
}

W tym momencie implementsbyłoby źle, ponieważ B nie wdraża A .

Kiedy Java 5, a w szczególności generyczne, została początkowo udostępniona programistom, którzy zarejestrowali zainteresowanie, składnia była zupełnie inna. Zamiast Set<? extends Foo>i Set<? super Bar>miał Set<+Foo>i Set<-Foo>. Jednak informacja zwrotna była taka, że ​​nie było jasne, czy +oznacza bardziej szczegółowe czy szersze (więcej klas) . Firma Sun odpowiedziała na tę opinię, zmieniając składnię, ale pod warunkiem, że nie wprowadzi nowych słów kluczowych, co stanowiłoby problem z kompatybilnością wsteczną.

W rezultacie żaden z nich nie jest całkiem naturalny. Jak widać, extendsjest przeciążony, aby mówić o klasach „rozszerzających” interfejsy, co nie jest językiem używanym w innych kontekstach; i superjest przeciążony, co oznacza, że ​​„jest nadklasą”, która jest odwrotnym kierunkiem relacji wyrażonej wcześniej przez słowo kluczowe, tj. odnosi się do nadklasy.

Jednak zmiana ta nie ma wpływu na podstawowe elementy interfejsu i nie wprowadza specjalnych interfejsów, które zostały rozszerzone w nowy sposób.

Istnieją zarówno wady zezwalające na taką składnię, jak i zabraniające, a te zezwalające są znacznie większe.

Pomyśl o tym.

Rozdzielenie interfejsu i implementacji jest jednym z podstawowych idiomów programistycznych. Z tego powodu składnia pozwalająca na przeliterowanie „interfejs implementuje coś” byłaby tak samo zła, jak użycie znaku plus do oznaczenia mnożenia operandów.

Należy zrozumieć programowanie oparte na interfejsie jako kolejny krok podczas rozumienia interfejsu. Informuje, jakie jest rzeczywiste użycie interfejsu. Jaką rolę odgrywa w programie Java (lub innym języku).