C# Covariance on subclass return types

by

UPDATE: This answer was written in 2011. After two decades of people proposing return type covariance for C#, it looks like it will finally be implemented; I am rather surprised. See the bottom of https://devblogs.microsoft.com/dotnet/welcome-to-c-9-0/ for the announcement; I’m sure details will follow.

First off, return type contravariance doesn’t make any sense; I think you are talking about return type covariance.

See this question for details:

Does C# support return type covariance?

You want to know why the feature is not implemented. phoog is correct; the feature is not implemented because no one here ever implemented it. A necessary but insufficient requirement is that the feature’s benefits exceed its costs.

The costs are considerable. The feature is not supported natively by the runtime, it works directly against our goal to make C# versionable because it introduces yet another form of the brittle base class problem, Anders doesn’t think it is an interesting or useful feature, and if you really want it, you can make it work by writing little helper methods. (Which is exactly what the CIL version of C++ does.)

The benefits are small.

High cost, small benefit features with an easy workaround get triaged away very quickly. We have far higher priorities.

More Related Contents:

  1. Can I Override with derived types?
  2. Why not inherit from List?
  3. Convert List to List
  4. Why covariance and contravariance do not support value type
  5. Calling the base constructor in C#
  6. In C#, why can’t a List object be stored in a List variable
  7. Understanding Covariant and Contravariant interfaces in C#
  8. Covariance and IList
  9. C#: Overriding return types
  10. Get all derived types of a type
  11. What’s the correct alternative to static method inheritance?
  12. Casting List – covariance/contravariance problem
  13. Covariance and Contravariance with C# Arrays [duplicate]
  14. Implementing IDisposable on a subclass when the parent also implements IDisposable
  15. T must be contravariantly valid
  16. Why does C#/CLR not support method override co/contra-variance?
  17. Why can’t I assign a List to a List?
  18. Is there any way to call the parent version of an overridden method? (C# .NET)
  19. How to get around lack of covariance with IReadOnlyDictionary?
  20. Why does this polymorphic C# code print what it does?
  21. What’s the best way to ensure a base class’s static constructor is called?
  22. Automatically making Base Constructors available in derived class?
  23. Understanding Covariance and Contravariance in C# 4.0
  24. c# 9.0 covariant return types and interfaces
  25. How to shut down the computer from C#
  26. Enforce an async method to be called once
  27. How to flatten nested objects with linq expression
  28. ‘AssemblyTitle’ attribute in the .NET Framework
  29. WCF HttpTransport: streamed vs buffered TransferMode
  30. Prevent from displaying of Windows Security window

Leave a Comment