簡單的協方差似乎不適用於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>