방법 과부하 해상도는

Question

나는 다른 일이 눈치 두 개의 오버로드 된 메서드가 있다고 가정 :

public void Print<T>(IEnumerable<T> items) { 
    Console.WriteLine("IEnumerable T"); 
} 
public void Print<T>(T item) { 
    Console.WriteLine("Single T"); 
} 

이 코드 :

public void TestMethod() { 
    var persons = new[] { 
     new Person { Name = "Yan", Age = 28 }, 
     new Person { Name = "Yinan", Age = 28 } 
    }; 
    Print(persons); 
    Print(persons.ToList()); 
} 

인쇄 :

Single T 
Single T 

왜 Person[]과 List<Person>이 T과 더 일치합니까? 이 경우에는 IEnumerable<T>보다?

감사합니다,

UPDATE : 다른 과부하가있는 경우 또한,

public void Print<T>(List<T> items) { 
    Console.WriteLine("List T"); 
} 

Print(persons.ToList());

실제로 List T 대신 Single T 인쇄됩니다.

Answer 1

질문의 첫 번째 부분 (목록 별 과부하가없는)은 쉽습니다. 먼저 두 호출에 대해 동일하게 작동하기 때문에 Array 호출을 고려해 보겠습니다.

먼저 형식 유추에서 호출의 가능한 두 가지 일반 구현 인 Print<Person[]>(Person[] items) 및 Print<Person>(IEnumerable<Person> items)을 생성합니다.

그런 다음 두 번째는 암시 적 변환이 필요하기 때문에 과부하 해결이 성공합니다. 첫 번째 것은 암시 적 변환을 요구하기 때문에 (C# 스펙의 7.4.2.3 참조). List 변형에서도 동일한 메커니즘이 작동합니다.

추가 된 오버로드로 인해 목록 호출에 세 번째로 발생할 수있는 과부하가 생성됩니다 (Print<Person>(List<Person> items)). 인수는 다시 Print<List<Person>>(List<Person> items)하지만와 동일 섹션 7.4.3.2는 경우 (형식 인수의 같은 수의) 언어

재귀 적으로 해상도가, 구축 된 유형이 다른 구성 유형보다 더 구체적입니다 제공 최소한 하나의 유형 인수가 더 구체적이며 유형 인수가 다른 유형 인수가 해당 유형 인수보다 구체적이지 않은 경우.

는 그래서 Print<Person> 과부하는 Print<List<Person>> 과부하보다 더 구체적이며 더 암시 적 변환이 필요 없기 때문에 목록 버전은 IEnumerable을 이긴다.

Answer 2

제네릭 Print(Person[] item) 및 Print(List<Person> item)에서 생성 된 메서드는 IEnumerable<T>보다 더 적합합니다. 일반 템플릿 Print<T>(T item)이 Print(Person[] item) 및 Print(List<Person> item) (편집에서 잘, 어떤 유형 나타내는 List<Person>)로 컴파일 얻을 것이다, 그래서

컴파일러는, 당신의 형식 인수를 기반으로하는 방법을 생성한다. 따라서 메서드 호출은 컴파일러에서 Print(IEnumerable<Peson>) 구현이 아닌 직접 형식을 사용하는 특정 메서드로 확인됩니다.