14.3 泛型约束

​ 正如我们所看到的，您在泛型类的方法中可以做的事情非常少。您可以传递它（即分配它）并执行上面我介绍的泛型类型函数允许的有限操作。

​ 为了能够执行泛型类的实际操作，通常需要对其进行约束。例如，如果将泛型类型限制为类，则编译器将允许您在其上调用所有TObject方法。您还可以进一步限制类为给定层次结构的一部分，或实现特定接口，从而可以在泛型类型的实例上调用类或接口方法。

14.3.1 类约束

​ 您可以采用的最简单的约束是类约束。要使用它，您可以声明一个泛型类型，如下所示：

type
	TSampleClass<T: class> = class

​ 通过指定类约束，您表明只能将对象类型用作泛型类型。使用以下声明（取自ClassConstraint示例）：

type
    TSampleClass<T: class> = class
    private
    	FData: T;
    public
        procedure One;
        function ReadT: T;
        procedure SetT(T1: T);
    end;

​ 您可以创建前两个实例，但不能创建第三个实例：

Sample1: TSampleClass<TButton>;
Sample2: TSampleClass<TStrings>;
Sample3: TSampleClass<Integer>; // Error

​ 对第三个声明，编译器产生的错误将是：

E2511 Type parameter 'T' must be a class type

​ 指定这种约束的优点是什么？在泛型类方法中，您现在可以调用任何TObject方法，包括虚方法！这是TSampleClass泛型类的One方法：

procedure TSampleClass<T>.One;
begin
    if Assigned(FData) then
    begin
        Form30.Show('ClassName: ' + FData.ClassName);
        Form30.Show('Size: ' + IntToStr(FData.InstanceSize));
        Form30.Show('ToString: ' + FData.ToString);
    end;
end;

注解 这里有两个注释。第一个是InstanceSize返回对象的实际大小，与我们之前使用的通用SizeOf函数不同，后者返回引用类型的大小。其次，请注意TObject类的ToString方法的使用。

​ 您可以运行程序以查看其实际效果，因为它定义并使用了一些泛型类型的实例，如以下代码片段所示：

var
	Sample1: TSampleClass<TButton>;
begin
    Sample1 := TSampleClass<TButton>.Create;
    try
        Sample1.SetT(Sender as TButton);
        Sample1.One;
    finally
    	Sample1.Free;
    end;

​ 请注意，通过声明一个带有自定义 ToString 方法的类，当数据对象是特定类型时，该版本将被调用，而不管提供的实际类型是什么。将在数据对象是特定类型时被调用，而不管提供给泛类型的实际类型是什么。换句话说，如果您有一个TButton后代，例如：

type
    TMyButton = class(TButton)
    public
    	function ToString: string; override;
    end;

​ 您可以将此对象作为TSampleClass<TButton>值传递，也可以定义特定的泛型类型实例，在这两种情况下，调用One方法最终会执行特定版本的ToString：

var
Sample1: TSampleClass<TButton>;
Sample2: TSampleClass<TMyButton>;
Mb: TMyButton;
begin
...
Sample1.SetT(Mb);
Sample1.One;
Sample2.SetT(Mb);
Sample2.One;

​ 类似于类约束，您可以使用以下声明定义一个记录约束：

type
	TSampleRec<T: record> = class

​ 但是，不同的记录之间共同点很少（没有共同的祖先），因此这种声明有些受限。