C#: Keine Implikaturkonvertierung von Klasse <Child> in Klasse <Base>

Question

Folgendes Snippet wird nicht kompiliert. Mit folgenden Fehler:

Cannot implicitly convert type 'Container<ChildClass>' to 'Container<BaseClass>'

class BaseClass {} 
class ChildClass : BaseClass {} 
class Container<T> where T : BaseClass {} 
class Program { 
    static void Main() { 
     // why doesn't this work? 
     Container<BaseClass> obj = new Container<ChildClass>(); 
    } 
} 

Ist das von Design? Wenn es ist, was ist der Grund?

Answer 1

(aus dem Wiki, bei dups)

C# (3,0) nicht Kovarianz von Listen usw. C# 4.0 unterstützt unterstützen begrenzt [co | contra ] Varianz, aber still not lists.

Das Problem ist, dass mit:

Container<BaseClass> obj = new Container<ChildClass>(); 

ich tun konnte:

obj.Add(new SomeOtherSubclass()); // SomeOtherSubclass : BaseClass 

die kompilieren würde, aber nicht funktionieren.

Dieses Verhalten ist unterstützt für Arrays, aber weitgehend aus historischen Gründen.

Answer 2

Dies ist, was als Kovarianz/Kontravarianz bekannt ist, die ab C# 3.0 nicht verfügbar ist. Es wird etwas in C# 4.0 verfügbar sein. Hier einige Informationen:

http://reddevnews.com/articles/2009/05/01/generic-covariance-and-contravariance-in-c-40.aspx

Answer 3

Yo,

Wenn Sie den Killer Artikel auf Kovarianz/Kontra auf C# wollen, den Lippert Blog eric Check-out, "fabelhafte Abenteuer bei der Codierung". Erstens, das ist mein favortie Blog Name und zweiter eric die beste Folge von Artikeln zu (co | contra) schrieb Varianz:

http://blogs.msdn.com/ericlippert/archive/2007/10/16/covariance-and-contravariance-in-c-part-one.aspx

Dies so gut wie Breaking Bad ist.

Answer 4

Cannot implicitly convert type Container<ChildClass> to Container<BaseClass>

Es ist eine sehr häufige Fehlauffassung, dass MyClass<Child> erbt von MyClass<Base>.