выкладывание значений разных типов в словарь

Разрешение метода говорит, что лучше ближе . См. Сообщение в блоге для точных правил.

Что означает более близкое? Компилятор увидит, может ли он найти точное совпадение, если он не может найти по какой-либо причине, он найдет следующие возможные совместимые методы и т. Д.

Давайте сначала сделаем этот метод компиляцией, удалив ограничение SomeInterface .

public static class ExtensionMethods
{
    public static void Method(this T parameter) //where T : SomeInterface
    { }

    public static void Method(this IEnumerable parameter) //where T : SomeInterface 
    { }
}

Теперь компилятор с удовольствием компилирует и замечает, что оба вызова метода идут до Method(T), а не Method(IEnumerable). Почему?

Поскольку Method(T) ближе в том смысле, что может принимать любой тип в качестве параметра, а также не требует никакого преобразования.

Почему Method(IEnumerable) не ближе?

blockquote>

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

Вернемся к вашему вопросу.

Почему instances.Method(); не компилируется?

blockquote>

Опять же, как было сказано ранее для использования Method(IEnumerable), нам нужно какое-то ссылочное преобразование, так что очевидно, что это не ближе. Теперь у нас остается только один метод, который очень близок Method. Но проблема в том, что вы ограничили его с помощью SomeInterface, и, очевидно, List() не конвертируется в SomeInterface.

Проблема (угадывание) проверка общих ограничений происходит после того, как компилятор выбирает более близкую перегрузки. Это делает недействительной выбранную лучшую перегрузку в этом случае.

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

IEnumerable instances = new List();