TMyRecord = record b: Boolean; // 3 bytes of padding in here with default record alignment settings i: Integer; end;
我希望实现IEqualityComparer< TMyRecord>.为此,我想调用TEqualityComparer< TMyRecord> .Construct.这需要提供TEQUalityComparison< TMyRecord>.这对我没有任何问题.
但是,Construct还需要THasher< TMyRecord>我想知道实现它的规范方法.该函数需要具有以下形式:
function MyRecordHasher(const Value: TMyRecord): Integer; begin Result := ??? end;
我希望我需要在记录值的两个字段上调用BobJenkinsHash,然后将它们组合起来.这是正确的方法,我该如何组合它们?
我不使用TEqualityComparison< TMyRecord> .Default的原因是它使用CompareMem,因此记录的填充会不正确.
解决方法
A good hash function tends to produce unequal hash codes for unequal
objects. This is exactly what is meant by the third provision of the
hashCode contract. Ideally,a hash function should distribute any
reasonable collection of unequal instances uniformly across all
possible hash values. Achieving this ideal can be extremely difficult.
Luckily it is not too difficult to achieve a fair approximation. Here
is a simple recipe:
- Store some constant nonzero value,say 17,in an
int
variable calledresult
.For each significant field
f
in your object (each field taken into account by the equals method,that is),do the following:a. Compute an
int
hash codec
for the field: ….. details omitted ….b. Combine the hash code c computed in step a into
result as follows:result = 37*result + c;
Return
result
.When you are done writing the
hashCode
method,ask yourself whether equal instances have equal hash codes. If not,figure out why
and fix the problem.
这可以转换成Delphi代码,如下所示:
{$IFOPT Q+} {$DEFINE OverflowChecksEnabled} {$Q-} {$ENDIF} function CombinedHash(const Values: array of Integer): Integer; var Value: Integer; begin Result := 17; for Value in Values do begin Result := Result*37 + Value; end; end; {$IFDEF OverflowChecksEnabled} {$Q+} {$ENDIF}
然后,这允许实现MyRecordHasher:
function MyRecordHasher(const Value: TMyRecord): Integer; begin Result := CombinedHash([IfThen(Value.b,1),Value.i]); end;