Первоначально я задал этот вопрос, но, найдя ответ, обнаружил, что моя первоначальная проблема заключалась в отсутствии поддержки в С# ковариации типов возвращаемых данных унаследованных методов. Узнав об этом, мне стало интересно, какие языки действительно поддерживают эту функцию.
Я приму ответ того, кто может назвать больше.
EDIT: Джон Милликин правильно указал, что многие динамические языки поддерживают это. Чтобы уточнить:
Я ищу только статические/строго типизированные языки.
Конечно, любые динамические языки — Python, Ruby, Smalltalk, Javascript и т. д.
В основном я спрашиваю, какие языки поддерживают то, что я пытаюсь здесь сделать.
Позволяет ли C# указывать разные типы данных для методов get() и set()? Если нет, я бы разделил их на фактические функции Leg get_leg() и set_leg(DogLeg). В противном случае произойдет одно из двух: 1) завышенная спецификация get_leg() 2) заниженная спецификация set_leg().
Java добавила поддержку для этого в 1.5. Он не будет компилироваться в более ранних версиях.
Как отметили Иван Гамильтон и Мэт Ногучи, C++ поддерживает эту функцию. Но обратите внимание, что ковариантные возвращаемые типы не работают для классов шаблонов, которые наследуются от некоторой базы в MSVC 7.X через 9.X (и, возможно, 6 также). Вы получаете ошибку C2555.
C++ поддерживает ковариантные возвращаемые типы.
но я думаю, что это то, что я прошу .. или это?
Я, честно говоря, не знаю, о чем вы спрашиваете. Java, по-видимому, имеет ту же поддержку ковариантности возвращаемого типа, что и C#, поэтому, если чего-то, что вы ищете, не хватает в C#, этого нет и в Java.
