Delphi泛型问题：数组类型能否用作类型约束？

首先看你提供的无法编译的代码：

TIndexArray<TType> = array of TType;

TIndexList<TArrayType; TType: TIndexArray<TArrayType>> = class
end;

编译时触发的错误：

Type 'TIndexArray' is not a valid constraint.

原因解释 #

Delphi对泛型类型约束的可用类型有严格限制，仅允许以下几类作为约束：

• 类类型
• 接口类型
• 类引用类型（如TClass）
• 已声明的泛型类型参数
• 特定约束关键字（如class、interface、record、constructor等）

你定义的TIndexArray<TType>是泛型动态数组类型，属于值类型范畴，并不在Delphi允许作为泛型约束的类型集合中。而当你把TIndexArray改为类类型时，它满足“类类型作为约束”的规则，因此编译器可以正常通过编译。

本质上这是Delphi语言本身的设计限制，编译器不支持用数组类型（包括泛型动态数组）来约束泛型类型参数。

内容的提问来源于stack exchange，提问作者morrisseyd