T debe ser válido de forma invariable

Question

¿Qué pasa con esto?

interface IRepository<out T> where T : IBusinessEntity 
{ 
    IQueryable<T> GetAll(); 
    void Save(T t); 
    void Delete(T t); 
} 

Dice:

varianza no válido: El parámetro de tipo 'T' debe ser válida en contravariantly 'MyNamespace.IRepository.Delete (T)'. 'T' es covariante.

Answer 1

Considérese lo que sucedería si el compilador permitió que:

interface IR<out T> 
{ 
    void D(T t); 
} 

class C : IR<Mammal> 
{ 
    public void D(Mammal m) 
    { 
     m.GrowHair(); 
    } 
} 
... 
IR<Animal> x = new C(); 
// legal because T is covariant and Mammal is convertible to Animal 
x.D(new Fish()); // legal because IR<Animal>.D takes an Animal 

Y usted acaba de intentar hacer crecer el cabello en un pescado.

"salir" significa que "T solo se usa en las posiciones de salida". Lo estás usando en una posición de entrada.

Answer 2

Los dos métodos siguientes se equivocan:

void Save(T t); 
void Delete(T t); 

No se puede tener como argumento T método. Solo como tipo de devolución si desea que sea covariante (out T) en su definición genérica.

O si desea contravarianza entonces usted podría utilizar el parámetro genérico sólo como argumento de método y no el tipo de devolución:

interface IRepository<in T> where T : IBusinessEntity 
{ 
    void Save(T t); 
    void Delete(T t); 
} 

Answer 3

puede utilizar un parámetro de tipo out única contravariantly, es decir, en el tipo de retorno. Por lo tanto, IQueryable<T> GetAll() es correcto, pero void Delete(T t) no lo es.

Desde T se utiliza tanto co- y contravariantly en su clase, no se puede utilizar out aquí (ni in).

Aquí hay un poco de historia: Covariance and Contravariance (Wikipedia).