Java generics hierarchy

Question

Я пытаюсь создать иерархию классов, начиная с абстрактного класса с общим типом. И затем используйте расширенный тип родового во 2-м поколении классов детей. Поскольку я уверен, что не ясно, вот пример:

Идея заключается в том, чтобы иметь таблицу элементов, поэтому в основном:

abstract class AbstractTableOfItems<T> -> Родовой тип таблицы

class Foo -> Один тип элемента

class Bar -> Другой тип по пункту

class SonOfFoo extends Foo

class TableOfFoo extends AbstractTableOfItems<Foo>

class TableOfBar extends AbstractTableOfItems<Bar>

До сих пор так хорошо, все в порядке (не будем заботиться о содержании классов, это не пункт здесь).

Но тогда я хочу таблицу SonOfFoo, и я хочу, чтобы она расширялась TableOfFoo, так как SonOfFoo наследует от Foo. Это не представляется возможным. Возможно, я думаю не так, но я просто не понимаю, почему.

class TableOfSonOfFoo extends TableOfFoo

компилирует, но не так, потому что он все равно будет таблица Foo, общий тип, используемый будучи Foo.

class TableOfSonOfFoo extends TableOfFoo<SonOfFoo>

не компилируется, так как общий тип на AbstractTableOfItems.

Так хорошо я говорю, давайте попробуем переопределить TableOfFoo, чтобы он мог принять наследство:

class TableOfFoo extends AbstractTableOfItems<? extends Foo>

неправильно снова, «супертип не может указать любую подстановку» (я не уверен, что я полностью понимаю вот этот).

Я не могу прикоснуться к AbtractTableOfItems, так как он не будет таким общим, каким я хочу. Поэтому я немного застрял здесь. Я понимаю, что это сработало бы, только имея TableOfSonOfFoo наследовать напрямую от AbstractTableOfItems, но тогда я потеряю все реализации от TableOfFoo.

Я мог бы обойти это, но я пытаюсь думать об иерархии и понимать, почему это не сработает.

Answer 1

будет скомпилирован:

class TableOfFoo<F extends Foo> extends AbstractTableOfItems<F> 

Это говорит: я не люблю выше дизайн. Наличие конкретных типов TableOfFoo и TableOfBar подразумевает, что эти классы, вероятно, делают больше, чем должны. Возможно, вы хотите проверить свой дизайн и посмотреть, можете ли вы упростить ситуацию, используя агрегацию вместо наследования.

Answer 2

Скорее бы написал это в комментариях, но пока не хватает репутации. Вы пробовали:

class TableOfSonOfFoo extends AbstractTableOfItems<SonOfFoo> 

Это кажется законным для меня и было бы моим первым предположением.

Answer 3

Вы можете сделать свой TableOfFoo общий, например.

class TableOfItems<T> extends AbstractTableOfItems<T> 

и вытащить все функциональные возможности, которые вы хотите поделиться с этим. Затем создайте подклассы этого:

class TableOfFoo extends TableOfItems<Foo> 
class TableOfSonOfFoo extends TableOfItems<SonOfFoo> 

Имейте в виду, что AbstractTableOfItems<Foo> не супертипом AbstractTableOfItems<SonOfFoo>, так TableOfFoo и TableOfSonOfFoo на самом деле братья в иерархии.