Delphi嵌套泛型记录编译报错：是语言限制还是编译器问题？

你遇到的这个问题是Delphi泛型记录的语言/编译器限制，并非偶然bug，在Berlin 10.1.2、Tokyo 10.2.3这类版本里确实存在这个设计局限。

问题本质 #

Delphi编译器在解析记录类型的嵌套泛型实例化时，存在语法解析逻辑缺陷：当你尝试直接写TRec<TRec<Integer>>作为记录字段的类型时，编译器无法正确识别内层TRec<T>的泛型参数绑定，误将TRec<T>当成未定义类型，从而抛出E2564 Undefined type 'TRec<T>'错误。

而类和接口的泛型嵌套能正常工作，是因为编译器对类/接口的泛型解析逻辑更完善，能正确处理多层嵌套的泛型实例化。

可行的解决方案 #

针对这个限制，有两种实用的解决办法：

1. 预定义内层泛型实例类型
   先把内层的泛型实例单独定义为类型别名，再在外层使用这个别名，让编译器提前完成类型解析：

   type
     // 先预定义内层的泛型实例
     TRecInteger = TRec<Integer>;
     TRec<T> = record
       Value: T;
     end;
     TCls = class
     public
       Rec: TRec<TRecInteger>;
     end;
   

   这种方式能绕开编译器的解析缺陷，顺利通过编译。

2. 用类替代记录（若业务场景允许）
   如果你对类型的“值类型”特性没有强依赖，可以把TRec<T>改成类，这样就能直接使用嵌套泛型而不会报错：

   type
     TRec<T> = class
       Value: T;
     end;
     TCls = class
     public
       Rec: TRec<TRec<Integer>>;
     end;
   

补充说明 #

需要注意的是，这个限制在后续的Delphi版本（如11 Alexandria及以后）是否有修复，可能需要实际测试，但在你使用的Berlin和Tokyo版本中，这是明确存在的泛型记录解析局限。

内容的提问来源于stack exchange，提问作者Z.B.