具有“任何泛型类型”定义的C＃泛型“ where约束”？

113

让我举个例子：

我有一些通用的类/接口定义：

interface IGenericCar< T > {...}
我还有另一个要与上面的类相关的类/接口，例如：

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

基本上，我希望我的通用IGarrage依赖IGenericCar，无论它是IGenericCar<int>还是IGenericCar<System.Color>，因为我对该类型没有任何依赖。

c# generics where type-constraints

— 内纳德
source

142

通常有两种方法可以实现此目的。

选项1：添加另一个参数来IGarrage表示T应该传递给IGenericCar<T>约束的参数：

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

选项2：定义一个基本接口，IGenericCar<T>该接口不是通用接口，并且针对该接口进行约束

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

— 贾里德·帕
source

好的，但是如果需要T在内使用通用类型该IGarage<TCar>怎么办？我在option2中看不到任何可能性。最好的解决方案是通过分析type IGarage<TCar>找到Ttype TCar。

— pt12lol

为了后代，可以创建一个具有原始泛型类型的类型参数的类型，但是只能在运行时进行反射，并且创建的类永远无法构造，因为没有完整定义就无法自动构造原始的泛型类型参数ITS各自的类型参数。我看不到有什么用处，除非在最外层类的超泛型静态成员的情况下（例如IGarage<IGenericCar<?>>.TellMeAboutCarsInGeneral()，这可能是不良设计的结果），但我已经做了一些修补，是可能的。

— Michael Hoffmann

我假定任何人都可以将IGenericCar接口添加到类中，并用意外的类破坏受约束的方法。

— N-ate

@ pt12lol：如果IGarrage<TCar>实际上处理基础泛型类型（例如，它处理所述类型的属性），则它需要知道类型，这需要您指定类型，即选项1（当时唯一可行的选项）。但是，如果IGarrage<TCar>不直接处理基础泛型类型（所有IGarrage<TCar>代码都与此基础类型无关），则选项2有效。

— 更加平坦

做这样的事情有意义吗：

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

— 纳尔夫
source