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

Я не можу зрозуміти, чому наступний код C # не компілюється.

Як бачите, у мене є статичний загальний метод Щось із 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 , а тип значення може реалізувати інтерфейс . Тому ми не знаємо, чи працюватиме коваріація, і ми її забороняємо.

Якщо ви хочете, щоб коваріація працювала, ви повинні сказати компілятору, що параметр type є еталонним типом з classобмеженням, а також IAобмеженням інтерфейсу.

Повідомлення про помилку дійсно повинно говорити про те, що перетворення неможливе, оскільки коваріація вимагає гарантії опорного типу, оскільки це є основною проблемою.

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

Змініть Somethingпідпис таким чином: classобмеження має бути першим .

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