Почему нет классов в .NET 4 covariant?

Question

Можно создать дубликат:
Why isn’t there generic variance for classes in C# 4.0?

В дебютном программиста у меня есть несколько вопросов о дисперсии в .NET 4. Не столько о том, как это работает, но почему некоторые вещи не вариант, и если другие люди посчитают это полезным.

Вопрос 1:

Я знаю, что интерфейсы и делегаты могут быть ковариантны/контравариантен в .NET 4, но почему не классы? Итак, вопрос 1:

List(of BaseClass) = List(of DerivedClass) 

Это как-то небезопасно? Разве это не было бы полезно?

---

Вопрос 2:

Вопрос 2 следует из вопроса 1, но может иметь дело больше с подписями, чем дисперсия. Предположим, у меня есть класс MustInherit с членом MustOverride:

Public MustInherit Class TestBase 
    Public MustOverride Property SomeClass as BaseClass 
End Class 

В производном классе, почему я не могу переопределить SomeClass и вернуть Производный класс BaseClass? Это небезопасно? Это просто, что подписи не проверяют отношения наследования?

Public Class TestSpecific 
    Inherits TestBase 
    Public Overrides Property SomeClass as DerivedClass 
End Class 

Любое понимание того, почему это не разрешено в .NET 4, будет оценено по достоинству.

Answer 1

Eric Lippert answers the first part of you question here.

Что касается второй части вопроса, то для C# и VB.NET была запрошена ковариация возвращаемого типа, однако она еще не была распределена по приоритетам достаточно высокой по сравнению с другими языковыми функциями, чтобы превратить ее в любой выпуск. Если я правильно помню, эта функция также потребует изменений в CLR, которые будут реализованы соответствующим образом.

Что касается того, почему это так, я назову Eric Lippert на мгновение и отвечаю, что не реализация функции бесплатна, а для реализации функций требуется бюджет и время для разработки, разработки, тестирования и документирования. .. который не является бесплатным. Функция должна быть достаточно ценной для достаточного количества людей, чтобы оправдать затраты на ее создание.