AxeleronДиез,


?это не ошибка, это искреннее желание, чтобы работало именно так - public User.

ДиезAntonariy,

В случае со свойством - был приведен конкретный пример 17665356 , когда контракт нарушается.


Для метода такой пример не годится - User подходит при любом использовании (return-типы ковариантнты - нет?).
Тогда зачем ограничивать возврат конкретным типом, если подходит любой наследник?ты реально не догоняешь, что все эти слова мимо кассы?

интерфейс это соглашение на уровне декларации - что вот в этом месте должно быть написано слово IUser, а не User. все обстоятельства за рамками этого факта не имеют ни малейшего значения.

все эти вопросы "зачем" из разряда попыток оспорить уголовный кодекс. не нравятся или не понимаешь правил ООП - пиши на js или асемблере.

Диез Давайте без перехода на личности, ок? :)пока что я про личность ничего не сказал.
Диез почему в Java аналогичный фокус работает?@Override - это называется аналогичный? без него же не компилится, да?

википедияИспользование интерфейсов возможно двумя способами:

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

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

ДиезAntonariyпропущено...
пока что я про личность ничего не сказал.
пропущено...
@Override - это называется аналогичный? без него же не компилится, да?

У вас есть привычка - вы считаете по умолчанию, что оппонент хуже вас разбирается в теме, если задает вопросы.
Зря вы так ))это умолчание? 17666424
или может быть это? 17666660

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

ДиезAntonariy...
пропущено...
@Override - это называется аналогичный? без него же не компилится, да?

Прекрасно компилируется!


ну значит я ошибся насчет назначения этого overrides, а java является еще большим убожеством, чем мне казалось ранее, раз позволяет такие вольности.

ДиезAntonariy...ну значит я ошибся ...

Уже прогресс Удачи!пфф, какую ерунду мои оппоненты считают прогрессом. наверное по себе судят?

я всегда признаю свои промахи.

ДиезAxeleronпропущено...

И что ты этим кому доказал? Тебе Antonariy все на пальцах расписал и не поленился. А ты не только Java не знаешь, но и элементарных основ C#. Но сегодня, надеюсь, ты усвоил урок 5: "Интерфейсы". Уже прогресс. Удачи!

Переформулирую свой первоначальный вопрос более абстрактно: почему в C# нарушается принцип Return Type Covariance, который соблюдается в других языках с ООП, с которыми я знаком(по крайней мере, в Java, Scala, Nemerle)?

Вижу, что вы этим вопросом не интересовались.
Что характерно, ответ был дан еще до того, как был задан вопрос: 17665335
Antonariyпричина в том, что это данность. Интерфейсы работают так и никак иначе. http://stackoverflow.com/questions/5709034/does-c-sharp-support-return-type-covariance This kind of covariance is not supported in C#, and is unlikely to ever be supported. It is not supported by the CLR. чем я в действительности не интересовался, так этой ковариантностью.

и ошибся в том, что это способ выстрелить себе в ногу.
This is safe because consumers of Contents via Enclosure expect an Animal, and Aquarium promises to not only fulfill that requirement, but moreover, to make a more strict promise: that the animal is always a fish.