Delphi2009初体验 - 语言篇 - 体验泛型（二）

快速导航

六、体验泛型数组

七、体验泛型方法

八、体验自定义泛型类

九、体验泛型约束条件

1、类类型约束条件

2、对象类型约束条件

3、构造函数约束条件

4、值类型约束条件

5、多约束条件
6、多模板类型分别约束条件

7、嵌套约束条件

十、关于特化与偏特化

十一、总结

由于正式版还没有发出，官方的帮助文档也没有泄露，所以我没有办法验证 Delphi 对泛型的支持到何种程度了。大家对泛型都很熟悉，具体细节我就不多说了。下面将贴出一些代码，用来验证 Delphi 对泛型的支持并验证是否通过。

六、体验泛型数组

1

program TestGenericArray;
2

{ $APPTYPECONSOLE }
4

uses
6

SysUtils;
7

type
9

TArr < T > = array of T;
10

var
12

arr:TArr < Integer > ;
13

n:Integer;
14

begin
15

Setlength(arr, 10 );
16

for n: = 0 to 9 do
18

begin
19

arr[n]: = n;
20

end ;
21

end .
22

七、体验泛型方法

1、Delphi2009不支持全局泛型方法，泛型方法只能置于类内或者嵌套在方法内，或者成为类的静态方法。
2、以下代码将打印出传入泛型变量的地址：

1

program TestGenericArray;
2

{ $APPTYPECONSOLE }
4

uses
6

SysUtils;
7

type
9

TGeneric = class
10

class procedure PrintAddress < T > (aVal:T);
11

end ;
12

var
14

n:Integer;
15

{ TGeneric }
17

class procedure TGeneric.PrintAddress < T > (aVal:T);
19

begin
20

Writeln(Integer(@aVal));
21

end ;
22

begin
24

n: = 10 ;
25

TGeneric.PrintAddress < Integer > (n);
26

end .

八、体验自定义泛型类

1

program TestGenericClass;
2

{ $APPTYPECONSOLE }
4

uses
6

SysUtils;
7

type
9

TGenericsClass1 < T > = class
10

private
11

fValue:T;
12

public
13

constructor Create(aValue:T); virtual ;
14

property Value:T read fValue write fValue;
15

end ;
16

var
18

gc1:TGenericsClass1 < Integer > ;
19

{ TGenericsClass1<T> }
21

constructor TGenericsClass1 < T > .Create(aValue:T);
23

begin
24

fValue: = aValue;
25

end ;
26

begin
28

gc1: = TGenericsClass1 < Integer > .Create( 10 );
29

Writeln(gc1.Value);
30

FreeAndNil(gc1);
31

Readln;
33

end .

九、体验泛型约束条件

以下通过代码针对泛型类，对Delphi2009所支持的泛型约束条件进行验证。

1、类类型约束条件

约束模板类型T只能为类类型

1

program TestGenericClass;
2

{ $APPTYPECONSOLE }
4

uses
6

SysUtils;
7

type
9

TGenericsClass1 < T: class > = class // 注意在此进行约束
10

private
11

fValue:T;
12

public
13

constructor Create(aValue:T); virtual ;
14

property Value:T read fValue write fValue;
15

end ;
16

var
18

gc1:TGenericsClass1 < TObject > ;
19

{ TGenericsClass1<T> }
21

constructor TGenericsClass1 < T > .Create(aValue:T);
23

begin
24

fValue: = aValue;
25

end ;
26

begin
28

gc1: = TGenericsClass1 < TObject > .Create( nil );
29

Writeln(gc1.Value = nil );
30

FreeAndNil(gc1);
31

Readln;
33

end .

2、对象类型约束条件

约束T只能为某一个对象类型

1

program TestGenericArray;
2

{ $APPTYPECONSOLE }
4

uses
6

SysUtils,
7

Classes,
8

Contnrs;
9

type
11

TGenericsClass1 < T:TList > = class // 注意在此进行约束
12

private
13

fValue:T;
14

public
15

constructor Create(aValue:T); virtual ;
16

property Value:T read fValue write fValue;
17

end ;
18

var
20

gc1:TGenericsClass1 < TObjectList > ;
21

{ TGenericsClass1<T> }
23

constructor TGenericsClass1 < T > .Create(aValue:T);
25

begin
26

fValue: = aValue;
27

