Phương pháp giải quyết tình trạng quá tải liên quan đến Generics và IEnumerable

Question

Tôi nhận thấy điều này ngày khác, nói rằng bạn có hai phương pháp quá tải:

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

Mã này:

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

in:

Single T 
Single T 

Tại sao là Person[] và List<Person> phù hợp hơn với T hơn chúng là IEnumerable<T> trong những trường hợp này?

Cảm ơn,

UPDATE: Ngoài ra, nếu bạn có quá tải khác

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

Print(persons.ToList()); sẽ thực sự in List T thay vì Single T.

Answer 1

Phần đầu tiên của câu hỏi của bạn (không có quá tải Danh sách cụ thể) thật dễ dàng. Chúng ta hãy xem xét các cuộc gọi Array, bởi vì nó hoạt động tương tự cho cả hai cuộc gọi:

Đầu tiên, suy luận kiểu tạo ra hai triển khai chung có thể có của cuộc gọi: Print<Person[]>(Person[] items) và Print<Person>(IEnumerable<Person> items).

Sau đó, quá trình phân giải quá tải sẽ khởi động, vì lần thứ hai yêu cầu chuyển đổi ngầm, trong đó giá trị đầu tiên không (xem §7.4.2.3 của thông số C#). Cơ chế tương tự hoạt động cho biến thể Danh sách.

Với quá tải thêm, có thể xảy ra tình trạng quá tải có thể xảy ra với lệnh gọi Danh sách: Print<Person>(List<Person> items). Đối số cũng giống như đối số Print<List<Person>>(List<Person> items) nhưng một lần nữa, phần 7.4.3.2 cung cấp độ phân giải bằng ngôn ngữ

Loại được xây dựng cụ thể hơn loại được xây dựng khác (với cùng số đối số kiểu) nếu ít nhất một đối số kiểu là cụ thể hơn và không có đối số kiểu nào ít cụ thể hơn đối số kiểu tương ứng trong đối số khác.

Vì vậy, quá tải Print<Person> cụ thể hơn so với quá tải Print<List<Person>> và phiên bản Danh sách thắng trên IEnumerable vì nó không yêu cầu chuyển đổi ngầm.

Answer 2

Bởi vì các phương pháp được tạo từ generics Print(Person[] item) và Print(List<Person> item) phù hợp hơn IEnumerable<T>.

Trình biên dịch được tạo ra những phương pháp dựa trên lập luận kiểu của bạn, vì vậy lớp tổng quát Print<T>(T item) sẽ được biên soạn như Print(Person[] item) và Print(List<Person> item) (tốt, bất cứ loại đại diện cho một List<Person> ở biên soạn). Do đó, lời gọi phương thức sẽ được trình biên dịch giải quyết là phương thức cụ thể chấp nhận loại trực tiếp, chứ không phải việc thực hiện Print(IEnumerable<Peson>).