0
ответов

Другой тип возвращаемого значения для виртуальных функций

Тип возвращаемого значения виртуальной функции должен быть того же типа, что и в базовом классе, или ковариантный. Но почему у нас есть это ограничение?
вопрос задан: 7 August 2012 18:35
0
ответов

Ковариантны ли массивы в Аде?

Я знаю, что в Java массивы ковариантны. Так, например: Предположим, что Dog является подклассом Animal . В java массивы ковариантны, что делает: Animal [] супертипом Dog [] Но в java общие коллекции не ...
вопрос задан: 15 November 2011 23:43
0
ответов

Ковариантный тип возвращаемого значения в интерфейсе не компилируется через Javac

У меня есть следующая структура: открытый интерфейс BarReturn {} открытый интерфейс FooReturn {} открытый интерфейс FooBarReturn расширяет FooReturn, BarReturn {} открытый интерфейс Foo {FooReturn fooBar (...
вопрос задан: 14 August 2011 00:18
0
ответов

Ковариантный универсальный параметр c #

Я пытаюсь понять это, но я не получил подходящих результатов поиска. В С # 4 я могу сделать открытый интерфейс IFoo {} Чем это отличается от общедоступного ...
вопрос задан: 28 June 2011 14:59
0
ответов

Почему нет API Java 5+ использует ковариантные возвращаемые типы?

Начиная с Java 5, нам разрешено иметь ковариантные возвращаемые типы. Почему Java API этого не использует? Возьмем, к примеру, Graphics2D.create (). Почему не отменяется возвращение Graphics2D ...
вопрос задан: 20 September 2010 11:48