Varianza no válida: el parámetro de tipo 'T' debe ser contravariante en 'UserQuery.IItem <T> .ItemList'. 'T' es covariante

Question

¿Por qué la propiedad obtiene el error mientras se puede compilar el método?

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! 
} 

error:

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

Answer 1

se obtiene el error del compilador porque tiene una propiedad de captador (get) y un regulador (set). El getter de propiedad tiene el T en su salida para que out funcione, pero el ajustador de propiedad tendrá el T en su entrada por lo que necesitaría el modificador in.

Debido a que tiene out en T tiene que quitar la incubadora y se compilará:

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

Si su T es un in argumento genérico entonces la siguiente funcionaría:

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

Pero no puede tener ambos (out,in) al mismo tiempo, por lo que no puede tener una propiedad co/contravariante con un getter y un setter.

Answer 2

El colocador no está permitido, ya que si se tratara de que sería capaz de hacer esto:

public interface ISubFoo : IFoo { } 

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

que no es de tipo seguro.