Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

What is the difference between covariance and contra-variance in programming languages? [closed]

Can anyone explain the concept of covariance and contravariance in programming language theory?

like image 580
xdevel2000 Avatar asked Jul 22 '09 06:07

xdevel2000


People also ask

What is the difference between covariance and contravariance Linkedin?

Covariance - Enables you to use a more derived type than originally specified. Example: Dodge, Ford or Fiesta can be used in place of Car. Contravariance - Enables you to use a more generic (less derived) type than originally specified.

What is covariance programming languages?

Covariance means that a method can return a type that is derived from the delegate's return type. Contra-variance means that a method can take a parameter that is a base of the delegate's parameter type.

What is variance in programming?

Variance refers to how subtyping between more complex types relates to subtyping between their components.

What is co variance and Contra variance in generics?

Covariance and contravariance are terms that refer to the ability to use a more derived type (more specific) or a less derived type (less specific) than originally specified. Generic type parameters support covariance and contravariance to provide greater flexibility in assigning and using generic types.


2 Answers

Covariance is pretty simple and best thought of from the perspective of some collection class List. We can parameterize the List class with some type parameter T. That is, our list contains elements of type T for some T. List would be covariant if

S is a subtype of T iff List[S] is a subtype of List[T]

(Where I'm using the mathematical definition iff to mean if and only if.)

That is, a List[Apple] is a List[Fruit]. If there is some routine which accepts a List[Fruit] as a parameter, and I have a List[Apple], then I can pass this in as a valid parameter.

def something(l: List[Fruit]) {     l.add(new Pear()) } 

If our collection class List is mutable, then covariance makes no sense because we might assume that our routine could add some other fruit (which was not an apple) as above. Hence we should only like immutable collection classes to be covariant!

like image 153
oxbow_lakes Avatar answered Sep 30 '22 23:09

oxbow_lakes


There is a distinction being made between covariance and contravariance.
Very roughly, an operation is covariant if it preserves the ordering of types, and contravariant if it reverses this order.

The ordering itself is meant to represent more general types as larger than more specific types.
Here's one example of a situation where C# supports covariance. First, this is an array of objects:

object[] objects=new object[3]; objects[0]=new object(); objects[1]="Just a string"; objects[2]=10; 

Of course it is possible to insert different values into the array because in the end they all derive from System.Object in .Net framework. In other words, System.Object is a very general or large type. Now here's a spot where covariance is supported:
assigning a value of a smaller type to a variable of a larger type

string[] strings=new string[] { "one", "two", "three" }; objects=strings; 

The variable objects, which is of type object[], can store a value that is in fact of type string[].

Think about it — to a point, it's what you expect, but then again it isn't. After all, while string derives from object, string[] DOES NOT derive from object[]. The language support for covariance in this example makes the assignment possible anyway, which is something you'll find in many cases. Variance is a feature that makes the language work more intuitively.

The considerations around these topics are extremely complicated. For instance, based on the preceding code, here are two scenarios that will result in errors.

// Runtime exception here - the array is still of type string[], // ints can't be inserted objects[2]=10;  // Compiler error here - covariance support in this scenario only // covers reference types, and int is a value type int[] ints=new int[] { 1, 2, 3 }; objects=ints; 

An example for the workings of contravariance is a bit more complicated. Imagine these two classes:

public partial class Person: IPerson {     public Person() {     } }  public partial class Woman: Person {     public Woman() {     } } 

Woman is derived from Person, obviously. Now consider you have these two functions:

static void WorkWithPerson(Person person) { }  static void WorkWithWoman(Woman woman) { } 

One of the functions does something(it doesn't matter what) with a Woman, the other is more general and can work with any type derived from Person. On the Woman side of things, you now also have these:

delegate void AcceptWomanDelegate(Woman person);  static void DoWork(Woman woman, AcceptWomanDelegate acceptWoman) {     acceptWoman(woman); } 

DoWork is a function that can take a Woman and a reference to a function that also takes a Woman, and then it passes the instance of Woman to the delegate. Consider the polymorphism of the elements you have here. Person is larger than Woman, and WorkWithPerson is larger than WorkWithWoman. WorkWithPerson is also considered larger than AcceptWomanDelegate for the purpose of variance.

Finally, you have these three lines of code:

Woman woman=new Woman(); DoWork(woman, WorkWithWoman); DoWork(woman, WorkWithPerson); 

A Woman instance is created. Then DoWork is called, passing in the Woman instance as well as a reference to the WorkWithWoman method. The latter is obviously compatible with the delegate type AcceptWomanDelegate — one parameter of type Woman, no return type. The third line is a bit odd, though. The method WorkWithPerson takes a Person as parameter, not a Woman, as required by AcceptWomanDelegate. Nevertheless, WorkWithPerson is compatible with the delegate type. Contravariance makes it possible, so in the case of delegates the larger type WorkWithPerson can be stored in a variable of the smaller type AcceptWomanDelegate. Once more it's the intuitive thing: if WorkWithPerson can work with any Person, passing in a Woman can't be wrong, right?

By now, you may be wondering how all this relates to generics. The answer is that variance can be applied to generics as well. The preceding example used object and string arrays. Here the code uses generic lists instead of the arrays:

List<object> objectList=new List<object>(); List<string> stringList=new List<string>(); objectList=stringList; 

If you try this out, you will find that this is not a supported scenario in C#. In C# version 4.0 as well as .Net framework 4.0, variance support in generics has been cleaned up, and it is now possible to use the new keywords in and out with generic type parameters. They can define and restrict the direction of data flow for a particular type parameter, allowing variance to work. But in the case of List<T>, the data of type T flows in both directions — there are methods on the type List<T> that return T values, and others that receive such values.

The point of these directional restrictions is to allow variance where it makes sense, but to prevent problems like the runtime error mentioned in one of the previous array examples. When type parameters are correctly decorated with in or out, the compiler can check, and allow or disallow, its variance at compile time. Microsoft has gone to the effort of adding these keywords to many standard interfaces in .Net framework, like IEnumerable<T>:

public interface IEnumerable<out T>: IEnumerable {     // ... } 

For this interface, the data flow of type T objects is clear: they can only ever be retrieved from methods supported by this interface, not passed into them. As a result, it is possible to construct an example similar to the List<T> attempt described previously, but using IEnumerable<T> :

IEnumerable<object> objectSequence=new List<object>(); IEnumerable<string> stringSequence=new List<string>(); objectSequence=stringSequence; 

This code is acceptable to the C# compiler since version 4.0 because IEnumerable<T> is covariant due to the out specifier on the type parameter T.

When working with generic types, it is important to be aware of variance and the way the compiler is applying various kinds of trickery in order to make your code work the way you expect it to.

There's more to know about variance than is covered in this chapter, but this shall suffice to make all further code understandable.

Ref:

  • PROFESSIONAL Functional Programming in C#
like image 32
Soner Gönül Avatar answered Sep 30 '22 23:09

Soner Gönül