How to correctly cast a class to an abstract class when using type generics?

by

This is a very frequently asked question. Let’s rename your types:

abstract class Fruit { }                    // was BaseViewPresenter
abstract class FruitBowl<T> where T : Fruit // was BaseView
class Apple : Fruit { }                     // was LoginPresenter
class BowlOfApples : FruitBowl<Apple> {  }  // was LoginView

Your question now is:

I have a BowlOfApples, which inherits from FruitBowl<Apple>. Why can I not use it as a FruitBowl<Fruit>? An apple is a fruit, so a bowl of apples is a bowl of fruit.

No, it isn’t. You can put a banana in a bowl of fruit, but you can’t put a banana in a bowl of apples, and therefore a bowl of apples is not a bowl of fruit. (And by similar argument, a bowl of fruit is not a bowl of apples either.) Since the operations you can legally perform on the two types are different, they cannot be compatible.

Here is a photo of StackOverflow legend Jon Skeet demonstrating this fact:

enter image description here

The feature you want is called generic contravariance, and it is supported only on interfaces and delegate types when the compiler can prove that the variance is safe, and when the varying type is a reference type. For example, you can use an IEnumerable<Apple> in a context where IEnumerable<Fruit> is needed because the compiler can verify that there is no way that you can put a Banana into a sequence of fruit.

Do a search on “C# covariance and contravariance” on this site or on the web and you’ll find many more details about how this feature works. In particular, my series of articles on how we designed and implemented this feature in C# 4 starts here: http://blogs.msdn.com/b/ericlippert/archive/2007/10/16/covariance-and-contravariance-in-c-part-one.aspx

More Related Contents:

  1. Finding all classes with a particular attribute
  2. Getting attributes of Enum’s value
  3. How can I evaluate a C# expression dynamically?
  4. How to dynamically create generic C# object using reflection? [duplicate]
  5. Named string formatting in C#
  6. Dynamically Add C# Properties at Runtime
  7. How do I get the calling method name and type using reflection? [duplicate]
  8. Is the use of dynamic considered a bad practice?
  9. How to determine if a type implements a specific generic interface type
  10. A method to count occurrences in a list
  11. Get properties and values from unknown object
  12. Purpose of Activator.CreateInstance with example?
  13. How do I get all instances of all loaded types that implement a given interface?
  14. Reflection – Getting the generic arguments from a System.Type instance
  15. How to determine if a type implements an interface with C# reflection
  16. C# getting its own class name
  17. Using Case/Switch and GetType to determine the object [duplicate]
  18. How do you get a variable’s name as it was physically typed in its declaration? [duplicate]
  19. Bind datagrid column visibility MVVM
  20. Changing read only properties with reflection
  21. How do I check if a given value is a generic list?
  22. Reflection: How to get a generic method? [duplicate]
  23. C# Getting value of params using reflection
  24. Add property to anonymous type after creation
  25. How can I protect my private funcs against reflection executing?
  26. Howto load assemby at runtime before AssemblyResolve event?
  27. Get the calling function name from the called function [duplicate]
  28. Entity framework – get entity by name
  29. See if user is part of Active Directory group in C# + Asp.net
  30. How to iterate the List in Reflection

Leave a Comment