C # rodzajowy „gdzie ograniczenie” z definicją „dowolnego typu ogólnego”?

Podam przykład:

1. Mam ogólną definicję klasy / interfejsu:

   interface IGenericCar< T > {...}

2. Mam inną klasę / interfejs, który chcę powiązać z klasą powyżej, na przykład:

   interface IGarrage< TCar > : where TCar: IGenericCar< (**any type here**) > {...}

Zasadniczo chcę, aby mój ogólny IGarrage był zależny IGenericCar, niezależnie od tego, czy jest, IGenericCar<int>czy IGenericCar<System.Color>, ponieważ nie mam żadnej zależności od tego typu.

Zwykle można to osiągnąć na dwa sposoby.

Opcja 1 : Dodaj kolejny parametr do IGarragereprezentowania tego, Tktóry powinien zostać przekazany do IGenericCar<T>ograniczenia:

interface IGarrage<TCar,TOther> where TCar : IGenericCar<TOther> { ... }

Opcja 2 : Zdefiniuj interfejs podstawowy, dla IGenericCar<T>którego nie jest ogólny i ogranicz go do tego interfejsu

interface IGenericCar { ... }
interface IGenericCar<T> : IGenericCar { ... }
interface IGarrage<TCar> where TCar : IGenericCar { ... }

Czy miałoby sens zrobienie czegoś takiego:

interface IGenericCar< T > {...}
interface IGarrage< TCar, TCarType > 
    where TCar: IGenericCar< TCarType > {...}