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

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

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

您只能以协变方式（即在返回类型中）使用 out 类型参数。因此，IQueryableGetAll() 是正确的，但 void Delete(T t) 不正确。

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

如果您想了解更多关于这背后的理论背景，请稍事休息并阅读“协方差”和逆变”维基百科文章。

---

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

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 是协变的，但仅支持“读操作”。 ICollection 是 IEnumerable 的子类型，允许读取和写入操作，因此本身不能是协变的。

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