delphi - 基于泛型参数类型的类型推断 (Delphi)

Question

我正在尝试编写一个接受匹配参数类型的通用函数。
Delphi 确实在普通参数的简单情况下正确推断类型参数。

例如：

type
  TFoo = class
    function Pair<T>(e1, e2: T): TList<T>;
  end;

调用它aFoo.Pair(1, 2);非常好，但是当我将参数签名更改为泛型类型时

type
  TFoo = class
    function InsertInto<T>(aList: TList<T>; aVal: T): TList<T>;
  end;

并尝试调用它
aFoo.InsertInto(TList<String>.Create, 'bar');

然后编译器抱怨它：
E2010 Incompatible types: 'Generics.Collections.TList<uTest.TFoo.InsertInto.T>' and 'Generics.Collections.TList<System.String>'

有什么办法可以编写这个（或类似的）方法，以便客户端不必指定类型参数？
aFoo.InsertInto<String>(TList<String>.Create, 'bar');

score 5 · Accepted Answer

我的猜测是来自 Delphi 的强类型特性。
uTest.TFoo.InsertInto.T相当于System.String但它实际上是不同的类型。

就像在这个例子中一样，其中Int1和Int2不属于同一类型：

var
  Int1: array[1..10] of Integer;
  Int2: array[1..10] of Integer;
      ...
  Int1 := Int2; // <== BOOM! E2008 Incompatible types (in XE2)

实际问题不在于类型推断，而是根据 Pascal/Delphi 的严格规则，类型不兼容。

1 回答 1