C # 'da jeneriklerle kovaryans kontravansını anlama sorunu

Aşağıdaki C # kodunun neden derlenmediğini anlayamıyorum.

Gördüğünüz gibi, statik bir jenerik yöntemim var Bir IEnumerable<T>parametreye sahip bir şey (ve Tbir IAarabirim olarak sınırlandırılmıştır ) ve bu parametre örtük olarak IEnumerable<IA>.

Açıklaması nedir? (Neden işe yaramadığını anlamak için bir çözüm aramıyorum).

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

Sıraya girdiğimde hata Something2(bar):

Bağımsız Değişken 1: 'System.Collections.Generic.List'den' System.Collections.Generic.IEnumerable'a dönüştürülemiyor

Hata mesajı yeterince bilgilendirici değil ve bu benim hatam. Bunun için üzgünüm.

Karşılaştığınız sorun, kovaryansın yalnızca referans türleri üzerinde işe yaradığı gerçeğinin bir sonucudur.

Şu anda muhtemelen "ama IAbir referans türü" diyorsunuzdur . Evet öyle. Ama T bunun eşit olduğunu söylemedin IA. Bunun uygulayanT bir tür olduğunu ve bir değer türünün bir arabirim uygulayabileceğini söylediniz . Bu nedenle kovaryansın işe yarayıp yaramayacağını bilmiyoruz ve buna izin vermeyiz. IA

Kovaryansın çalışmasını istiyorsanız, derleyiciye tip parametresinin hem classkısıtlı hem de IAarayüz kısıtlı bir başvuru tipi olduğunu söylemeniz gerekir .

Hata mesajı, dönüşümün gerçekten mümkün olmadığını söylemelidir, çünkü kovaryans, referans türü garantisini gerektirir, çünkü bu temel problemdir.

Ben sadece Eric'in mükemmel içeriden öğrenen cevabını, genel kısıtlamalara aşina olmayanlar için bir kod örneği ile tamamlamak istedim.

Somethingİmzasını şu şekilde değiştirin : classKısıtlama önce gelmelidir .

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