T必须是冲突有效

Question

这是什么问题？

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

它说：

无效方差：类型参数 'T' 必须是 'MyNamespace.IRepository.Delete（T）' contravariantly有效。 'T'是协变的。

Answer 1

考虑会发生什么，如果编译器允许的是：

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 

而你只是试图在一条鱼长出头发。

“out”表示“T仅用于输出位置”。您正在使用它在输入位置。

Answer 2

以下两种方法都是错误的：

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

你不能有T作为方法参数。只有在您的泛型定义中希望它是协变（out T）时才作为返回类型。

或者，如果你想逆变那么你可以使用泛型参数只能作为方法的参数，而不是返回类型：

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

Answer 3

您可以使用out型参数仅contravariantly，即在返回类型。因此，IQueryable<T> GetAll()是正确的，但void Delete(T t)不正确。

由于T在您的班级中同时使用，所以在这里不能使用out（或in）。

这里有一些背景：Covariance and Contravariance (Wikipedia)。