Тип возвращаемого значения метода дженериков

Question

Мне кажется, что я должен быть в состоянии сделать это? Но я не могу.

public Dictionary<Type, List<ParserRuleContext>> Contexts { get; private set; } 

public IEnumerable<T> GetAllContextsOfType<T>() where T:ParserRuleContext 
{ 
    return (List<T>)Contexts[typeof(T)]; 
} 

Это дает ошибку:

Cannot convert type 'System.Collections.Generic.List<ParserRuleContext>' 
to 'System.Collections.Generic.List<T>' 

Учитывая, что список ограничивается быть Перечислите <ParserRuleContext> по ИНЕКЕ, я не понимаю этого?

Answer 1

Просто потому, что вы знаете, что для конкретного Type, вы только собираетесь хранить объекты этого определенного типа в List<ParserRuleContext> с tored здесь :

public Dictionary<Type, List<ParserRuleContext>> Contexts 

Там не хватает информации для системы типа также знать этот факт. Что касается этого, каждый из этих списков может содержать все виды объектов, все из которых происходят от ParserRuleContext. Очевидно, что такой список не может быть напрямую применен к более конкретному типу списка.

И общие типы не (вообще) не отражают структуру наследования, которую выполняют их параметры типа. Таким образом, это не похоже, что вы могли бы сохранить List<TypeDerivedFromParserRuleContext> в этом словаре - потому что List<TypeDerivedFromParserRuleContext> не наследует от List<ParserRuleContext>.

---

По крайней мере, я предполагаю, что это предположение, по которому вы верите, что остальная часть этого кода «смысл»

Answer 2

Я считаю, что должно быть тем фактом, что экземпляр списка быть с другим tipage списка в словаре, если вы сделаете слепок с помощью LINQ, чтобы решить

return Contexts[typeof(T)].Cast<T>(); 

или

return Contexts[typeof(T)].ToList<T>();