c# - 从模板类转换

Question

我有课MyClass<T>其中 T是一些接口(interface):

class MyClass<T> where T: IMyInterface

我写了几个扩展 MyClass 的类使用 IMyInterface 的一些实现，例如:

class MySecondClass : MyClass<MyInterfaceImplementation>

为什么分配 MySecondClass实例到类型为 MyClass<IMyInterface> 的变量不允许？

MyClass<IMyInterface> x = new MySecondClass()

当我添加隐式转换时:

public static implicit operator MyClass<IMyInterface>(MySecondClass c) {
    return c;
}

它开始工作了。

Answer 1

要执行您想要的操作，您应该使用 out 关键字声明类型参数 T 是协变的(参见 MSDN 上的 Covariance and Contravariance in Generics)。
您需要稍微修改一下代码，因为协变和逆变只能在接口(interface)上定义:

interface IMyInterface { 
}

// note that this one is an interface now
interface IMyClass<out T> where T : IMyInterface { 
}

class MyInterfaceImplementation : IMyInterface { 
}

class MySecondClass : IMyClass<MyInterfaceImplementation> { 
}

class Program {
    static void Main(string[] args) {
        IMyClass<IMyInterface> x = new MySecondClass();
    }
}