类型参数，约束和协方差/逆变

Question

比方说，我已经被存储在具有基于对象的不同实现以下类：

public class ListOfPersistent<T> : 
    IList<T> where T : Persistent {... implementation ...} 

public class ListOfNonPersistent<T> : 
    IList<T> {... implementation ...} 

而且我想在上面使用的另一个版本一个班做这样的事情：

public class PersistentList<T> : IList<T> { 
    protected PersistentList() { 
    if (list != null) { 
     return; 
    } 

    if (Extensions.IsPersistent<T>()) { 
     list = new ListOfPersistent<T>(); 

    } else { 
     list = new ListOfNonPersistent<T>(); 
    } 
    } 

    protected IList<T> list; 
    .... 
} 

当然上面没有编译，因为限制第一级，没有第二类型。有什么办法可以：告诉编译器它不应该检查这个特定情况下的约束（list = new ListOfPersistent<T>()），因为我知道它会是这种类型的，或者做一些协变/逆变魔术，所以代码编译没有任何问题？

Answer 1

协变和逆变将不会帮助你，因为IList<T>是不变的。

我个人认为你的班级设计存在缺陷。您不应该想要实例化一个ListOfPersistent<T>，然后将其放置在类型为IList<T>的变量不兼容的变量中。不幸的是，我不能提出一个好的选择，因为我不知道你打算如何使用这些课程或你的总体目标是什么;但我可以让一个建议，并声明这是哈克和也许应该，如果你真的知道你在做什么，只能用于：

public static class ListUtils 
{ 
    public static object CreateListOfPersistent(Type elementType) 
    { 
     if (!typeof(Persistent).IsAssignableFrom(elementType)) 
      throw new ArgumentException("elementType must derive from Persistent.", "elementType"); 
     var listType = typeof(ListOfPersistent<>).MakeGenericType(elementType); 
     return Activator.CreateInstance(listType); 
    } 
} 

// ... 

if (Extensions.IsPersistent<T>()) 
    list = (IList<T>) ListUtils.CreateListOfPersistent(typeof(T)); 
else 
    list = new ListOfNonPersistent<T>();