Кто расширяет интерфейсы? И почему?

AFAIK, мой класс extendsродительских классов и implementsинтерфейсов. Но я сталкиваюсь с ситуацией, когда я не могу использовать implements SomeInterface. Это объявление универсальных типов. Например:

public interface CallsForGrow {...}

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

Здесь использование implementsсинтаксически запрещено. Сначала я подумал, что использование интерфейса внутри <> вообще запрещено, но нет. Это возможно, я должен использовать только extendsвместо implements. В результате я «расширяю» интерфейс. Этот другой пример работает:

public interface CallsForGrow {...}

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

Для меня это выглядит как синтаксическое несоответствие. Но, может быть, я не понимаю некоторые особенности Java 6? Есть ли другие места, где я должен расширять интерфейсы? Должен ли интерфейс, который я имею в виду расширить, иметь какие-то особые функции?

В случае переменных универсального типа компилятору на самом деле все равно, Tявляется ли он классом, интерфейсом, перечислением или аннотацией. Все, что его волнует, - это то, что это тип с заданным набором подтипов и супертипов.

И нет причин усложнять синтаксис только потому, что в одном другом месте (где вы на самом деле реализуете интерфейс) различие между классами и интерфейсами имеет значение (например, если вы implementинтерфейс, вам нужно реализовать все методы, которые он определяет, но вы не нужно, если вы extend(неабстрактный) класс).

Предполагая на мгновение, что вам придется написать implementsздесь, вам также понадобится отдельный синтаксис для enumзначений (вместо простого написания <E extends Enum<E>>) и аннотаций (которые вы можете легко объявить, используя <A extends Annotation>).

Единственное место, где вам нужно писать, implementsэто точка, где вы на самом деле реализуете интерфейс. В этой точке (и только в этой точке) разница важна, потому что вы должны реализовать методы, определенные в интерфейсе. Для всех остальных не имеет значения, является ли данный Aкласс базовым классом или реализованным интерфейсом B: это супертип, и это все, что имеет значение.

Также обратите внимание, что есть еще одно место, где вы используете extendsс интерфейсами:

interface A {
}

interface B extends A {
}

На данный момент implementsбыло бы неправильно, потому B что не реализует A .

Когда Java 5 и, в частности, дженерики, изначально были доступны для разработчиков, которые зарегистрировали интерес, синтаксис был совершенно другим. А не так Set<? extends Foo>и Set<? super Bar>было Set<+Foo>и Set<-Foo>. Тем не менее, обратная связь заключалась в том, что неясно, +означает ли это более конкретный или более широкий (больше классов) . Sun отреагировала на эту обратную связь, изменив синтаксис, но в рамках ограничения не вводить новые ключевые слова, что было бы проблемой для обратной совместимости.

В результате ни то, ни другое не вполне естественно. Как вы заметили, extendsон перегружен разговорами о классах, «расширяющих» интерфейсы, что не является языком, используемым в других контекстах; и superперегружен, чтобы означать «является суперклассом», что является противоположным направлением отношения, ранее выраженного ключевым словом, то есть ссылаясь на суперкласс.

Тем не менее, это изменение не влияет на основные принципы интерфейса, и оно не содержит специальных интерфейсов, которые расширены по-новому.

Есть недостатки как в том, чтобы разрешать, так и в запрещении такого синтаксиса, а те, которые разрешают , намного выше.

Просто подумай об этом.

Разделение интерфейса и реализации является одной из основных идиом программирования. Из-за этого синтаксис, позволяющий записать «интерфейс реализует что-то» , будет примерно таким же плохим, как и использование знака «плюс» для обозначения умножения операндов.

Нужно понимать программирование на основе интерфейса как следующий шаг при понимании интерфейса. Это говорит о том, что является фактическим использованием интерфейса. Какую роль он играет в программе Java (или любого другого языка).