delphi - 如何在Delphi中将TComparer <T>类传递给泛型？

我想创建具有某些功能(包括搜索功能)的通用记录。
为了执行此搜索，我想传递一个自定义的比较器来比较项目。
如果它是一个类，我可以在构造函数中传递它，但是我想使用一条记录来避免创建或释放它。所以，我没有在哪里初始化比较器的构造函数。

然后，我决定像类型参数一样传递Comparer类，并在需要比较器时，使用TComparer.Default创建比较器的实例。

好吧，这是代码:

TMyArray<T,C: TComparer<T>> = record
  FComparer: IComparer<T>;
  Items: TArray<T>;

  function Contains<AItem: T>: Boolean;
end;

当我尝试以这种方式使用它时，出现问题:

TMyRecord = record
  Score: Real;
  A: string;
  B: string;
end;

TMyRecordComparer = class(TComparer<TMyRecord>)
  function Compare(Left, Right: TMyRecord): Integer;
end;

TMyRecordArray = TMyArray<TMyRecord, TMyRecordComparer>;

有了最后一个声明，我得到了这个错误:
E2515类型参数'T'与类型'System.Generics.Defaults.TComparer\'不兼容。

任何想法如何解决这个问题？

最佳答案

尽管David的答案解决了编译错误的问题，但实际上我会使用其他约束:

TMyArray<T; C: class, constructor, IComparer<T>> = record

这意味着C必须是具有无参数构造函数的类，并实现IComparer<T>接口(interface)。因为您不必从System.Generics.Collections.TComparer<T>继承比较器，而只实现所需的IComparer<T>接口(interface)，所以可以稍微放松约束。

同样，首先，在问题中发布代码，您将收到W1010警告，这意味着您缺少TMyRecordComparer.Compare方法的覆盖(及其缺少的const)。如果您从TComparer<T>继承，这是必需的，因为那是使用虚拟抽象方法实现IComparer<T>的。

您使用.Default的想法也将不起作用，因为这会为T类型的比较器创建默认实现。但是您要使用您指定的自定义名称。

因此，根据我在上面编写的约束，您可以执行以下操作(纯天然的非线程安全的实现):

function TMyArray<T, C>.Contains<AItem>: Boolean;
begin
  if FComparer = nil then
    FComparer := C.Create;
  // ....
end;

最后但并非最不重要的一点是，我不确定您的Contains方法是否正确-您编写它的方式建议您检查数组是否包含AItem类型的元素或T类型的子元素(或T是否为接口(interface)类型，实现T)-我猜你打算写

function Contains(AItem: T): Boolean;

关于delphi - 如何在Delphi中将TComparer <T>类传递给泛型？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/56355931/