2010-04-19 189 views
6

考虑,我有以下3类/接口:铸造泛型和泛型类型

class MyClass<T> { } 

interface IMyInterface { } 

class Derived : IMyInterface { } 

而且我希望能够到MyClass<Derived>铸造成MyClass<IMyInterface>,反之亦然:

MyClass<Derived> a = new MyClass<Derived>(); 
MyClass<IMyInterface> b = (MyClass<IMyInterface>)a; 

但我得到编译器错误,如果我尝试:

Cannot convert type 'MyClass<Derived>' to 'MyClass<IMyInterface>' 

我敢肯定有一个很好的重新不知为什么我不能这样做,但我想不出一个。

至于为什么我想这样做 - 我想象的场景是你最好想用MyClass<Derived>的实例工作,以避免大量讨厌的演员,但是你需要将你的实例传递给接受MyClass<IMyInterface>的接口。

所以我的问题是双重的:

  • 我为什么不能投这两种类型?
  • 有什么办法保持与MyClass<Derived>实例一起工作的好处,同时仍然可以将其转换为MyClass<IMyInterface>

回答

5

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

interface IClass<out T> { } 
class MyClass<T> : IClass<T> { } 

这将让你做到这一点:

IClass<Derived> a = new MyClass<Derived>(); 
IClass<IMyInterface> b = a; 

老实说,就像你将要得到的一样近,这需要C#4编译器的工作。

3

你不能这样做的原因一般是因为大多数类不是简单的空例子。他们有方法:

class MyClass<T> 
{ 
    static T _storage; 

    public void DoSomethingWith(T obj) 
    { 
     _storage = obj; 
    } 
} 

interface IMyInterface { } 

class Derived : IMyInterface { } 

MyClass<Derived> a = new MyClass<Derived>(); 

现在,a有接受Derived类型的静态变量Derived并将其存储的方法DoSomethingWith

MyClass<IMyInterface> b = (MyClass<IMyInterface>)a; 

如果被允许,b将现在似乎有一种方法DoSomethingWith接受任何实现IMyInterface,并随后将在内部尝试将其存储在Derived类型的静态变量,因为它仍然是真的与a相同的对象。

所以现在你会有一个变量Derived存储......谁知道什么。