转换泛型和泛型类型

Jus*_*tin 6 c# generics casting covariance

考虑一下,我有以下3个类/接口:

class MyClass<T> { }

interface IMyInterface { }

class Derived : IMyInterface { }
Run Code Online (Sandbox Code Playgroud)

我希望能够MyClass<Derived>投入一个MyClass<IMyInterface>或反之亦然:

MyClass<Derived> a = new MyClass<Derived>();
MyClass<IMyInterface> b = (MyClass<IMyInterface>)a;
Run Code Online (Sandbox Code Playgroud)

但是如果我尝试,我会遇到编译错误:

Cannot convert type 'MyClass<Derived>' to 'MyClass<IMyInterface>'   
Run Code Online (Sandbox Code Playgroud)

我确信有一个很好的理由我不能这样做,但我想不出一个.

至于为什么我想这样做 - 我想象的场景是你理想地想要使用一个实例MyClass<Derived>以避免许多讨厌的演员,但是你需要将你的实例传递给接受的接口MyClass<IMyInterface>.

所以我的问题是双重的:

  • 为什么我不能在这两种类型之间施放?
  • 有没有办法保持使用实例的好处,MyClass<Derived>同时仍然能够将其转换为MyClass<IMyInterface>

And*_*are 5

这不起作用,因为C#仅支持接口和委托的类型参数的协方差.如果你的类型参数仅存在于输出位置(即你只从类中返回它的实例而不接受它作为参数),你可以创建一个这样的接口:

interface IClass<out T> { }
class MyClass<T> : IClass<T> { }
Run Code Online (Sandbox Code Playgroud)

这将允许你这样做:

IClass<Derived> a = new MyClass<Derived>();
IClass<IMyInterface> b = a;
Run Code Online (Sandbox Code Playgroud)

老实说,这与你将要获得的一样接近,这需要C#4编译器才能工作.