CODEWITHSUNDEEP
c#.netc#-4.0covariancecontravariance
scobi
scobi

Reputation: 14548

Does C# 4's covariance support nesting of generics?

I don't understand why 'x' below converts, but 'y' and 'z' do not.

var list = new List<List<int>>();

IEnumerable<List<int>> x = list;
List<IEnumerable<int>> y = list;
IEnumerable<IEnumerable<int>> z = list;

Does the new covariance feature simply not work on generics of generics or am I doing something wrong? (I'd like to avoid using .Cast<> to make y and z work.)

Upvotes: 5

Views: 875

Answers (2)

Alexandra Rusina
Alexandra Rusina

Reputation: 11157

You are making several mistakes here. First, covariance and contravariance are not supported for value types, so whatever you try to do with "int" wouldn't work.

Second, the valid example checking for variance in nested generic types looks more like this:

var list = new List<List<String>>();
IEnumerable<IEnumerable<object>> z = list;

I can assign List of List of strings to IEnumerable of IEnumerables of objects, which is covariance. For more info, check out Covariance and Contravariance FAQ.

Upvotes: 1

Hans Passant
Hans Passant

Reputation: 941417

"z" is fine in C# 4.0, IEnumerable<T> is covariant. List<T> is however not, you cannot make "y" work.

Intuitively, if it were then this would be valid:

List<IEnumerable<int>> y = list
y.Add(new Stack<int>());

Which breaks the promise that "list" can only contain List<int> elements.

Upvotes: 8

Related Questions