简单的协方差似乎不适用于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>