在非泛型内联方法中分配TProc触发编译错误，原因何在？

问题核心 #

在Delphi 11.1 Alexandria环境下，给类的内联方法中的TProc变量赋值空匿名过程时，泛型内联方法Compiles<T>可正常编译，而非泛型内联方法DoesNotCompile却触发编译错误E2441：Inline function declared in interface section must not use local symbol '.TMyClass.DoesNotCompile$ActRec'。需要明确两者差异的原因，以及泛型版本是否可安全使用。

相关代码：

unit Unit1;
interface
uses
  System.SysUtils;

type
  TMyClass = class
    procedure Compiles<T>; inline;
    procedure DoesNotCompile; inline;
  end;


implementation

procedure TMyClass.Compiles<T>;
var
  m: TProc;
begin
  m := procedure begin end; // 编译正常
end;

procedure TMyClass.DoesNotCompile;
var
  m: TProc;
begin
  m := procedure begin end; // 触发编译错误
end;

end.

差异原因 #

Delphi编译器对非泛型内联方法和泛型内联方法的处理逻辑存在本质区别：

• 非泛型内联方法在接口部分声明后，编译器会在编译接口阶段就对内联代码进行检查。创建匿名过程时，编译器会生成局部活动记录（ActRec）存储相关信息，而内联方法的代码可能被插入到调用处，这个局部符号会暴露到接口层面上下文，违反了“内联函数不能使用局部符号”的规则，因此触发E2441错误。
• 泛型内联方法的实例化是延迟的——只有实际调用泛型方法并指定具体类型参数时，编译器才会生成对应具体代码。接口声明阶段编译器不会处理泛型方法的内部实现细节，自然不会检测到匿名过程生成的局部ActRec符号，因此可正常编译。

泛型版本的安全性 #

泛型版本Compiles<T>可以安全使用，理由如下：

1. 泛型方法实例化时，编译器会为具体类型生成完整代码，此时匿名过程的ActRec会被正确处理，不会出现符号暴露问题。
2. 示例中的匿名过程为空，未捕获外部变量，不存在生命周期管理隐患。即使后续扩展匿名过程捕获变量，只要遵循Delphi匿名方法的常规使用规范（比如注意捕获变量的生命周期，避免悬空引用），也不会有额外风险。
3. 该写法符合Delphi泛型和内联函数的设计逻辑，不存在未定义行为，在当前版本及后续兼容版本中均可稳定运行。

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