Covariance and Contravariance with C# Arrays [duplicate]

by

It’s not safe at compile time. In other words, there’s code which is legal by the language rules, but fails at execution time, without any explicit casting to give a big warning sign of “this might fail”. The CLR makes sure that only valid writes succeed at execution time. For example:

string[] strings = new string[1];
object[] objects = strings;
objects[0] = new object();

That will throw an exception (ArrayTypeMismatchException) at execution time. The alternative would have been to allow it at execution time, at which point strings[0] would have been a reference to a non-string object, which would clearly be bad.

See also recent blog posts:

More Related Contents:

  1. Why covariance and contravariance do not support value type
  2. Understanding Covariant and Contravariant interfaces in C#
  3. Casting List – covariance/contravariance problem
  4. T must be contravariantly valid
  5. Understanding Covariance and Contravariance in C# 4.0
  6. Why not inherit from List?
  7. In C#, why can’t a List object be stored in a List variable
  8. Difference between Covariance & Contra-variance
  9. How is Generic Covariance & Contra-variance Implemented in C# 4.0?
  10. Cast Generic to Generic [duplicate]
  11. C# : Is Variance (Covariance / Contravariance) another word for Polymorphism?
  12. ref and out parameters in C# and cannot be marked as variant
  13. Contravariance explained
  14. What is the difference between the override and new keywords in C#?
  15. Static and Instance methods with the same name?
  16. Is there a much better way to create deep and shallow clones in C#?
  17. Why does C# (4.0) not allow co- and contravariance in generic class types?
  18. Why can’t I assign a List to a List?
  19. Can you explain Liskov Substitution Principle with a good C# example? [closed]
  20. How to get around lack of covariance with IReadOnlyDictionary?
  21. C# Covariance on subclass return types
  22. Compilation Error: “The modifier ‘public’ is not valid for this item” while explicitly implementing the interface
  23. Can I Override with derived types?
  24. Why does this polymorphic C# code print what it does?
  25. Using Reflection to create a DataTable from a Class?
  26. Are global static classes and methods bad?
  27. Method Overloading with different return type [duplicate]
  28. c# 9.0 covariant return types and interfaces
  29. Why do both the abstract class and interface exist in C#?
  30. Field initialization

Leave a Comment