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)”上逆变有效。 'T' 是协变的。

Answer 1

您只能协变地使用 out 类型参数，即在返回类型中。因此，IQueryable<T> GetAll() 是正确的，但 void Delete(T t) 是错误的。

由于T 在您的类中同时使用，因此您不能在此处使用out（也不能使用in）。

如果您想了解更多关于这背后的理论背景，请稍事休息并阅读"Covariance and Contravariance" Wikipedia article。

---

欢迎回来。那么，如果您需要存储库中的所有这些方法，但仍需要协变接口，您会怎么做？您可以将协变部分提取到自己的接口中：

interface IDataSource<out T> where T : IBusinessEntity
{
    IQueryable<T> GetAll();
}

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

这也是 .NET BCL 解决此问题的方式：IEnumerable<out T> 是协变的，但仅支持“读取操作”。 ICollection<T> 是IEnumerable<out T> 的子类型，允许读写操作，因此本身不能是协变的。

Answer 2

考虑一下如果编译器允许这样做会发生什么：

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 3

以下两种方法错误：

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);
}