Главная » Java » Расширение интерфейсов

0

Интерфейсы также могут расширяться с помощью ключевого слова extended. В отличие от классов, допускается расширение интерфейсом сразу нескольких других интерфейсов:

interface Shimmer extends FloorWax, DessertTopping {

double amazingPrice();

}

Тип Shimmer расширяет FloorWax и DessertTopping; это значит, что все методы и константы, определенные в FloorWax и DessertTopping, являются составной частью его контракта, и к ним еще добавляется метод amazingPrice.

Если вы хотите, чтобы ваш класс реализовывал интерфейс и при этом расширял другой класс, то вам необходимо применить множественное наследование. Другими словами, у вас появляется класс, объекты которого могут использоваться там, где допускаются типы суперкласса и суперинтерфейса.  Давайте рассмотрим следующее объявление:

interface W { }

interface X extends W { }

class Y implements W { }

class Z extends Y implements X { }

Ситуация отчасти напоминает знакомое нам “ромбовидное наследование”, но на этот раз нет никаких сомнений по поводу того, какие поля, X или Y, должны использоваться; у X нет никаких полей, поскольку это интерфейс, так что остается только Y. Диаграмма наследования будет выглядеть следующим образом:

W, X и Y могли бы быть интерфейсами, а Z — классом. Вот как бы это выглядело:

interface W { }

interface X extends W { } interface Y extends W { } class Z implements X, Y { }

Z оказывается единственным классом, входящим в данную иерархию.

У интерфейсов, в отличие от классов, нет единого корневого интерфейса (аналогичного классу Object), лежащего в основе всей иерархии. Несмотря на это, вы можете передать выражение любого из интерфейсных типов методу, получающему параметр типа Object, потому что объект должен принадлежать к какому-то классу, а все классы являются подклассами Object. Скажем, для приведенного выше примера допускается следующее присваивание переменной obj:

protected void twiddle(W wRef) { Object obj = wRef;

// …

}

4.3.1. Конфликты имен

Два последних примера наглядно демонстрируют, что класс или интерфейс может быть подтипом более чем одного интерфейса. Возникает вопрос: что произойдет, если в родительских интерфейсах присутствуют методы с одинаковыми именами? Если интерфейсы X и Y содержат одноименные методы с разным количеством или типом параметров, то ответ прост: интерфейс Z будет содержать два перегруженных метода с одинаковыми именами, но разными сигнатурами. Если же сигнатуры в точности совпадают, то ответ также прост: Z может содержать лишь один метод с данной сигнатурой. Если методы отличаются лишь типом возвращаемого значения, вы не можете реализовать оба интерфейса.

Если два метода отличаются только типом возбуждаемых исключений, метод вашего класса обязан соответствовать обоим объявлениям с одинаковыми сигнатурами (количеством и типом параметров), но может возбуждать свои исключения. Однако методы в пределах класса не должны отличаться только составом возбуждаемых исключений; следовательно, должна присутствовать всего одна реализация, удовлетворяющая  обоим связкам throws. Поясним сказанное на примере:

interface X {

void setup() throws SomeExeption;

}

interface Y {

void setup();

}

class Z implements X, Y {

public void setup() {

// …

}

}

В этом случае класс Z может содержать единую реализацию, которая соответствует X.setup и Y.setup. Метод может возбуждать меньше исключений, чем объявлено в его суперклассе, поэтому при объявлении Z.setup необязательно указывать, что в методе возбуждается исключение типа Some Exception. X.setup только разрешает использовать данное исключение. Разумеется, все это имеет смысл лишь в том случае, если одна реализация может удовлетворить контрактам обоих методов, — если два метода подразумевают нечто разное, то вам, по всей видимости, не удастся написать единую реализацию для них.

Если списки исключений расходятся настолько, что вам не удается объявить методы так, чтобы они удовлетворяли сигнатурам обоих интерфейсов, то вы не сможете ни расширить эти интерфейсы, ни построить реализующий их класс.

С константами интерфейсов дело обстоит проще. Если в двух интерфейсах имеются константы с одинаковыми именами, то вы всегда сможете объединить их в дереве наследования, если воспользуетесь уточненными (qualified) именами констант. Пусть интерфейсы PokerDeck и TarotDeck включают константы DECK_SIZE с различными значениями, а интерфейс или класс MultiDeck может реализовать оба этих интерфейса. Однако внутри Multi Deck и его подтипов вы должны пользоваться уточненными именами Poker Deck.DECK_SIZE и TarotDeck.DECK_SIZE, поскольку простое DECK_SIZE было бы двусмысленным.

Источник: Арнольд К., Гослинг Д. – Язык программирования Java (1997)

По теме:

  • Комментарии