简单的协方差似乎不适用于c＃泛型

Question

在我看来，我对c＃中的协方差有一个理解问题。 如果我有以下课程：

class a {
}

class b : a {
}

class A<T> where T: a {
}

class B<T> : A<T> {
}

class C : A<b> {
}

现在我做：

A<a> t1 = new B<b>();
A<a> t2 = new C();

这些都不起作用 - 但为什么？ 微软的这篇文章没有提出，这究竟应该有效吗？ http://msdn.microsoft.com/de-de/library/dd799517(v=vs.110).aspx

为什么这个非常简单的例子不起作用？

最好的祝福

Answer 1

协方差就像你描述的那样，但有一个重要的部分：

如果泛型类继承自covariant泛型参数上标有“out”关键字的接口，则它只是协变的。

有关如何使用此规则的一系列规则，请参阅MSDN了解详细信息。

您没有继承协变接口，因此派生的赋值将会中断。

你需要这样的东西：

IGeneric<out T>
{
}

class a<T> : IGeneric<T>
{
}

等等。 您的作业应该如下所示：

IGeneric<Base> = a<Derived>