(delphi11最新学习资料) Object Pascal 学习笔记---第14章泛型第2节（标准类的泛型方法）

14.2.2 标准类的泛型方法

​ 使用泛型类型定义类可能是最常见的情况，但泛型类型也可以用于非泛型类。换句话说，一个普通的类也可以有一个泛型方法。在这种情况下，不仅要在创建类的实例时为泛型占位符指定类型，还要在调用方法时指定类型。下面是一个使用泛型方法的类示例。以下是来自GenericMethod示例的具有泛型方法的示例类：

type
    TGenericFunction = class
    public
    	function WithParam<T>(T1: T): string;
    end;
1
2
3
4
5

注解：当我第一次编写这段代码时，可能是因为我想起了我的C++时代，我将参数写成了（t：T）。不用说，在Object Pascal这样的不区分大小写的语言中，这不是一个好主意。编译器实际上会让它通过，但每次引用泛型类型T时都会发出错误。

​ 在一个类似的类方法中，你能做的并不多（至少除非你使用了本章后面将涉及的约束条件），所以我写了一些代码，使用了特殊的泛型类型函数（同样将在后面涉及）和一个特殊函数来将类型转换为字符串、 在此不做讨论：

function TGenericFunction.WithParam<T>(T1: T): string;
begin
	Result := GetTypeName(TypeInfo(T));
end;
1
2
3
4

​ 正如你所看到的，这个方法甚至不使用作为参数传递的实际值，而只是获取一些类型信息。同样，由于完全不知道 T1 的类型，在代码中使用它就变得相当复杂。

​ 您可以按以下方式调用此“全局泛型函数”的各个版本：

var
	GF: TGenericFunction;
begin
	GF := TGenericFunction.Create;
try
    Show(GF.WithParam<string>('Foo'));
    Show(GF.WithParam<Integer>(122));
    Show(GF.WithParam('Hello'));
    Show(GF.WithParam(122));
    Show(GF.WithParam(Button1));
    Show(GF.WithParam<TObject>(Button1));
finally
	GF.Free;
end;
1
2
3
4
5
6
7
8
9
10
11
12
13
14

​ 所有上述调用都是正确的，因为这些调用中的参数类型可以是隐式的。请注意，泛型类型显示（如指定或推断）而不是参数的实际类型，这解释了这个输出：

string
Integer
string
ShortInt
TButton
TObject
1
2
3
4
5
6

​ 如果在尖括号之间不指示类型调用该方法，则实际类型将从参数的类型中推断出来。如果使用类型和参数调用该方法，则参数的类型必须与泛型类型声明匹配。因此，以下三行将无法编译：

Show(GF.WithParam<Integer>('Foo'));
Show(GF.WithParam<string>(122));
Show(GF.WithParam<TButton>(Self));
1
2
3