Проблема понимания ковариационной контравариантности с дженериками в C #

Я не могу понять, почему следующий код C # не компилируется.

Как видите, у меня есть статический универсальный метод Something с IEnumerable<T>параметром (и Tон должен быть IAинтерфейсом), и этот параметр не может быть неявно преобразован в 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ограничением интерфейса.

В сообщении об ошибке действительно должно быть сказано, что преобразование невозможно, потому что ковариация требует гарантии ссылочного типа, поскольку это фундаментальная проблема.

Я просто хотел дополнить отличный инсайдерский ответ Эрика примером кода для тех, кто может быть не знаком с общими ограничениями.

Измените Somethingподпись следующим образом: classограничение должно быть первым .

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