Delphi中Hash表实现思路

Hash表,其实就是一个Key对应一个Object
在Delphi里最简单实现Hash的就是TStrings
通过它的AddObject,IndexOf,Objects等方法可以做一个很简单的Hash表。
TStrings没有排序,所以IndexOf比较慢,而它的子类TStringList具有Stored属性,设置为True之后,IndexOf是用折半查找的,效率很高。
所以在Delphi里可以用TstringList做一个简单的Hash。

但是TStringList做Hash是有一些限制性的
1.只限字符串做Key了
2.HashCode冲突没法解决
3.不可并发

类似TStrings及其子类的还有TList及类似List等。
但是这些都存在着Hash冲突和并发问题。

现在就来在Delphi的基础的TList和TInterfaceList的基础上做一个 通用的可并发并且有效解决Hash冲突的Hash表。

先是总体结构
Hash表是一个List,就用TList就行了,Hash表类THashTable
为了解决Hash冲突,每个Hash的List的一个点其实也应该是一个对列,我这里采用了TinterfaceList,冲突列表类THashItemQueue,原因后面再讲。
这样做出来其实就像一个二维数组一样,一维的是Hash队列THashTable,二维的HashCode冲突的队列THashItemQueue。
THashTable 1:n THashItemQueue

再来考虑并发问题
以THashTable 的List来说,它是通过HashCode定位的,并且容量大小最好先固定下来,这样Hash表本身就不存在并发问题,本身就可支持并发了。
但是Hash冲突列表THashItemQueue因为在查找添加删除时都会有并发问题,所以,为每一个THashItemQueue实例做临界区保护即可。

再就是通用性考虑。
为了适应不同的HashCode计算,和节点比较
所以应该把这两个接口外放,即要由调用者实现,而ThashTable只提供一个容器和接口
先看HashCode,HashCode计算其实就是一个函数,通过计算节点的Key值,计算出在Hash表中的位置。所以可以定义一个函数引用。TCalHashCode = function(Key: Pointer): Integer of object; 而THashTable 里设置一个TCalHashCode 属性,调用者实现这个函数并传给THashTable
而节点与Key之间的比较,可以通过让节点实现ComparetoKey接口的
//--比较的接口
ICompare = interface
['{C43DAF4B-E08D-4E09-B830-342D1B10B7B7}'] //一定要GUID,以做接口转换
// a>b 返回 1,相等=0, a<b返回-1
//为了适应数值类型和对象引用,故采用指针方式传参
function CompareToKey(Key: Pointer): Integer;
end;
这样就可以把Key的比较完全外放,而达到ThashTable完全通用的目的。

再来考虑另一个重要的问题:节点的生命周期问题。
节点何时应该被正确释放?
我采用的方法是让接口来管理节点生命周期的,当没有对一个节点对象的任何引用时,该节点被释放。

综上,以下是该Hash的定义和实现代码
{
Hash 表及相关定义和实现
晚起的小虫
2006-6-11
THashTable 为Hash表
TCalHashCode 为计算Hash值的函数。外部传入到THashTable
THashItemQueue 为解决Hash值冲突的链表
ICompare 比较的接口,在Hash表中查找Key时用,节点对象必须实现该接口。
TItemObject 节点虚类。
}
unit uHash;

interface
uses
Classes, SysUtils, Forms, SyncObjs ,Windows;
type
//----------------节点----------------------
//--比较的接口
ICompare = interface
['{C43DAF4B-E08D-4E09-B830-342D1B10B7B7}'] //一定要GUID,以做接口转换
// a>b 返回 1,相等=0, a<b返回-1
//为了适应数值类型和对象引用,故采用指针方式传参
function CompareToKey(Key: Pointer): Integer;
end;

//--节点纯虚类
TItemObject = class(TInterfacedObject, ICompare)
public
function CompareToKey(Key: Pointer): Integer; virtual; abstract;
end;
//---------------节点链表----------------------------
//--Hash节点链表,解决Hash冲突。
{
THashItemQueue以保存接口的方式保存对象引用,要保存的节点对象必须实现IInterface和ICompare接口
}
THashItemQueue = class
protected
FLock: TCriticalSection;
FList: TInterfaceList;
function GetItems(i: Integer): IInterface;
function GetCount: Integer;
function SordFind(Key: Pointer;var Index:Integer):Boolean;
public
constructor Create;
destructor Destroy; override;
property Items[i: Integer]: IInterface read GetItems;
//按Key查找,找到返回节点的位置,找不到返回-1
function IndexOf(Key: Pointer): Integer;
//按Key查找,找到返回节点接口,找不到返回nil
function Find(Key: Pointer): IInterface;

property Count: Integer read GetCount;
//添加节点,重复的忽略
function Add(Key: Pointer; Item: IInterface):Boolean;
procedure Delete(i: Integer);
procedure Lock; //进入临界区锁定
procedure UnLock; //解除临界区锁定
end;

//----------------HashTable---------------------------
//--利用接口的引用计数来统计当前正在被Lock中的THashItemQueue个数统计
TLockStater = class(TInterfacedObject)
protected
function GetLockCount: Integer;
public
property LockCount: Integer read GetLockCount;
end;

//--计算Hash的函数
TCalHashCode = function(Key: Pointer): Integer of object;

//--Hash接口
IHashTable = interface
['{A05C330A-DA86-4909-BBF5-B98931293735}']
function Find(Key: Pointer): IInterface;
procedure Add(Key: Pointer; obj: IInterface);
procedure Delete(Key: Pointer);
end;

