Delphi：泛型和类型约束答案

【问题标题】：Delphi: generic and type constraintsDelphi：泛型和类型约束
【发布时间】：2009-11-12 14:20:15
【问题描述】：

是否可以将泛型的类型限制为两个不同的类？

像这样：

TSomeClass<T: FirstClass; T: SecondClass> = class
  // ...
end;

（抱歉，缺少格式 - SO 工具栏已从我的浏览器中消失）。我知道上面不会编译，它只是为了给你们一个想法而写的。我试过了

TSomeClass<T: FirstClass, SecondClass> = class
  // ...
end;

但后来我不被允许写作

procedure TSomeClass.SomeMethod<T> (Param1: string);

这可能吗？

【问题讨论】：

【解决方案1】：

不，这是不可能的。编译器应该如何能够静态验证您的方法调用是否有效？

注意，那个

TSomeClass <T : FirstClass, SecondClass>

不是有效的类型约束。您不能组合多个类约束。不过，您可以将类约束与一些接口约束结合起来。但即便如此

TSomeClass <T : TSomeClass, ISomeInterface>

意味着泛型类型必须从TSomeClass 继承并实现ISomeInterface。

所以你唯一能做的就是提取FirstClass和SecondClass之间共有的东西，把它放在一个接口中并使用接口约束：

TSomeClass <T : IOnePointFive>

也许你可以提供更多关于你想要达到的目标的细节。

【讨论】：

感谢粉碎机。对我来说，无论如何，泛型似乎很神奇，所以我不知道编译器能不能捕捉到什么……但是让它们实现相同的接口是一个可以接受的解决方案。实际上，我通过使用类方法解决了我的问题：原来我的类之间的不同是类范围的差异。使用类方法，我不需要类的实例来制作它，因此可以解决它。

【解决方案2】：

让两个类实现相同的接口是可行的方法。然后将泛型约束到该接口。

【讨论】：