Why does C# (4.0) not allow co- and contravariance in generic class types?

by

First off, as Tomas says, it is not supported in the CLR.

Second, how would that work? Suppose you have

class C<out T>
{ ... how are you planning on using T in here? ... }

T can only be used in output positions. As you note, the class cannot have any field of type T because the field could be written to. The class cannot have any methods that take a T, because those are logically writes. Suppose you had this feature — how would you take advantage of it?

This would be useful for immutable classes if we could, say, make it legal to have a readonly field of type T; that way we’d massively cut down on the likelihood that it be improperly written to. But it’s quite difficult to come up with other scenarios that permit variance in a typesafe manner.

If you have such a scenario, I’d love to see it. That would be points towards someday getting this implemented in the CLR.

UPDATE: See

Why isn’t there generic variance for classes in C# 4.0?

for more on this question.

More Related Contents:

  1. Why covariance and contravariance do not support value type
  2. Difference between Covariance & Contra-variance
  3. How is Generic Covariance & Contra-variance Implemented in C# 4.0?
  4. Contravariance explained
  5. T must be contravariantly valid
  6. In C#, why can’t a List object be stored in a List variable
  7. Covariance and contravariance real world example
  8. Understanding Covariant and Contravariant interfaces in C#
  9. Why isn’t there generic variance for classes in C# 4.0?
  10. C# Create New T()
  11. vs in Generics
  12. c# covariant return types utilizing generics
  13. Why cannot IEnumerable be cast as IEnumerable?
  14. Casting List – covariance/contravariance problem
  15. C# : Is Variance (Covariance / Contravariance) another word for Polymorphism?
  16. ref and out parameters in C# and cannot be marked as variant
  17. Covariance and Contravariance with C# Arrays [duplicate]
  18. Why can’t I cast from a List to List?
  19. Why can’t I assign a List to a List?
  20. Question about C# covariance
  21. Is this a covariance bug in C# 4?
  22. Why classes that implement variant interfaces remain invariant?
  23. Understanding Covariance and Contravariance in C# 4.0
  24. How do I clone a generic list in C#?
  25. Remove duplicates from a List in C#
  26. Generic TryParse
  27. Generic All Controls Method
  28. Generic type conversion FROM string
  29. Why generic IList does not inherit non-generic IList
  30. Better way to query a page of data and get total count in entity framework 4.1?

Leave a Comment