Question

考虑一下，我有以下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>？

Answer 1

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

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

这将允许您这样做：

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

老实说，这与您将要获得的一样接近，这需要C＃4编译器才能工作。

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类型的变量存储......谁知道什么。

转换泛型和泛型类型

2 个答案: