爲什麼.NET 4中的類不是協變的？

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片刻片刻，並回應說沒有實現一個功能是免費的，而實現功能需要預算和時間來設計，開發，測試和記錄它。 ..這不是免費的。一項功能必須足夠有價值，足以證明創建它的費用是合理的。