C＃泛型类中的协变性

Question

C＃4.0 .NET 4.5 Silverlight 5 看起来很奇怪，我不能找到解决方案，所以需要一些帮助。

我有基类Base和派生类Child：Base。我也有助手类具有泛型类型来做具体的工作一个EF实体助手，其中T：EntityObject。

子对特定的实体MyEntity：EntityObject做特定的工作。

所以，我想：

public class Base 
{ 
    protected Helper<EntityObject> helper; 
} 
public class Child : Base 
{ 
    public Child() 
    { 
     helper = new Helper<MyEntity>(); 
    } 
} 

我希望有更多的派生类必须了解更具体的泛型参数，我认为这就是协方差......但是，这并不工作...

设计这样的课程的“正确”方式是什么？

编辑：对不起，我没能100％清楚为什么不能我实现我需要什么。

a。通用基地的解决方案不起作用，因为基地的用户不知道T型。试想一下：

public class User 
{ 
    private Base<T> base; // this will not compile. 
    public User(TypeEnum t) 
    { 
     if(t == TypeEnum.MyEntity) base = new Child(); 
... 

湾带接口的解决方案不起作用，因为帮助器在任何地方都使用T（它的目的是否正确？）。想象一下，它有方法

public IEnumerable<T> Process(IEnumerable<T> items) { return items; } 

我如何把它的界面，不知道大约T t

Answer 1

如果Foo：Bar，这并不意味着Some<Foo>：Some<Bar>。有两种方法可以做你想做的事。第一种方法是使基型通用，使得：

Base<T> where T : EntityObject { 
    protected Helper<T> helper; 
} 
Child : Base<MyEntity> {...} 

第二个是在基础类型使用一个非通用的接口，即，具有

Base { 
    protected IHelper helper; 
} 
Child : Base {...} 

其中在后一种情况下，Helper<T> : IHelper，对于一些非通用的IHelper待定义。

作为一个附注，您可能会可能找到更容易在构造函数中传递值而不是使用protected字段。

Answer 2

我认为这是什么，你在做什么后：

public class Base<T> where T : EntityObject 
{ 
    protected Helper<T> helper; 
} 
public class Child : Base<MyEntity> 
{ 
    public Child() 
    { 
     helper = new Helper<MyEntity>(); 
    } 
} 

编辑（响应您的编辑）：您可以添加一个Base，使用像这样：

public class Base 
{ 
    // put anything here that doesn't rely on the type of T 
    // if you need things here that would rely on T, use EntityObject and have 
    // your subclasses provide new implementations using the more specific type 
} 
public class Base<T> : Base where T : EntityObject 
{ 
    protected Helper<T> helper; 
} 
public class Child : Base<MyEntity> 
{ 
    public Child() 
    { 
     helper = new Helper<MyEntity>(); 
    } 
} 
public class User 
{ 
    private Base myBase; 
    public User(TypeEnum t) 
    { 
     if(t == TypeEnum.MyEntity) myBase = new Child(); 
     ...