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

时间:2012-10-02 15:48:58

标签: delphi generics delphi-xe type-inference

我正在尝试编写一个接受匹配参数类型的泛型函数 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');

1 个答案:

答案 0 :(得分:5)

我的猜测是来自德尔福强烈的性质 uTest.TFoo.InsertInto.T相当于System.String,但实际上是另一种类型

在此示例中,Int1Int2的类型不同:

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

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