Наведу приклад:
У мене є загальне визначення класу / інтерфейсу:
interface IGenericCar< T > {...}У мене є ще один клас / інтерфейс, який я хочу пов'язати з класом вище, наприклад:
interface IGarrage< TCar > : where TCar: IGenericCar< (**any type here**) > {...}
В принципі, я хочу , щоб мій загальний IGarrage залежати від IGenericCar, незалежно від того , це IGenericCar<int>або IGenericCar<System.Color>, тому що у мене немає якоїсь - якої залежності до цього типу.
TвсерединіIGarage<TCar>? Я не бачу жодної можливості у варіанті2. Найкращим рішенням було б, якби його булоIGarage<TCar>знайденоTшляхом аналізу типуTCar.