Ковариация бьет бетонный тип?

Question

если честно (часть этого вопроса) here , но теперь у меня есть другой вопрос.

public class Base 
{ 
    public void Foo(IEnumerable<string> strings) { } 
} 

public class Child : Base 
{ 
    public void Foo(IEnumerable<object> objects) { } 
} 


List<string> lst = new List<string>(); 
lst.Add("aaa"); 
Child c = new Child(); 
c.Foo(lst); 

(п C# 3 будет позвонить: Base.Foo в C# 4 будет позвонить: Child.Foo)

Im в FW4! , Позволяет говорить об этом

при всем уважении к ковариации: , когда я пишу c.Foo(lst); -

видит как подписи !!! (lst это IEnumerable СТРОКИ!) но STILL - он выбирает IEnumerable<object> ??

Ковариантность сильнее, чем конкретный тип?

Answer 1

Это не потому, что ковариация сильнее, а потому, что C# сначала выбирает метод «ближе». Итак, он выглядит на Child.Foo(), решает, что он применим (благодаря ковариации) и даже не смотрит на Base.Foo().

Предполагается, что конкретный тип «знает» больше, поэтому его методы следует рассматривать первыми.

См §7.6.5.1 из C# 4 спецификации:

Набор методов-кандидатов сокращается до содержат только методы из самых производных типов: для каждого метода CF в наборе, где С представляет собой тип, в котором объявлен метод F, все методы, объявленные в базовом типе C, удаляются из набора.