在 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。它也可能已经实现了其他接口。

但是，C# 在其更高版本中支持这种转换。请参阅http://msdn.microsoft.com/en-us/library/dd799517.aspx（泛型中的协变和逆变）

Answer 2

您可以先投射到对象

Foo<IWorld> bar2 = (Foo<IWorld>)(object)new Foo<T>();

Answer 3

一个更简单的反对意见 - 假设不是Foo，而是List。

将List<T> 转换为List<IWorld> 后，我现在可以将一些其他 IWorld 实现对象（比如T2 类型）添加到限制为仅包含的列表中T 类型的对象。那不应该是有效的。

回到你的 Foo 对象 - 如果它包含任何期望使用 T 类型的对象调用的方法，我现在可以使用实现 IWorld 的 any 对象调用它们- 即使（想象一下Foo 的附加类型约束）该对象不是Foo 的合格类型。

---

我在 cmets re: 值类型中的观点。同样，如果我们根据List<T> 进行讨论，这可能会更容易——值类型的List<T> 包含没有装箱的值类型。如果您想要这些相同值的List<IWorld>，则必须在将每个值添加到列表之前装箱。

Answer 4

跟随有什么问题

 Foo<IWorld> bar1 = new Foo<IWorld>(); 

你想达到什么目的？

如果您需要传递IWorld 实例，您可以安全地传递T，但您的代码中并非如此。

编辑（基于 cmets）

要转换为Foo<Array of something>，您可以使用Cast 或OfType，具体取决于您的要求（是否要抛出或忽略不兼容的匹配项）。

如果是 .NET 4，由于CoVariance 功能，它应该会自动工作。