转换泛型和通用类型

Question

考虑以下三个类/接口：

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> 的实例来避免许多nasty casts，但是你需要将你的实例传递给接受 MyClass<IMyInterface> 的接口。

所以我的问题有两个：

• 为什么我不能在这两种类型之间转换？
• 有没有办法保持使用 MyClass<Derived> 实例的方便性，同时仍然能够将其转换为 MyClass<IMyInterface>？

- Justin

Answer 1

这个方法无效，因为C#只支持协变性（covariance）在接口和委托的类型参数上。如果你的类型参数仅存在于输出位置（例如，你只从你的类返回它的实例，而不接受它作为参数），你可以创建一个如下的接口：

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

这将使您能够做到以下事情：

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

诚实地说，这已经是你能得到的最接近的了，这需要使用C# 4编译器才能工作。

- Andrew Hare

Answer 2

一般情况下你不能这样做的原因是大多数类都不是简单的空示例，它们有方法：

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有一个名为DoSomethingWith的方法，接受一个Derived对象，并将其存储在一个静态变量中，该变量的类型为Derived。

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

如果允许这样做，b 现在将会拥有一个名为 DoSomethingWith 的方法，该方法接受任何实现 IMyInterface 的东西，并尝试将其存储在类型为 Derived 的静态变量中，因为它仍然是由 a 引用的同一个对象。所以现在你将拥有一个类型为 Derived 的变量存储着......谁知道是什么。

- Daniel Earwicker