end ;
28

begin
30

gc1: = TGenericsClass1 < TObjectList > .Create( nil );
31

Writeln(gc1.Value = nil );
32

FreeAndNil(gc1);
33

Readln;
35

end .

3、构造函数约束条件

大家都知道，在C#中，可以使用 T: where new() 对泛型模板类型进行构造函数的约束，指明类型T 必须有一个可见的构造函数。

在D2009中，我也发现有这样的特性：

1

TGeneric < T: constructor > = class
2

public
3

constructor Create; virtual ;
4

end ;

约束“: constructor”表明T必须拥有可见的构造函数。

但是，我在使用以下代码时，编译器总是提示编译不通过：

1

var
2

t:T;
3

begin
4

t: = T.Create;
5

end ;

获取是另外一种写法？我没有尝试出来，需要等官方正式版出来才能确认。

4、值类型约束条件

Delphi2009的泛型约束不提供值类型约束条件，TGenericsClass1<T: Integer> = class这样的约束编译器是不支持的。所以，像c++中template <Tint S> class TBuf这样的约束在Delphi中行不通。

5、多约束条件

与C#类似，Delphi2009的多约束条件用来约束T既满足一个类型，又满足一个接口。

1

program TestGenericArray;
2

{ $APPTYPECONSOLE }
4

uses
6

SysUtils,
7

Classes,
8

Windows,
9

Contnrs;
10

type
12

IInt = Interface
13

procedure Test;
14

End;
15

TImp = class (TInterfacedObject,IInt)
17

public
18

procedure Test;
19

end ;
20

TGenericsClass < T: class ,IInt > = class // 注意在此进行约束
22

private
23

fValue:T;
24

public
25

constructor Create(aValue:T); virtual ;
26

property Value:T read fValue write fValue;
27

end ;
28

var
30

gc1:TGenericsClass < TImp > ;
31

{ TGenericsClass<T> }
33

constructor TGenericsClass < T > .Create(aValue:T);
35

begin
36

fValue: = aValue;
37

end ;
38

{ TImp }
40

procedure TImp.Test;
42

begin
43

end ;
45

begin
47

gc1: = TGenericsClass < TImp > .Create( nil );
48

Writeln(gc1.Value = nil );
49

FreeAndNil(gc1);
50

Readln;
52

end .

6、多模板类型分别约束条件

有两个模板类型T1、T2，要使用不同的约束分别约束两个模板类型，可以使用以下方法：

1

type
2

TGenericsClass < T: class ;T1:TList > = class // 注意在此进行约束，用“；”将两个模板类型分开进行分别约束
3

private
4

end ;

7、嵌套约束条件

Delphi2009的泛型约束条件对嵌套约束条件处理的很好，如：

1

TFelix < T > = class
2

public
3

end ;
5

TGenericsClass < T: class ;T1:TFelix < T >> = class // 注意在此进行约束，用“；”将两个模板类型分开进行分别约束
7

private
8

end ;

十、关于特化和偏特化

谢谢网友“ 装配脑袋” 的提醒，我试了很多方法，都没有迹象表明D2009支持C++中模板的特化和偏特化，或者D2009用其他形式的语法表示特化与偏特化，导致我没有试验出来。

十一、总结

总体上来说，D2009从泛型的角度出发，做得已经非常不错了，已经非常接近C#。甚至，D2009还提供类似于C#的关键字“default”，来获取泛型类型T的默认值（值类型置0，引用类型为空指针）。

在接下来的章节里，我会向大家介绍D2009的其他新体验，如：匿名函数和反射（比RTTI更强大）的支持。

Delphi2009初体验 - 语言篇 - 体验泛型（二）

更多文章、技术交流、商务合作、联系博主

微信扫码或搜索：z360901061

微信扫一扫加我为好友

QQ号联系： 360901061

您的支持是博主写作最大的动力，如果您喜欢我的文章，感觉我的文章对您有帮助，请用微信扫描下面二维码支持博主2元、5元、10元、20元等您想捐的金额吧，狠狠点击下面给点支持吧，站长非常感激您！手机微信长按不能支付解决办法：请将微信支付二维码保存到相册，切换到微信，然后点击微信右上角扫一扫功能，选择支付二维码完成支付。

【本文对您有帮助就好】元

2元

5元

10元

20元

自定义