c# - 在 C# 中转换受约束的泛型类

Question

很简单，为什么这段代码编译失败？

public interface IWorld { }
public class Foo<T> where T : IWorld { }
public void Hello<T>(T t) where T : IWorld
{
    Foo<IWorld> bar1 = new Foo<T>(); //fails implicit cast
    Foo<IWorld> bar2 = (Foo<IWorld>)new Foo<T>(); //fails explicit cast
}

因为每个 T工具 IWorld , Foo<T> 的每个实例应该匹配 Foo<IWorld> .为什么不？有没有办法解决？我真的不想诉诸泛型来实现这一目标。

Answer 1

T : IWorld

表示 T 已经实现了 IWorld，并不意味着它仅实现了 IWorld 并且完全是 IWorld。它也可能已经实现了其他接口(interface)。

但是，C# 在其更高版本中支持此转换。请看http://msdn.microsoft.com/en-us/library/dd799517.aspx (泛型中的协变和逆变)