delphi – 默认的TArray.Sort比较器实际上做了什么以及何时使用它？

在Delphi XE2的System.Generics.Collections.TArray.Sort帮助中,它说

Note: If the Comparer parameter is provided,it is used to compare elements; otherwise the default comparator for the array elements is used.

我稍微挖了一下,发现TArray.Sort的默认比较器是来自System.Generics.Defaults的_LookupVtableInfo.这个代码是

function _LookupVtableInfo(intf: TDefaultGenericInterface; info: PTypeInfo; size: Integer): Pointer;
var
  pinfo: PVtableInfo;
begin
  if info <> nil then
  begin
    pinfo := @VtableInfo[intf,info^.Kind];
    Result := pinfo^.Data;
    if ifSelector in pinfo^.Flags then
      Result := TTypeInfoSelector(Result)(info,size);
    if ifVariableSize in pinfo^.Flags then
      Result := MakeInstance(Result,size);
  end
  else
  begin
    case intf of
      giComparer: Result := Comparer_Selector_Binary(info,size);
      giEqualityComparer: Result := EqualityComparer_Selector_Binary(info,size);
    else
      System.Error(reRangeError);
      Result := nil;
    end;
  end;
end;

它被称为

IComparer<T>(_LookupVtableInfo(giComparer,TypeInfo(T),SizeOf(T)))

我已经仔细研究了这一点,但我并不确定我知道它的作用.它只是将内存中的位相互比较或者究竟是什么？

问题的第二部分是一个更普遍的问题,你可能真正想要使用默认比较器,或者你不太可能真的想要使用它？

解决方法

默认比较器提供许多常见类型的实现.具体来说它支持以下内容：

>积分类型：字节,字,整数等
>枚举类型.
>浮点类型.
>字符串.
>集.
>类实例.
>程序变量.
>方法.
>变种.
>静态数组.
>动态数组.
>接口.
>指针.
>记录.

对于其中许多类型,默认实现正是您所期望的.例如,对于整数,枚举类型,浮点类型,实现使用<,>和=运算符.对于字符串,默认实现调用CompareStr.

对于其他类型,默认实现可能不太有用.例如,对于记录,比较是逐字节二进制比较.您很可能希望为记录提供自己的比较器实现.注意记录的一件事是默认比较器将比较记录中的任何填充,你永远不想这样做.因此,对于具有填充的对齐记录,它永远不会有用.我还会对包含引用类型的记录的实用程序提出质疑.

对于动态数组,默认实现首先比较长度,然后,如果length相等,则比较数组的二进制内容.因此,对于简单值类型的数组而言,这可能是合理的.但对于多维动态数组或引用类型数组,并非如此.

对于类实例,方法,过程变量,接口,默认比较器将操作数视为指针(在方法的情况下为两个指针)并执行地址比较.

如果要使用默认比较器？好吧,只要符合比较器的要求,你就会使用它.因此,简单的值类型肯定是有道理的.除此之外,您需要根据具体情况做出决定.