14.2.2 标准类的泛型方法
使用泛型类型定义类可能是最常见的情况,但泛型类型也可以用于非泛型类。换句话说,一个普通的类也可以有一个泛型方法。在这种情况下,不仅要在创建类的实例时为泛型占位符指定类型,还要在调用方法时指定类型。下面是一个使用泛型方法的类示例。以下是来自GenericMethod
示例的具有泛型方法的示例类:
type
TGenericFunction = class
public
function WithParam<T>(T1: T): string;
end;
注解:当我第一次编写这段代码时,可能是因为我想起了我的C++时代,我将参数写成了(t:T)。不用说,在Object Pascal这样的不区分大小写的语言中,这不是一个好主意。编译器实际上会让它通过,但每次引用泛型类型T时都会发出错误。
在一个类似的类方法中,你能做的并不多(至少除非你使用了本章后面将涉及的约束条件),所以我写了一些代码,使用了特殊的泛型类型函数(同样将在后面涉及)和一个特殊函数来将类型转换为字符串、 在此不做讨论:
function TGenericFunction.WithParam<T>(T1: T): string;
begin
Result := GetTypeName(TypeInfo(T));
end;
正如你所看到的,这个方法甚至不使用作为参数传递的实际值,而只是获取一些类型信息。同样,由于完全不知道 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;
所有上述调用都是正确的,因为这些调用中的参数类型可以是隐式的。请注意,泛型类型显示(如指定或推断)而不是参数的实际类型,这解释了这个输出:
string
Integer
string
ShortInt
TButton
TObject
如果在尖括号之间不指示类型调用该方法,则实际类型将从参数的类型中推断出来。如果使用类型和参数调用该方法,则参数的类型必须与泛型类型声明匹配。因此,以下三行将无法编译:
Show(GF.WithParam<Integer>('Foo'));
Show(GF.WithParam<string>(122));
Show(GF.WithParam<TButton>(Self));