泛型和接口的Delphi错误

Question

下面的 Delphi 代码在 Foo 函数中没有编译错误，但 Foo2 函数编译。这让我发疯，有没有人有想法？

type

  IA<T> = Interface
  end;

  TA<T> = class(TInterfacedObject, IA<T>)
    function Foo<V> : IA<V>;
  end;

  TB<U,T> = class(TA<T>)
  end;

  TC = class
    function Foo2<T,V> : IA<V>;
  end;


implementation

{ TA<T> }

function TA<T>.Foo<V>: IA<V>;
begin
  Result := TB<T,V>.Create;
end;

{ TC }

function TC.Foo2<T,V>: IA<V>;
begin
  Result := TB<T,V>.Create;
end;

Answer 1

这看起来确实很奇怪，我怀疑这是一个错误。您可以通过声明 TB<U, T> 实现 IA<T> 来解决它。改变

TB<U, T> = class(TA<T>)

到

TB<U, T> = class(TA<T>, IA<T>)

---

请注意，删除了所有泛型的代码确实可以编译：

type
  IA = interface
  end;

  TA = class(TInterfacedObject, IA)
    function Foo: IA;
  end;

  TB = class(TA)
  end;

  TC = class
    function Foo2: IA;
  end;

function TA.Foo: IA;
begin
  Result := TB.Create;
end;

function TC.Foo2: IA;
begin
  Result := TB.Create;
end;

这似乎支持了我的信念，即您的代码是正确的并且应该被编译器接受。