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();
    }
}