Wie ist eine Allgemeine Kovarianz & Contra-Varianz Implementiert in C# 4.0?

Varianz wird nur unterstützt, in einer sicher Weise - in der Tat, mit den Fähigkeiten, die der CLR-bereits hat. Also die Beispiele, die ich geben in dem Buch der Versuch, eine List<Banana> als List<Fruit> (oder was auch immer es war) immer noch nicht funktionieren, aber ein paar andere Szenarien.

Erstens, es werden nur unterstützt für Schnittstellen und Delegaten.

Zweitens, Bedarf es der Autor der Schnittstelle/delegieren dekorieren Sie den Typ der Parameter als in (Kontravarianz) oder out (Kovarianz). Das offensichtlichste Beispiel ist die IEnumerable<T> die nur immer können Sie die Werte "out" - es lässt Sie nicht neue hinzufügen. Das wird IEnumerable<out T>. Das tut nicht weh, geben Sie Sicherheit, sondern ermöglicht Ihnen die Rückkehr ein IEnumerable<string> von einer Methode deklariert zurück IEnumerable<object> zum Beispiel.

Kontravarianz ist härter zu geben, konkrete Beispiele für die Verwendung von Schnittstellen, aber es ist einfach, mit einem Delegaten. Betrachten Action<T> - dass gerade repräsentiert eine Methode, die eine T parameter. Es wäre schön, in der Lage zu konvertieren nahtlos verwenden Sie ein Action<object> als Action<string> - jede Methode nimmt ein object parameter wird in Ordnung sein, wenn es präsentiert sich mit einer string statt. Natürlich, C# 2 hat bereits Kovarianz und Kontravarianz der Delegierten zu einem gewissen Grad jedoch über eine tatsächliche Konvertierung von einer delegate-Typ auf einen anderen (erstellen einer neuen Instanz) - siehe P141-144 Beispiele. C# 4 wird diese mehr generische und (ich glaube) vermeiden Sie die Erstellung einer neuen Instanz für die Konvertierung. (Es wird ein Referenz-Konvertierung statt.)

Hoffe, das klärt es ein bisschen - lassen Sie es mich bitte wissen, ob es nicht sinnvoll ist!

InformationsquelleAutor Jon Skeet