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

发布时间：2020-12-15 04:19:55 所属栏目：大数据来源：网络整理

导读：我正在尝试编写一个接受匹配参数类型的泛型函数. Delphi确实在普通参数的简单情况下正确地推断出类型参数. 例如： type TFoo = class function PairT(e1,e2: T): TListT; end; 用aFoo.Pair(1,2)调用它;工作得很好,但是当我将参数签名更改为泛型类型时 type T

我正在尝试编写一个接受匹配参数类型的泛型函数.
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不兼容的类型：’Generics.Collections.TList< uTest.TFoo.InsertInto.T>‘和’Generics.Collections.TList< System.String>‘

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

解决方法

我的猜测是来自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的严格规则,类型不兼容.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!