我想知道是否有人可以告诉我在C#4.0中这种行为是否可行

我有一个对象层次结构,我想保持强类型化.像这样

class ItemBase {}

class ItemType<T> where T : ItemBase 
{
   T Base { get; set; }
}


class EquipmentBase : ItemBase {}
class EquipmentType : ItemType<EquipmentBase> {}

我想要做些什么像这样

ItemType item = new EquipmentType();

我想要item.Base返回类型ItemBase.基本上,我想知道它是否足够聪明,可以在不进行强类型化的情况下将泛型强类型化为基类.这样做的好处是,我可以简单地将ItemType强制转换回EquipmentType并再次获得所有强类型化.

我可能在想这一切错…

解决方法:

您正在谈论的协方差将允许您执行以下操作：

ItemType<object> item = new EquipmentType();

由于以下原因,您无法在C#4中执行此操作：

>通用协方差仅适用于接口,数组和委托类型,不适用于基类
>您的ItemType类将T用作输入/输出类型参数,这意味着它接收T并返回T.

数字2是主要问题,因为如果允许,则以下代码必须是可编译的,但在运行时会失败.

// this will not work
ItemType<object> item = new EquipmentType();
item.Base = new Object(); // this seems ok but clearly isn't allowed

Covariance and Contravariance FAQ