如何处理Delphi中“继承自”类的泛型约束问题

问题描述 #

编译以下代码时失败，报错：

Type parameter 'T' is not compatible with type TBase

需求是让泛型类的Save方法返回与自身相同的类类型，其中TTest并非直接继承自TBase，而是通过TBusiness间接继承。代码如下：

type
  TBase = class
  end;

  TBusiness<T: TBase> = class(TBase)
  public
    function Save: T; virtual; abstract;
  end;

  TTest = class(TBusiness<TTest>)
  end;

问题原因 #

当前泛型约束T: TBase仅要求T是TBase的后代，但TTest继承自TBusiness<TTest>，形成了递归依赖关系，编译器无法直接确认TTest满足约束条件——因为TBusiness<TTest>本身依赖TTest的类型合法性，两者互相依赖导致编译检查失败。

解决方案 #

调整泛型约束为递归约束，明确T同时是TBase和TBusiness<T>的子类，让编译器能正确识别类型继承关系：

type
  TBase = class
  end;

  // 添加递归约束，要求T是TBusiness<T>的子类
  TBusiness<T: TBase, TBusiness<T>> = class(TBase)
  public
    function Save: T; virtual; abstract;
  end;

  TTest = class(TBusiness<TTest>)
  public
    function Save: TTest; override;
  end;

// 示例实现Save方法
function TTest.Save: TTest;
begin
  Result := Self;
  // 此处添加实际保存逻辑
end;

说明 #

• 递归约束T: TBase, TBusiness<T>同时限定了T的两个身份：TBase的后代、TBusiness<T>的子类，完美适配TTest的多层继承结构。
• 调整后Save方法可以准确返回当前类的实例类型，满足“返回自身相同类类型”的需求。

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