Компилятор сопоставляет расширение, для которого предложение where исключает его [duplicate]

Это проблема ковариации . List<T> не является ковариантным, поэтому между List<FooImpl> и List<IFoo> нет неявного преобразования.

С другой стороны, начиная с C # 4, IEnumerable<T> теперь поддерживает ковариацию, поэтому это работает:

var value = Enumerable.Empty<FooImpl>();
Bar(value);

var value = new List<FooImpl>().AsEnumerable();
Bar(value);

var value = new List<FooImpl>();
Bar((IEnumerable<IFoo>)value);

EDIT: Хорошо, причина, по которой Bar<T>(T source) выбрана над Bar<T>(IEnumerable<T> source), когда передача списка происходит из-за раздела «7.5.3.2 Better function member» ссылки на языке C #. В нем говорится, что при возникновении разрешения перегрузки типы аргументов сопоставляются типам параметров применимых членов функций (раздел 7.5.3.1), а лучший член функции выбирается с помощью следующего набора правил:

• для каждого аргумента неявное преобразование из EX в QX не лучше, чем неявное преобразование из EX в PX и

• по крайней мере для одного аргумента, преобразование из EX в PX лучше, чем преобразование из EX в QX.

(PX - это типы параметров первого метода, QX второго)

Это правило применяется msgstr "после замены расширения и типа аргумента". Поскольку подстановка аргумента типа заменит Bar (источник T) на Bar> (источник IList), этот аргумент метода будет лучше, чем Bar (источник IEnumerable), который нуждается в преобразовании.

Я не мог " t найти онлайн-версию языковой ссылки, но вы можете прочитать ее здесь

---

РЕДАКТИРОВАТЬ: неправильно понял вопрос, работая над поиском правильного ответа на языке c # спекуляция В основном метод IIRC выбирается с учетом наиболее подходящего типа, и если вы точно не настроили свой параметр на IEnumerable<>, то Bar<T>(T source) будет точно соответствовать типу параметра точно так же, как в этом примере:

public interface ITest { }
public class Test : ITest { }

private static void Main(string[] args)
{
    test(new Test() ); // outputs "anything" because Test is matched to any type T before ITest
    Console.ReadLine();
}


public static void test<T>(T anything)
{
    Console.WriteLine("anything");
}

public static void test(ITest it)
{
    Console.WriteLine("it");
}

Будет ссылаться на него, когда будет найден

---

Поскольку трансляция между массивом и перечислимым должна быть явной: это компилирует

var value = new FooImpl[0].AsEnumerable();
Bar(value);

, и так это:

var value = new FooImpl[0] as IEnumerable<IFoo>;
Bar(value);

Из doc :

Начиная с .NET Framework 2.0 класс Array реализует System.Collections. Generic.IList, System.Collections.Generic.ICollection и System.Collections.Generic.IEnumerable общие интерфейсы. Реализации предоставляются массивам во время выполнения, и в результате общие интерфейсы не отображаются в синтаксисе объявления для класса Array.

Таким образом, ваш компилятор не знает, что array соответствует сигнатуре для Bar, и вы должны явно использовать его