Covariance and contravariance real world example

by

Here’s what I put together to help me understand the difference 

public interface ICovariant<out T> { }
public interface IContravariant<in T> { }

public class Covariant<T> : ICovariant<T> { }
public class Contravariant<T> : IContravariant<T> { }

public class Fruit { }
public class Apple : Fruit { }

public class TheInsAndOuts
{
    public void Covariance()
    {
        ICovariant<Fruit> fruit = new Covariant<Fruit>();
        ICovariant<Apple> apple = new Covariant<Apple>();

        Covariant(fruit);
        Covariant(apple); //apple is being upcasted to fruit, without the out keyword this will not compile
    }

    public void Contravariance()
    {
        IContravariant<Fruit> fruit = new Contravariant<Fruit>();
        IContravariant<Apple> apple = new Contravariant<Apple>();

        Contravariant(fruit); //fruit is being downcasted to apple, without the in keyword this will not compile
        Contravariant(apple);
    }

    public void Covariant(ICovariant<Fruit> fruit) { }

    public void Contravariant(IContravariant<Apple> apple) { }
}

tldr

ICovariant<Fruit> apple = new Covariant<Apple>(); //because it's covariant
IContravariant<Apple> fruit = new Contravariant<Fruit>(); //because it's contravariant

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. Why does C# (4.0) not allow co- and contravariance in generic class types?
  6. Question about C# covariance
  7. Why classes that implement variant interfaces remain invariant?
  8. index out of range exception occurred [duplicate]
  9. how to add new method to TextBox Class [closed]
  10. Convert List to List
  11. Understanding Covariant and Contravariant interfaces in C#
  12. Interop type cannot be embedded
  13. When to dispose CancellationTokenSource?
  14. Covariance and IList
  15. Does Parallel.ForEach limit the number of active threads?
  16. Why Interface Layer/Abstract classes required in our project? [closed]
  17. C# 4.0, optional parameters and params do not work together
  18. using ITextSharp to extract and update links in an existing PDF
  19. Why are C# 4 optional parameters defined on interface not enforced on implementing class?
  20. covariance in c#
  21. How to get text between nested parentheses?
  22. C# 4.0: Can I use a TimeSpan as an optional parameter with a default value?
  23. Why is list when passed without ref to a function acting like passed with ref?
  24. Why is AddRange faster than using a foreach loop?
  25. Covariance and Contravariance with C# Arrays [duplicate]
  26. Serialize an object to XElement and Deserialize it in memory
  27. Why does C#/CLR not support method override co/contra-variance?
  28. Calculate distance of two geo points in km c#
  29. C# – Issues with boxing / unboxing / typecasting ints. I don’t understand
  30. C#-How to use empty List as optional parameter

Leave a Comment