Delphi 12.2编译触发F2084(URW1394)内部错误的排查与解决

错误现象 #

• 存在常规编译错误（如语法问题）时，正常显示错误，不会触发该内部错误；
• 修复所有常规错误后，本该成功编译时，URW1394错误出现；
• 错误提示的光标始终定位在最后编辑的源文件末尾；
• 使用Shift+F9（强制完全重建项目）编译时始终无错误；
• Debug和Release配置下均会出现该问题。

触发场景与问题代码 #

该错误由泛型、操作符重载、record helper及接口继承的组合使用触发，最初采用的复杂泛型包装模式代码如下：

type
  IService = interface(IInterface)
    // 定义若干方法
  end;

  RService<SVC: IService> = record
  private
    FService: SVC;

  public
    class function Create(const s: SVC): RService<SVC>; static;

    class operator Implicit(const C: SVC): RService<SVC>; inline;
    class operator Implicit(const R: RService<SVC>): SVC; inline;
    class operator Implicit(const R: RService<SVC>): RService<IService>; inline;

    property _Delegate: SVC read FService;

    // 重复实现所有接口方法（inline）

    // 语法糖方法
    function GetSubService<T: ISubService>: I;
  end;

后续派生新接口并添加record helper后，问题彻底显现：

type
  IService2 = interface(IService)
    // 新增方法与属性
  end;

  RService2 = RService<IService2>;

  RService2Helper = record helper for RService2
    // Inline实现IService2的方法
  end;

解决方案 #

弃用上述复杂包装模式，直接使用接口，并将泛型方法迁移至小型辅助record中：

1. 给接口添加获取辅助record的方法：

function IService.GetFactory: TSubServiceFactory;

2. 定义仅包含泛型方法的小型辅助record TSubServiceFactory，核心方法为GetSubService<T>。

修改后调用语法仍保持简洁：

var YellowService := Service.Factory.GetSubService<IYellowService>;

结论 #

该问题属于Delphi 12.2的编译器Bug，由泛型、操作符重载、record helper及接口重声明的复杂组合引发，通过简化代码结构即可彻底消除错误。

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