[.NET] IList<T> en casten naar interfaces

[Tony L]

Ik begrijp de IList<T> niet in combinatie met het casten naar interfaces.

Een simpel voorbeeld:

C#:

public interface IPerson {
    string Name {
        get; set;
    }
}

public class Person : IPerson {
    private string name = "";

    public string Name {
        get {
            return name;
        }
    }
}

Met "normale" inheritance kan ik simpelweg het volgende doen:

C#:

IPerson person1 = new Person();
// Werkt omdat Person is afgeleid van IPerson

En vervolgens kan ik van een Person weer een IPerson maken

C#:

Person person2 = new Person();
IPerson casted = person2 as IPerson;
// Werkt omdat Person is afgeleid van IPerson

Nu merk ik dat bij IList<T> dit niet werkt en ik begrijp niet goed waarom niet.

C#:

IList<Person> persons = new List<Person>();
IList<IPerson> casted = persons as IList<IPerson>;
// casted is NULL

Waarom kan ik een IList<Person> niet gewoon naar een IList<IPerson> converteren?
Het rare is dat als ik de elementen benader en cast naar IPerson ze gewoon gecasted kunnen worden:

C#:

IPerson person = persons[0] as IPerson;
// Werkt perfect

Heeft iemand enig idee wat ik over het hoofd zie? Het lijkt er op alsof de IList<T> / List<T> niet aan de inheritance specificatie voldoen?

[whoami]

covariantie op generic parameters wordt niet ondersteund in C#3.5; wel in C# 4.0

http://msdn.microsoft.com/en-us/library/dd799517.aspx

http://blogs.msdn.com/csh...d-contravariance-faq.aspx

[ Voor 51% gewijzigd door whoami op 11-05-2010 15:53 ]

[.oisyn]

De reden is vrij logisch. Als jij een IList<IPerson> hebt, dan kun je daar elke IPerson aan toevoegen die je wilt. Ook die instanties die wel IPerson implementeren maar geen subklasse zijn van Person. Arrays zijn wat dat betreft een uitzondering (een Person[] kun je wel naar IPerson[] casten - een toekenning aan de array met iets dat geen Person is zal een exception gooien)

[Sebazzz]

Heeft iemand enig idee wat ik over het hoofd zie? Het lijkt er op alsof de IList<T> / List<T> niet aan de inheritance specificatie voldoen?

Wel.
Stel dat dit zomaar kan in 3.5:

C#:

IList<Person> persons = new List<Person>();
IList<IPerson> casted = persons as IList<IPerson>; 

Dan doe ik dit:

C#:

class BlaatPerson : IPerson { ... }

casted.Add(new BlaatPerson());

Nu zit er een BlaatPerson in een Person lijst.

[Woy]

Sebazzz schreef op dinsdag 11 mei 2010 @ 16:26:
[...]
Wel.
Stel dat dit zomaar kan in 3.5:

C#:

IList<Person> persons = new List<Person>();
IList<IPerson> casted = persons as IList<IPerson>; 

Dan doe ik dit:

C#:

class BlaatPerson : IPerson { ... }

casted.Add(new BlaatPerson());

Nu zit er een BlaatPerson in een Person lijst.

Echter is dat zoals gezegd inderdaad wel in contrast met Arrays, want daar compileert het volgende wel

C#:

Person[] persons = new Person[1];
IPerson[] casted = (IPerson[])persons;
casted[0] = new BlaatPerson();

Echter zal het nog steeds een runtime error geven. whoami geeft ook al meteen het keyword om op te zoeken: covariantie

[Wijnbo]

Van hetzelfde laken een pak :
\[.NET] Waarom mag dit niet (inheritance)

[Sebazzz]

Woy schreef op dinsdag 11 mei 2010 @ 16:56:
[...]

Echter zal het nog steeds een runtime error geven. whoami geeft ook al meteen het keyword om op te zoeken: covariantie

Is dat een compiler fout? Of stamt een T[] van een Array af?

[.oisyn]

Het is gewoon by design. Java doet het ook. Overigens kan het weer niet met arrays van value types, alleen met arrays van reference types.

[Face_-_LeSS]

Je weet nu waarom maar mocht je een IList<Person> willen casten naar een IList<IPerson> dan kan dat eenvoudig door:

C#:

            IList<Person> persons = new List<Person>();
            IList<IPerson> casted = persons.Cast<IPerson>().ToList();

Voor het geval je dat nog niet wist