параметров типа, ограничение и ковариационные/контравариации

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>, несовместим. К сожалению, я не могу предложить хорошую альтернативу, потому что я понятия не имею, как вы планируете использовать эти классы или какова ваша общая цель; но я могу сделать рекомендации с оговоркой, что это 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>();