类型参数、约束和协变/逆变

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 ListOfPercient()），因为我知道它将是这种类型，或者执行一些协变/逆变魔法，以便代码编译时没有任何问题？

Answer 1

协变和逆变在这里不会有帮助，因为 IList 是不变的。

就我个人而言，我认为你的课程设计有缺陷。您不应该实例化 ListOfPersistent，然后将其放入 IList 类型不兼容的变量中。不幸的是，我无法提出一个好的替代方案，因为我不知道您计划如何使用这些课程或您的总体目标是什么；但我可以提出一个建议，但附带免责声明，它是hacky，并且可能只有在您真正知道自己在做什么时才应该使用：

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>();