在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相等,则比较数组的二进制内容.因此,对于简单值类型的数组而言,这可能是合理的.但对于多维动态数组或引用类型数组,并非如此.
对于类实例,方法,过程变量,接口,默认比较器将操作数视为指针(在方法的情况下为两个指针)并执行地址比较.
如果要使用默认比较器？好吧,只要符合比较器的要求,你就会使用它.因此,简单的值类型肯定是有道理的.除此之外,您需要根据具体情况做出决定.