Masalah pemahaman kontradiksi kovarian dengan obat generik di C #

Saya tidak mengerti mengapa kode C # berikut tidak dapat dikompilasi.

Seperti yang Anda lihat, saya memiliki metode generik statis Sesuatu dengan IEnumerable<T>parameter (dan Tdibatasi menjadi IAantarmuka), dan parameter ini tidak dapat dikonversi secara implisit IEnumerable<IA>.

Apa penjelasannya? (Saya tidak mencari solusi, hanya untuk memahami mengapa itu tidak berhasil).

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

Kesalahan saya Something2(bar)mengantre:

Argumen 1: tidak dapat mengonversi dari 'System.Collections.Generic.List' menjadi 'System.Collections.Generic.IEnumerable'

Pesan kesalahan tidak cukup informatif, dan itu salah saya. Maaf soal itu.

Masalah yang Anda alami adalah konsekuensi dari fakta bahwa kovarian hanya bekerja pada tipe referensi.

Anda mungkin mengatakan "tapi IAmerupakan tipe referensi" sekarang. Ya itu. Tapi Anda tidak mengatakan itu T sama dengan IA . Anda mengatakan itu Tadalah tipe yang mengimplementasikan IA , dan tipe nilai dapat mengimplementasikan sebuah antarmuka . Oleh karena itu kami tidak tahu apakah kovarian akan berhasil, dan kami melarangnya.

Jika Anda ingin kovarians berfungsi, Anda harus memberi tahu compiler bahwa parameter type adalah tipe referensi dengan classbatasan serta IAbatasan antarmuka.

Pesan kesalahan seharusnya mengatakan bahwa konversi tidak mungkin karena kovarians memerlukan jaminan jenis referensi, karena itulah masalah mendasar.

Saya hanya ingin melengkapi jawaban orang dalam Eric yang luar biasa dengan contoh kode bagi mereka yang mungkin tidak begitu paham dengan batasan umum.

Ubah Somethingtanda tangan seperti ini: classBatasan harus didahulukan .

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