hinotf пишет:

Интересно, я такие конструкции пропустил. Попробую ответить.

> *class* CovariantTest1
> {
> *public* Base getIt(){*return* *new* Base();}
> }
> *class* SubCovariantTest *extends* CovariantTest1
> {
> // Insert code here
> }
> Ответы

Тут я не смогу ответить, не вспоминая Мейера.
Наследник может только ужесточить (ну или оставить) требования к
возвращаемым значениям, но не может смягчить их- иначе сама суть
наследования нарушится.

> a *public* Derived getIt(){*return* *new* Derived();}

Тут требование к возвращаемому значению ужесточается- объект класса
Derived может рассматриватся как объект класса Base.

> b *public* Base getIt(){*return* *new* Derived();}

Тут очевидно, т.к. интерфейс не изменился, а внутенности, надеюсь, и так
понятны.

> c *public* SuperBase getIt() {*return* *new* Derived();}
> d *public* SuperBase getIt() {*return* *new* Base();}

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

> e *public* Derived getIt() {*return* *new* Base();}

Ну а тут просто ошибка в реализации, будем считатать тривиально.

--
Алексей
Posted via ActualForum NNTP Server 1.3