공분산은 콘크리트 유형보다 높습니까?

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); 

(N C# 3이 호출 : C# 4에 Base.Foo 그것이 호출 : Child.Foo)를

FW4에

임! 을 내가 c.Foo(lst); 쓸 때 -

는 모두 서명을 본다! (lst는 STRING의 IEnumerable입니다!), 공분산에 대한 모든 존경과

에 대해 이야기 할 수 있습니다 하지만 여전히 - IEnumerable<object> ??

콘크리트 유형 자체보다 공분산이 강합니까?

Answer 1

이것은 공분산이 강하기 때문에가 아니라 C#이 "더 가까운"방법을 먼저 선택하기 때문입니다. 따라서 Child.Foo()을보고 적용 가능하다고 판단하고 (공분산 덕택에) Base.Foo()을 보지 않습니다.

여기에서는 특정 유형이 더 많이 "알고"있기 때문에 그 방법을 먼저 고려해야합니다.

후보 방법의 세트는 가장 유래 종류 만의 방법을 포함하도록 감소된다

: 세트의 각 방법 CF의 경우, C는이고

는 C# 4 스펙 §7.6.5.1보기 형식 F에서 선언 된 형식의 경우 기본 형식 C로 선언 된 모든 메서드가 집합에서 제거됩니다.