C＃でのジェネリックとの共分散反分散を理解する問題

次のC＃コードがコンパイルされない理由を理解できません。

ご覧のとおり、静的なジェネリックメソッドSomething with a IEnumerable<T>parameter（and Tis constrained to an IAinterface）があり、このパラメーターは暗黙的に次のように変換できません。IEnumerable<IA>。

説明は何ですか？（回避策を探すのではなく、なぜそれが機能しないのかを理解するためです）。

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)
    {
    }
}

エラーが発生しましSomething2(bar)た：

引数1：「System.Collections.Generic.List」から「System.Collections.Generic.IEnumerable」に変換できません

エラーメッセージは不十分な情報であり、それは私のせいです。申し訳ありません。

発生している問題は、共分散が参照型でのみ機能するという事実の結果です。

あなたはたぶんIA今「参照型です」と言っているでしょう。はい、そうです。しかし、それT がに等しい とは言いませんでしたIA。それTは実装 する型でIAあり、値型はインターフェースを実装することができます。したがって、共分散が機能するかどうかはわかりません。

共分散が機能するようにするには、型パラメーターがclass制約とIAインターフェイス制約のある参照型であることをコンパイラーに通知する必要があります。

共分散には参照型の正当性の保証が必要であるため、エラーメッセージは変換が不可能であることを本当に伝える必要があります。これは基本的な問題だからです。

私は、Ericの優れたインサイダーの回答を、一般的な制約にあまり馴染みがないかもしれない人のためのコード例で補足したかっただけです。

次のSomethingようにシグネチャを変更します。class制約が最初に来る必要があります。

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