//--Hash链表
THashTable = class(TInterfacedObject, IHashTable)
private
FItemsCount: Integer;
function GetUseItemCount: Integer;
protected
FLockStaterObj: TLockStater;
FLockStater: IInterface; //Lock计数自引用接口
FCount: Integer;
FCalHashCode: TCalHashCode;
FList: TList;
function FindItem(Key: Pointer): THashItemQueue;
procedure Error(Msg:string);
public
constructor Create(ItemsCount: Integer; CalHashCode: TCalHashCode);
destructor Destroy; override;

//查找,找到返回对象接口,找不到返回nil
function Find(Key: Pointer): IInterface;
//添加接口,如果Key已存在,则不添加
procedure Add(Key: Pointer; obj: IInterface);
//删除一个Key
procedure Delete(Key: Pointer);
property Count: Integer read FCount;
property ItemsCount:Integer read FItemsCount;
property UseItemCount: Integer read GetUseItemCount;
end;
//----------------------------------------------
implementation

{ TLockStater }

function TLockStater.GetLockCount: Integer;
begin
Result := FRefCount;
end;

{ THashItemQueue }

function THashItemQueue.Add(Key: Pointer; Item: IInterface):Boolean;
var
i :integer;
begin
if SordFind(Key,i) then
begin
Result := False;
Exit;//如果已存在则退出
end;
FList.Insert(i,Item);
Result := True;
end;

constructor THashItemQueue.Create;
begin
inherited;
FList := TInterfaceList.Create;
FLock := TCriticalSection.Create;
end;

procedure THashItemQueue.Delete(i: Integer);
begin
FList.Delete(i);
end;

destructor THashItemQueue.Destroy;
var
i: Integer;
begin
for i := FList.Count - 1 downto 0 do
begin
FList.Delete(i);
end;

FLock.Free;
FList.Free;
inherited;
end;

function THashItemQueue.Find(Key: Pointer): IInterface;
var
i: Integer;
begin
i := indexOf(Key);
if i >= 0 then Result := FList.Items[i]
else Result := nil;
end;

function THashItemQueue.GetCount: Integer;
begin
Result := FList.Count;
end;

function THashItemQueue.GetItems(i: Integer): IInterface;
begin
Result := FList.Items[i];
end;

function THashItemQueue.IndexOf(Key: Pointer): Integer;
var
i: Integer;
begin
Result := -1;
if SordFind(Key,i) then Result := i;
end;

procedure THashItemQueue.Lock;
begin
FLock.Enter;
end;

function THashItemQueue.SordFind(Key: Pointer; var Index: Integer): Boolean;
var
L, H, I, C: Integer;
begin
//折半查找
Result := False;
L := 0;
H := Count - 1;
while L <= H do
begin
I := (L + H) shr 1;
C := (FList.Items[i] as ICompare).CompareToKey(Key);
if C < 0 then L := I + 1 else
begin
H := I - 1;
if C = 0 then
begin
Result := True;
L := I;
end;
end;
end;
Index := L;
end;

procedure THashItemQueue.UnLock;
begin
FLock.Leave;
end;

{ THashTable }

procedure THashTable.Add(Key: Pointer; obj: IInterface);
var
Item: THashItemQueue;
tmp: IInterface;
begin
tmp := FLockStater;
Item := FindItem(Key);
Item.Lock;
try
if Item.Add(Key, obj) then InterlockedIncrement(FItemsCount)
else
Error('Key已存在!添加失败!');
finally
Item.UnLock;
end;
end;

constructor THashTable.Create(ItemsCount: Integer; CalHashCode: TCalHashCode);
var
i: Integer;
begin
inherited Create;
FCount := ItemsCount;
FCalHashCode := CalHashCode;
FList := TList.Create;
for i := 0 to FCount - 1 do
begin
FList.Add(THashItemQueue.Create);
end;
FLockStaterObj := TLockStater.Create;
FLockStater := FLockStaterObj;
end;

procedure THashTable.Delete(Key: Pointer);
var
Item: THashItemQueue;
i: Integer;
tmp: IInterface;
begin
tmp := FLockStater;
Item := FindItem(Key);
Item.Lock;
try
i := Item.IndexOf(Key);
if i >= 0 then
begin
Item.Delete(i);
InterlockedDecrement(FItemsCount);
end
else
Error('要删除的Key不存在!');
finally
Item.UnLock;
end;
end;

destructor THashTable.Destroy;
var
i: Integer;
begin
for i := FCount - 1 downto 0 do
TObject(FList.Items[i]).Free;

FList.Free;
FLockStater := nil;
inherited;
end;

procedure THashTable.Error(Msg: string);
begin
raise Exception.Create(Msg);
end;

function THashTable.Find(Key: Pointer): IInterface;
var
Item: THashItemQueue;
i: Integer;
tmp: IInterface;
begin
tmp := FLockStater;
Item := FindItem(Key);
Item.Lock;
try
Result := Item.Find(Key);
finally
Item.UnLock;
end;
end;

function THashTable.FindItem(Key: Pointer): THashItemQueue;
var
i: integer;
begin
i := FCalHashCode(Key);
Result := THashItemQueue(FList.Items[i]);
end;

function THashTable.GetUseItemCount: Integer;
begin
Result := FLockStaterObj.LockCount;
end;
end.

你可能感兴趣的:(Delphi)