Какие языки поддерживают ковариацию по типам возвращаемых данных унаследованных методов?

Question

Я первоначально задавал этот вопрос , но, найдя ответ, обнаружил, что моей первоначальной проблемой было отсутствие поддержки в C # ковариации для возвращаемых типов унаследованных методов. Узнав об этом, мне стало интересно, какие языки поддерживают поддерживают эту функцию.

Я приму ответ того, кто может назвать больше всего.

EDIT : Джон Милликин правильно указал, что многие динамические языки поддерживают это. Для уточнения:

Я ищу только статические / строго типизированные языки.

Answer 1

• C ++
• Java
• REALbasic
• Eiffel
• Sather
• Modula-3

Answer 2

Любые динамические языки, конечно - Python, Ruby, Smalltalk, Javascript и т. Д.

Answer 3

Как отмечают Иван Гамильтон и Мэт Ногучи, C ++ поддерживает эту функцию. Но обратите внимание, что ковариантные возвращаемые типы не работают для шаблонных классов, которые наследуются от некоторой базы в MSVC 7.X - 9.X (и, вероятно, также 6). Вы получаете ошибку C2555.

Answer 4

Java добавила поддержку для этого в 1.5. Он не будет компилироваться в более ранних версиях.

Answer 5

C ++ поддерживает ковариантные типы возврата.

Answer 6

По сути, я спрашиваю, какие языки поддерживают то, что я пытаюсь сделать здесь.

Позволяет ли C # указывать разные типы данных для методов get() и set()? Если нет, я бы разделил их на действительные функции Leg get_leg() и set_leg(DogLeg). В противном случае произойдет одно из двух: 1) завышение get_leg() 2) занижение set_leg().

Answer 7

но я думаю, это то, что я спрашиваю .. или это так?

Честно говоря, я не знаю, о чем вы спрашиваете. Java, очевидно, имеет ту же поддержку ковариации возвращаемого типа, что и C #, поэтому, если то, что вы ищете, отсутствует в C #, то в Java также отсутствует.