在Delphi中实现类型安全的容器
Delhi泛型库--DGL(The Delphi Generic Library)简介
by HouSisong@263.net,2004.09.12
最近都在使用Delphi,但Delphi中的容器和算法实在太缺乏了,又存在很多不一致,使用也很不方便。
在构造一些容器和算法的时候,总是怀念C++的泛型和STL;所以就尝试在Delphi中编写泛型代码;
其它现有的Deplhi容器和算法库实现中,主要的实现途径有利用Delphi中的array of const(相当于弱类型,然后做case);或者建立一套类体系作为容器中的元素(主要使用虚函数机制,如:左轻侯有篇文章也谈到过; 一般简单类型需要做打包拆包);还有的实现是针对TObject、IInterface、String等做多套代码实现(如:DCL库); 但他们相对于C++的STL来说缺陷也很明显,类型不安全,速度慢,代码重复;
经过一些尝试,我有了一个部分实现的途径;
实现原型举例:
“模版”类的声明文件:UnitClassT.inc_h
[code]
//<template:_T,_T_IsEqual>
type
TTest = class(TObject)
private
a : _T;
public
function GetA():_T;
fucntion IsEqual(ATest:TTest):bool;
end;
[/code]
“模版”类的实现文件:UnitClassT.inc_pas
[code]
function TTest.GetA(): _T;
begin
result:=a;
end;
fucntion IsEqual(ATest:TTest):bool;
begin
result:=_T_IsEqual(a,ATest.a);
end;
[/code]
使用的时候对“模版”类做pointer的特化
[code]
unit UnitTestPointer;
interface
type _T = Pointer;
function _T_IsEqual(cosnt a,b:_T);
{$I UnitClassT.inc_h}
type TTestPointer = TTest; // TTestPointer定义给外部使用
implementation
{$I UnitClassT.inc_pas}
function _T_IsEqual(cosnt a,b:_T);
begin
result:=(a=b);
end;
end.
[/code]
使用的时候对“模版”类做double的特化
[code]
unit UnitTestDouble;
interface
type _T = double;
{$I UnitClassT.inc_h}
type TTestFloat = TTest; // TTestFloat定义给外部使用
function _T_IsEqual(cosnt a,b:_T);
implementation
function _T_IsEqual(cosnt a,b:_T);
begin
result:=(a=b);
end;
{$I UnitClassT.inc_pas}
end.
[/code]
(将类分成两个部分的原因是这样可以$Include更多的文件,形成组合;感觉象C++ )
这里只对一个_T类型做了参数化,当然还可以对多个类型做特化;甚至参数化一些常量和其他函数(比如Hash值函数),利用$define\$ifdef进行条件编译(主要用来优化或特殊处理);
用这种方法再加上接口(Interface,不是必须);在Delphi中就可以实现通用的容器和算法库了,而且类型安全,没有重复代码;
我已经有了一个简版的Delphi通用容器库了
(库的组件还很少,一个人的力量有限; 库已经有vector\list\queue等,能够支持基本类型(包括类的引用语义)、类(class)的值语义(一般Delphi中不习惯使用类的值语义,所以不建议使用),结构(record)等其它类型,并且类型安全, 没有重复代码)
感觉就是STL的翻版,哈哈
库现在包括以下组件:
<object>
_IIterator 容器迭代器
_IMapIterator Map迭代器
(PointerBox函数可以将原生指针包装成一个与库兼容的迭代器)
<接口interface>
_ICollection 容器接口
_ISerialContainer 序列容器的接口
_IVector 向量接口(容器的一种)
_IList 链表接口(容器的一种)
_IDeque 队列接口(容器的一种)
_IStack 堆栈接口(一种容器配接器)
_IQueue 双端队列接口(一种容器配接器)
_IPriorityQueue 优先级队列
_ISet Set接口
_IMultiSet MultiSet接口
_IMap Map接口
_IMultiMap MultiMap接口
<类class>
_TAlgorithms 算法类(包括:拷贝、替换、删除、排序、搜索等算法)
_TAbstractContainer 容器虚基类
_TAbstractSerialContainer 序列容器类的虚基类
_TAbstractSet Set(MultiSet)的抽象虚基类
_TAbstractMap Map(MultiMap)的抽象虚基类
_TVector 向量实现类
_TList 链表List的一个实现
_TDeque 队列Deque的一个实现
_TStack 堆栈Stack
_TQueue 双端队列Queue
(_THashTableBase Hash表(库内部使用))
_THashSet 用Hash表实现的Set
_THashMultiSet 用Hash表实现的MultiSet
_THashMap 用Hash表实现的Map
_THashMultiMap 用Hash表实现的MultiMap