定义接口作为泛型参数实现流畅接口时遇类型未定义错误

你要实现支持链式调用的流畅接口，同时允许类继承，但在定义接口时把自身作为泛型参数传给父接口，触发了编译器错误：Type IImp is not yet completely defined。

问题原因 #

Delphi编译器不允许在接口的完整定义中，直接将未完全定义的自身接口作为泛型参数传入父接口——因为此时IImp还在定义过程中，编译器无法确认其完整结构。

解决方案：使用接口前向声明 #

通过先做接口的前向声明，让编译器提前知晓IImp的存在，再完成完整定义，就能解决这个递归泛型引用的问题。

修正后的接口定义代码 #

type
  // 1. 先做IImp的前向声明
  IImp = interface;

  IAdd<T: IInterface> = interface
    function Add(Value: Integer): T;
  end;

  IAddSubtract<T: IInterface> = interface(IAdd<T>)
    function Subtract(Value: Integer): T;
  end;

  // 2. 现在可以安全地将IImp作为泛型参数传入父接口
  IImp = interface(IAddSubtract<IImp>)
    ['{B1CB6C84-B79C-4F01-8304-FD22CD7A1230}']
    function Value: Integer; // 补充链式调用最终获取值的方法
  end;

支持类继承的实现示例 #

下面是基类和子类的实现，展示如何继承并保持流畅接口的链式调用特性：

type
  TImpBase = class(TInterfacedObject, IImp)
  private
    FValue: Integer;
  public
    function Add(Value: Integer): IImp;
    function Subtract(Value: Integer): IImp;
    function Value: Integer;
  end;

  // 子类继承自TImpBase，实现扩展功能
  TImpChild = class(TImpBase, IImp)
  public
    function Multiply(Value: Integer): IImp; // 新增方法
  end;

{ TImpBase }
function TImpBase.Add(Value: Integer): IImp;
begin
  FValue := FValue + Value;
  Result := Self; // 返回自身，维持链式调用
end;

function TImpBase.Subtract(Value: Integer): IImp;
begin
  FValue := FValue - Value;
  Result := Self;
end;

function TImpBase.Value: Integer;
begin
  Result := FValue;
end;

{ TImpChild }
function TImpChild.Multiply(Value: Integer): IImp;
begin
  FValue := FValue * Value;
  Result := Self;
end;

链式调用示例 #

var
  Result: Integer;
  Imp: IImp;
begin
  Imp := TImpChild.Create;
  Result := Imp.Add(5).Subtract(2).Multiply(3).Value; 
  // 计算过程：(0+5-2)*3 = 9
end;

这样既实现了预期的链式调用，同时类继承也能正常工作——子类可以扩展接口方法，并且保持流畅调用的特性。

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