Nieprawidłowa wariancja: parametr typu "T" musi być niepoprawnie poprawny w "UserQuery.IItem <T> .ItemList". "T" jest kowariantem

Question

Dlaczego właściwość otrzymuje błąd podczas kompilacji metody?

public interface IFoo {} 
public interface IBar<out T> where T : IFoo {} 

public interface IItem<out T> where T: IFoo 
{ 
    // IEnumerable<IBar<T>> GetList(); // works 
    IEnumerable<IBar<T>> ItemList { get; set; } // Error! 
} 

Błąd:

Invalid variance: The type parameter 'T' must be contravariantly valid on 'UserQuery.IItem<T>.ItemList'. 'T' is covariant.

Answer 1

Otrzymasz błąd kompilatora, ponieważ masz getter posesji (get) i setter (set). Właściwość getter ma numer T na wyjściu, więc out działa, ale narzędzie ustawiające właściwości będzie miało wejście T, więc będzie potrzebować modyfikatora in.

Ponieważ masz out na T trzeba usunąć setter i będzie skompilować:

public interface IItem<out T> where T : IFoo 
{ 
    // IEnumerable<IBar<T>> GetList(); // works 
    IEnumerable<IBar<T>> ItemList { get; } // also works 
} 

Jeśli Twój T jest in generic argumentem wtedy następujące będzie działać:

public interface IItem<in T> where T : IFoo 
{ 
    IEnumerable<IBar<T>> ItemList { set; } 
} 

Ale nie możesz mieć jednocześnie obu (out,in), więc nie możesz mieć własności współkonwersyjnej z programem pobierającym i seterem.

Answer 2

Setter nie jest dozwolone, ponieważ gdyby było byłbyś w stanie to zrobić:

public interface ISubFoo : IFoo { } 

IItem<ISubFoo> item = //whatever 
item.ItemList = new List<IBar<IFoo>>>(); 

który nie jest typu bezpieczne.