Sử dụng phép so sánh chung với IList và IEnumerable

Question

Tôi đang học về C# generics và tạo một số mã giả cho mục đích thử nghiệm. Vì vậy, tôi đang thử nghiệm các in Generic Modifier, trong đó xác định rằng các tham số kiểu là contravariant.

Với giao diện dưới đây:

public interface IInterfaceTest<in T> 
{ 
    void Method(T value); 
    void Method(IList<T> values); 
    void Method(IEnumerable<T> values); 
} 

Khi biên dịch, tôi nhận được thông báo lỗi:

[CS1961] đúng không hợp lệ: Các tham số kiểu 'T' phải invariantly hợp lệ trên 'IInterfaceTest.Method (IList)'. 'T' là contravariant.

Lỗi này chỉ liên quan đến dòng void Method(IEnumerable<T> values). Nếu dòng này bị xóa, tất cả đều hoạt động tốt.

Vì vậy, câu hỏi của tôi là: Tại sao tôi có thể sử dụng biến thể chung với IEnumerable nhưng không với IList? Tôi có quên gì không?

Cảm ơn.

Answer 1

Câu hỏi tại sao nó không được phép cho IList<T> đã được trả lời trong các ý kiến ​​và liên kết các câu hỏi đã được: IList<T> là bất biến trong T và do đó, một trường hợp bị biến Tkhông thể được sử dụng ở đây nào.

Điều làm tôi bối rối lúc đầu là thực tế rằng Method(IEnumerable<T>) được cho phép tại đây. Điều kỳ lạ là phương pháp được "xoay vòng" khi bạn sử dụng T làm đối số loại cho loại chung khác.

Hãy tưởng tượng điều này.

public interface ITestInterface<in T> 
{ 
    void Method(IEnumerable<T> e); 
    IEnumerable<T> GetMethod(); // illegal 
} 
public class Animal {} 
public class Lion : Animal [} 
public class Gnu : Animal {} 

ITestInterface<Animal> animals; 
ITestInterface<Lion> lions; 
ITestInterface<Gnu> gnus; 

Bây giờ contra-sai của ITestInterface<in T> trong T cho chúng ta biết rằng bạn có thể làm

lions = animals; 

Và khi bạn gọi lions.Method(e), bạn chỉ có thể cung cấp một IEnumerable<Lion>. Vì vậy, mã của Method chỉ có thể liệt kê Lion s, trong đó là tất cả Animals là animals.Method() mong đợi. Mọi thứ đều ổn.

Mặt khác, IEnumerable<T> GetMethod() là bất hợp pháp, bởi vì:

gnus = animals; 

là hợp pháp, và bây giờ gnu.GetMethod() sẽ trả về một IEnumerable<Animal> nơi bạn mong muốn một IEnumerable<Gnu>. Và khi bạn lặp lại, các động vật đáng ngạc nhiên có thể chờ đợi trong chuỗi đó.