为什么 .NET 4 中的类不是协变的？

Question

可能的重复：
为什么类中没有通用方差C# 4.0？

作为一名菜鸟程序员，我对 .NET 4 中的差异有几个问题。与其说是关于它如何工作，不如说是关于为什么某些东西没有差异以及其他人是否会发现这有用。

问题 1：

我知道接口和委托在 .NET 4 中可以是协变/逆变的，但为什么类不能呢？那么，问题 1：

List(of BaseClass) = List(of DerivedClass)

这是否不安全？这没有用吗？

---

问题 2：

问题 2 源自问题 1，但可能更多地涉及签名而不是方差。假设我有一个带有 MustOverride 成员的 MustInherit 类：

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 回答第一部分你的问题在这里。

至于您问题的第二部分，C# 和 VB.NET 都要求返回类型协方差 - 但相对于其他语言功能，它的优先级还不够高，无法将其纳入任何版本。如果我没记错的话，此功能还需要对 CLR 进行更改才能正确实现。

至于为什么会这样，我将向 Eric Lippert 求助一下，并回答说，不实现某个功能是免费的，而实现某个功能则需要预算和时间来设计、开发、测试和记录它……这就是不免费。一项功能必须对足够多的人具有足够的价值，才能证明创建它的费用是合理的。