T must be contravariantly valid

by

Consider what would happen if the compiler allowed that:

interface IR<out T>
{
    void D(T t);
}

class C : IR<Mammal>
{
    public void D(Mammal m)
    {
        m.GrowHair();
    }
}
...
IR<Animal> x = new C(); 
// legal because T is covariant and Mammal is convertible to Animal
x.D(new Fish()); // legal because IR<Animal>.D takes an Animal

And you just tried to grow hair on a fish.

The “out” means “T is only used in output positions”. You are using it in an input position.

More Related Contents:

  1. Why covariance and contravariance do not support value type
  2. In C#, why can’t a List object be stored in a List variable
  3. Understanding Covariant and Contravariant interfaces in C#
  4. Casting List – covariance/contravariance problem
  5. Covariance and Contravariance with C# Arrays [duplicate]
  6. Why does C# (4.0) not allow co- and contravariance in generic class types?
  7. Why can’t I assign a List to a List?
  8. Understanding Covariance and Contravariance in C# 4.0
  9. Pass An Instantiated System.Type as a Type Parameter for a Generic Class
  10. How to get the type of T from a member of a generic class or method
  11. Testing if object is of generic type in C#
  12. What’s the difference between SortedList and SortedDictionary?
  13. Value of type ‘T’ cannot be converted to
  14. C# Create New T()
  15. Does .NET have a way to check if List a contains all items in List b?
  16. How to compare values of generic types?
  17. What does “T” mean in C#?
  18. How to call generic method with a given Type object? [duplicate]
  19. ref and out parameters in C# and cannot be marked as variant
  20. Convert DataTable to generic List?
  21. Generics: casting and value types, why is this illegal?
  22. Generic List – moving an item within the list
  23. What does denote in C# [duplicate]
  24. List readonly with a private set
  25. Can I Override with derived types?
  26. Mocking generic methods in Moq without specifying T
  27. .NET Casting Generic List
  28. The component does not have a resource identified by the uri
  29. c# 9.0 covariant return types and interfaces
  30. C# generic methods, type parameters in new() constructor constraint

Leave a Comment