класса и общее ограничения типа взаимодействие уровня Метода

Question

Рассмотрят следующий класс:

public class DerivedClassPool<TBase> where TBase : class 
{ 
    public TBase Get(Type componentType) 
    { 
     // Not important, but you get the idea 
     return Activator.CreateInstance(componentType) as TBase; 
    } 

    public TDerived SomeMethod<TDerived>() where TDerived : TBase 
    { 
     return Get(typeof(TBase)) as TDerived; 
    } 
} 

Обратите внимание, что я ограничил TBase обобщенного класс аргумента будут класс: where TBase : class
Я также ограничил TDerived родовых аргумент метода TBase или что-то вытекающее из этого: where TDerived : TBase.

Я получаю сообщение об ошибке на as TDerived линии:

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

Я понимаю, что для предотвращения ошибок, мне нужно добавить ограничение class, поэтому я хотел бы получить:

where TDerived : class, TBase 

Почему я должен это делать, когда TBase уже ограничен классом, а TDerived ограничен TBase или получен из него?

Answer 1

ОБНОВЛЕНИЕ: Этот вопрос был the subject of my blog on September 19th, 2011. Спасибо за большой вопрос!

---

Почему я должен это сделать, когда TBase уже ограничены быть классом и TDerived ограничивается быть TBase или производные от него?

Поскольку тип значения может быть получен из ссылочного типа. int получен из ссылочных типов object и System.ValueType и реализует ряд интерфейсов. Это не делает ссылочный тип int.

Совершенно законно для вас позвонить SomeMethod<int> по экземпляру DerivedClassPool<object>, потому что int является производным от объекта.

Теперь - это случаи, когда ваша критика будет оправдана. Можно построить ситуации, в которых два параметра типа связаны таким образом, что оба они логически могут быть только ссылочными типами, но только один из них классифицируется по языку как «известный как ссылочный тип».

Как упражнение для читателя: можете ли вы его найти? Возможно, потребуется внимательно прочитать раздел 10.1.5 спецификации для точного определения «известного как ссылочный тип».

Answer 2

Потому что TBase может быть интерфейсом, поэтому TDerived может быть типом значения.