IList sử dụng hiệp phương sai và contravariance trong C#, điều này có khả thi không?

Question

điều này có khả thi không? (Tôi không có so với năm 2010, vì vậy tôi không thể thử nó bản thân mình, xin lỗi)

public interface IComplexList<out TOutput, in TInput> where TOutput : TInput 
{ 
    public IEnumerator<TOutput> GetEnumerator(); 
    public void Add(TInput item); 
} 

public interface IList<T> : IComplexList<T, T> 
{ 
} 

Nếu tôi làm cho nó đúng, bạn có thể sử dụng để thực thi hiệp phương sai và contravariance trong cùng một giao diện.

Answer 1

Không, bạn không thể. Trong ví dụ của bạn IList<T> là bất biến. IList<T> sẽ yêu cầu khai báo in/out để trở thành biến thể/contravariant. Nó không thể làm điều đó chỉ bằng cách thừa hưởng một số giao diện đó là biến đổi.

Answer 2

Vâng, câu hỏi của bạn hơi khó hiểu do loại IList<T> hiện tại. Tuy nhiên, sau không biên dịch:

public interface IComplexList<out TOutput, in TInput> where TOutput : TInput 
{ 
    IEnumerator<TOutput> GetEnumerator(); 
    void Add(TInput item); 
} 

public interface ISimpleList<T> : IComplexList<T, T> 
{ 
} 

Bạn thậm chí có thể thay đổi nó để mở rộng IEnumerable<TOutput>:

public interface IComplexList<out TOutput, in TInput> 
    : IEnumerable<TOutput> 
    where TOutput : TInput 
{   
    void Add(TInput item); 
} 

public interface ISimpleList<T> : IComplexList<T, T> 
{ 
} 

Các indexer là khó khăn, bởi vì bạn muốn loại khác nhau có liên quan. Bạn có thể làm:

TOutput Get(int index); 
void Set(int index, TInput item); 

và sau đó đặt indexer vào ISimpleList<T> thay vì tất nhiên ...

Đó không cho phép bạn sử dụng ISimpleList<T> variantly mặc dù, bởi vì bạn đã cơ bản buộc TInput = TOutput.

Một phương pháp khác là để tách ra các đầu vào từ đầu ra:

public interface IReadableList<out T> : IEnumerable<T> 
{ 
    T Get(int index); 
} 

public interface IWritableList<in T> 
{ 
    void Add(T item); 
    void Set(int index, T item); 
} 

public interface IMyList<T> : IReadableList<T>, IWritableList<T> {} 

Sau đó, bạn có thể viết:

public void Foo(IWritableList<string> x) { ... } 

IMyList<object> objects = new MyList<object>(); 
Foo(objects); 

và ngược lại cho IReadableList. Nói cách khác, bạn cho phép phương sai cho mỗi bên riêng lẻ, nhưng bạn không bao giờ có được phương sai cho hai bên với nhau.