Pourquoi les classes de .NET 4 ne sont-elles pas covariantes?

Question

Possible en double:
Why isn’t there generic variance for classes in C# 4.0?

En tant que programmeur novice j'ai quelques questions au sujet de la variance dans .NET 4. Pas tellement sur la façon dont cela fonctionne, mais pourquoi certaines choses sont pas variante et si d'autres personnes trouveraient cela utile.

Question 1:

Je sais que les interfaces et les délégués peuvent être covariante/contravariant dans .NET 4, mais pourquoi pas les classes? Donc, question 1:

List(of BaseClass) = List(of DerivedClass) 

Est-ce que c'est quelque peu dangereux? Cela ne serait-il pas utile?

---

Question 2:

Question 2 découle de la question 1, mais peut traiter plus de signatures que la variance. Supposons que j'ai une classe MustInherit avec un membre MustOverride:

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

Dans la classe dérivée, pourquoi je ne peux pas passer outre SomeClass et retourner une classe dérivée de BaseClass? Est-ce dangereux? Est-ce juste que les signatures ne vérifient pas les relations d'héritage?

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

Tout renseignement sur les raisons pour lesquelles cela n'est pas autorisé dans .NET 4 serait apprécié.

Answer 1

Eric Lippert answers the first part of you question here. En ce qui concerne la deuxième partie de votre question, la covariance du type de retour a été demandée à la fois pour C# et VB.NET - mais elle n'a pas encore été suffisamment priorisée par rapport aux autres fonctionnalités pour être publiée. Si je me souviens bien, cette fonctionnalité nécessiterait également des modifications du CLR à mettre en œuvre de manière appropriée. Pour expliquer pourquoi, je vais informer Eric Lippert que l'implémentation d'une fonctionnalité est gratuite, alors que l'implémentation d'une fonctionnalité nécessite le budget et le temps nécessaires pour la concevoir, la développer, la tester et la documenter. .. ce qui n'est pas gratuit. Une caractéristique doit être suffisamment valable pour suffisamment de personnes pour justifier les frais de création.