为什么这个继承层次结构不允许这种分配？

Question

我有以下复杂的继承层次结构：

I1<I3>
A1 : C1, I2
C2 : A1, I3
C3 : A2<C2>, I4                
A2<C2> : I5, I1<C2>

以图片形式：

写入：

I1<I3> i = new C3();

...导致编译错误“Cannot将源类型...转换为目标类型...”。

为什么？

Answer 1

协变和逆变泛型参数应明确标记为此类。

以下代码编译时不会出现错误（请注意 out 关键字）：

class tmp
{
    class C1 {}
    interface I2 {}
    interface I3 {}
    interface I4 {}
    interface I5 {}
    interface I1<out I3> {}
    class A1 : C1, I2 {}
    class C2 : A1, I3 {}
    class C3 : A2<C2>, I4 {}
    class A2<C2> : I5, I1<C2> { }

    private void Main()
    {
        I1<I3> i = new C3();
    }
}

当然，如果没有 out 关键字，它将失败并显示与您所描述的相同的错误消息。