Problem beim Verständnis der Kovarianz-Kontravarianz mit Generika in C #

Ich kann nicht verstehen, warum der folgende C # -Code nicht kompiliert wird.

Wie Sie sehen können, habe ich eine statische generische Methode Etwas mit einem IEnumerable<T>Parameter (und Tist darauf beschränkt, eine IASchnittstelle zu sein), und dieser Parameter kann nicht implizit in konvertiert werden IEnumerable<IA>.

Was ist die Erklärung? (Ich suche nicht nach einer Problemumgehung, nur um zu verstehen, warum es nicht funktioniert).

public interface IA { }
public interface IB : IA { }
public class CIA : IA { }
public class CIAD : CIA { }
public class CIB : IB { }
public class CIBD : CIB { }

public static class Test
{
    public static IList<T> Something<T>(IEnumerable<T> foo) where T : IA
    {
        var bar = foo.ToList();

        // All those calls are legal
        Something2(new List<IA>());
        Something2(new List<IB>());
        Something2(new List<CIA>());
        Something2(new List<CIAD>());
        Something2(new List<CIB>());
        Something2(new List<CIBD>());
        Something2(bar.Cast<IA>());

        // This call is illegal
        Something2(bar);

        return bar;
    }

    private static void Something2(IEnumerable<IA> foo)
    {
    }
}

Fehler, den ich in der Something2(bar)Schlange bekomme :

Argument 1: Konvertierung von 'System.Collections.Generic.List' in 'System.Collections.Generic.IEnumerable' nicht möglich

Die Fehlermeldung ist nicht ausreichend informativ, und das ist meine Schuld. Das tut mir leid.

Das Problem, das Sie haben, ist eine Folge der Tatsache, dass die Kovarianz nur bei Referenztypen funktioniert.

Sie sagen wahrscheinlich gerade "aber IAist ein Referenztyp". Ja, so ist es. Aber du hast nicht gesagt, dass T das gleich ist IA . Sie sagten, dies Tsei ein Typ, der implementiert wird IA , und ein Werttyp kann eine Schnittstelle implementieren . Daher wissen wir nicht, ob Kovarianz funktionieren wird, und wir verbieten es.

Wenn die Kovarianz funktionieren soll, müssen Sie dem Compiler mitteilen, dass der Typparameter ein Referenztyp mit der classEinschränkung sowie der IASchnittstellenbeschränkung ist.

Die Fehlermeldung sollte wirklich sagen, dass die Konvertierung nicht möglich ist, da für die Kovarianz eine Garantie für den Referenztyp erforderlich ist, da dies das grundlegende Problem ist.

Ich wollte nur Erics exzellente Insider-Antwort mit einem Codebeispiel für diejenigen ergänzen, die mit allgemeinen Einschränkungen möglicherweise nicht so vertraut sind.

Ändern Sie Somethingdie Signatur wie folgt: Die classEinschränkung muss an erster Stelle stehen .

public static IList<T> Something<T>(IEnumerable<T> foo) where T : class, IA