14.2 Object Pascal中的泛型

​ 在前面的例子中，我们已经看到了如何在Object Pascal中定义和使用泛型类。我决定在深入讨论这个非常重要但又相当复杂的技术细节之前，通过一个例子来介绍泛型这一特性。在从语言角度讨论泛型之后，我们将列举更多的例子，包括使用和定义泛型容器类，这是该语言中这种技术的主要用途之一。

​ 我们已经看到，当你定义一个类时，你可以在尖括号中添加一个额外的“参数”，以占据稍后提供的类型的位置：

type
	TMyClass<T> = class
	end;

​ 泛型类型可以用作字段的类型（如我在前面的例子中所做的那样），也可以用作属性的类型、函数的参数或返回值的类型等。请注意，对于本地字段（或数组），不强制使用类型，因为有些情况下泛型类型仅用作结果、参数或者在类的声明中没有使用，而只是在类的某些方法的定义中使用。

​ 这种扩展或泛型类型声明形式不仅适用于类，也适用于记录（即第5章中涵盖的记录，也可以具有方法、属性和重载运算符）。泛型类还可以具有多个参数化类型，例如下面的情况，其中您可以为方法指定不同类型的输入参数和返回值：

type
	TPWGeneric<TInput, TReturn> = class
	public
		function AnyFunction(Value: TInput): TReturn;
	end;

​ 在Object Pascal中，泛型的实现与其他静态语言一样，不需要运行时支持。泛型由编译器和链接器处理，几乎不需要运行时机制的支持。与在运行时绑定的虚函数调用不同，每个泛型类型的类方法只生成一次，并在编译时生成！我们将看到这种方法可能存在的缺点，但好的一面是泛型类与普通类一样高效，甚至更高效，因为减少了运行时检查的需要。在我们学习一些内部细节之前，让我先了解一些非常重要的规则，这些规则打破了传统的Pascal语言类型兼容性规则。