7

一致するパラメーターの型を受け入れる汎用関数を作成しようとしています。
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');

4

1 に答える 1

5

私の推測では、これは Delphi の強く型付けされた性質によるものです。
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 の厳密な規則に従って型が互換性がないことにあります。

于 2012-10-02T17:27:08.910 に答える