Kovarianz vs. Kontravarianz in Bezug auf Klassenvererbung

Question

Was bedeuten die Begriffe "Kovarianz" und "Kontravarianz"?

Gegeben 2 Klassen, Tier und Elefant (die von Tiere erbt), mein Verständnis ist, dass Sie einen Laufzeitfehler erhalten würden, wenn Sie einen Elefanten in eine Reihe von Tiere versuchen und setzen, und Das passiert, weil Elephant "größer" (genauer) als Animal ist. Aber könntest du ein Tier in eine Reihe von Elefanten legen, wenn du siehst, dass Elephant garantiert die Animal-Eigenschaften enthält?

Answer 1

Sie haben nach hinten es. Sie können einen Elefanten zu einem Tier-Array hinzufügen, weil es ist ein Tier, und es ist garantiert, alle Methoden, die ein Tier haben muss. Sie können kein Tier zu einem Elephant-Array hinzufügen, weil es nicht alle Methoden, die ein Elephant haben muss, hat.

Der Wikipedia-Artikel über covariance and contravariance eine gute Erklärung dafür hat:

Im Typsystem einer Programmiersprache, ein Betreiber von Typ Typen kovariant, wenn sie die Ordnung bewahrt, ≤, von Typen, welche Ordertypen von spezifischeren zu allgemeineren Typen ordnet; es ist kontravariant, wenn es diese Reihenfolge umkehrt. Wenn keiner von beiden zutrifft, ist der Operator invariant. Diese Begriffe stammen aus der Kategorientheorie.

Auch Sie sagten, dass Typ Elefant "größer" war, und das ist nicht der Fall. Typ Tier ist "größer" in dem Sinne, dass es spezifischere Typen wie Elefanten, Giraffen und Löwen enthält.

Answer 2

Werfen Sie einen Blick auf diese Übersicht über die Kovarianz und Kontra in C# 4.0 und sehen, ob das hilft:

http://blogs.msdn.com/charlie/archive/2008/10/27/linq-farm-covariance-and-contravariance-in-visual-studio-2010.aspx

Answer 3

Sie sollten versuchen, Seiten 45-49 von Introducing .NET 4.0 With Visual Studio 2010 zu lesen, die sich mit genau diesem Beispiel beschäftigen. Es hat sogar ein paar schöne Fotos von Elefanten.

Der wichtigste Punkt nehmen heißt, diese

var things = new List<IThing<IContent>> { new ConcreteThing() } 

mit dem tun:

public class ConcreteThing : IThing<ConcreteContent> 
{ 

} 

müssen Sie die „out“ in der Schnittstellendefinition, die spezifischeren Formen ermöglicht werden gesetzt, aber alles, was aus IThing ausgelesen wird, muss garantiert der allgemeinere Typ sein.

public interface IThing<out T> where T : IContent 
{ 
}