Question

我有一个泛型列表，我想在其中放置一些记录或一些类

TMyList<T> = class
private
  fCount: Cardinal;
  fItems: array of T;
public
  constructor Create(aSize: Integer);
  procedure UpdateItem(const x: T);
end;

但我无法进行编译

procedure TMyList<T>.UpdateItem(const x: T);
var
  I: integer;
begin
  for I := 0 to fCount - 1 do
    if fItems[I] = x then begin  // <- error  E2015
    //do update
    break;
  end;
end;

它适用于具有此声明的类：TMyList<T : class> = class，但它不能再保留记录。

当然，对于记录，我声明class operator Equal(Left, Right : TMyRecord) : Boolean;以便MyRecord1 = MyRecord2可以编译。

Answer 1

使用=运算符永远无法工作。原因是泛型约束不够丰富，无法指定运算符的可用性。您根本无法在通用操作数上使用=运算符。

如果将操作数限制为类，则可以这样做，因为类是引用，并且编译器知道如何比较引用的相等性。基本上编译器需要知道在编译泛型类时如何生成代码。与C ++或Smalltalk模板不同，对于泛型，编译器不会等到实例化以编译代码。

如果您想使用自定义比较器，那么您需要明确提供。我知道，这是相当令人沮丧的。如果您可以使用默认比较器，则可以使用：

TEqualityComparer<T>.Default

Delphi中的Generic holding Records中的等于运算符

1 个答案: