14.3.4 接口引用 vs 泛型接口约束

​ 在上一个例子中，我定义了一个泛型类，可以与实现特定接口的任何对象一起使用。我也可以通过创建基于接口引用的标准（非泛型）类来获得类似的效果。实际上，我可以定义一个类，如下所示（也是 IntfConstraint 示例的一部分）：

typeTPlainInftClass = classprivateFVal1, FVal2: IGetValue;publicprocedure Set1(Val: IGetValue);procedure Set2(Val: IGetValue);function GetMin: Integer; function GetAverage: Integer;procedure IncreaseByTen;end;

​ 这两种方法有什么不同呢？第一个不同点是，在上面的类中，只要它们的类都实现了给定的接口，就可以向setter方法传递两个不同类型的对象，而在泛型版本中，只能传递给定类型的对象或该类型的派生对象（传递给泛型类的任何给定实例）。因此，泛型版本在类型检查方面更为保守和严格。

​ 在我看来，关键的区别在于，使用基于接口的版本意味着 Object Pascal 的引用计数机制会起作用，而使用泛型版本，则是处理给定类型的普通对象，不涉及引用计数。此外，泛型版本可以具有多个约束，如构造函数约束，并允许您使用各种泛型函数（例如查询泛型类型的实际类型），而使用接口时则无法引用基类 TObject中的方法。

​ 换句话说，使用带有接口约束的泛型类可以有接口的好处，而不会带来麻烦。不过，值得注意的是，在大多数情况下，这两种方法是等价的，而在另一些情况下，基于接口的解决方案则更为灵活。

14.3.5 默认构造函数约束

​ 还有另一种可能的泛型类型约束，称为默认构造函数或无参数构造函数。如果你需要调用默认构造函数来创建泛型类型的新对象，例如用于填充列表，你可以使用这个约束。从理论上讲并根据文档描述，编译器只允许在有默认构造函数的类型中使用该约束。实际上，如果不存在默认构造函数，编译器就会放任不管，调用 TObject 的默认构造函数。

​ 带有构造函数约束的泛型类可以这样写（这个例子是从 IntfConstraint 例子中提出来的）：

typeTConstrClass<T: class, constructor> = classprivateFVal: T;publicconstructor Create;function Get: T;end;

**注解：**你也可以在没有 class 约束的情况下指定构造函数约束，因为有构造函数意味着该类型是一个类。列出它们两者使代码更可读。

​ 有了这个声明，你就可以使用构造函数创建一个内部泛型对象，而不需要事先知道它的实际类型，然后写下：

constructor TConstrClass<T>.Create;
beginFVal := T.Create;
end;

​ 我们如何使用这个泛型类，实际规则是什么？在下一个示例中，我定义了两个类，一个是默认的无参数构造函数，另一个是有一个参数的单构造函数：

typeTSimpleConst = classpublicFValue: Integer;constructor Create; // 设置 Value 为 10end;TParamConst = classpublicFValue: Integer;constructor Create(I: Integer); // 设置 Value 为 Iend;

​ 正如我之前提到的，在理论上，你应该只能使用第一个类，然而在实际中，你可以使用两个类：

varConstructObj: TConstrClass<TSimpleConst>;ParamCostObj: TConstrClass<TParamConst>;
beginConstructObj := TConstrClass<TSimpleConst>.Create;Show('Value 1: ' + IntToStr(ConstructObj.Get.FValue));ParamCostObj := TConstrClass<TParamConst>.Create;Show('Value 2: ' + IntToStr(ParamCostObj.Get.FValue));
end;

​ 这段代码的输出是：

Value 1: 10
Value 2: 0

​ 事实上，第二个对象从未被初始化。如果你调试应用程序并跟踪代码，你会看到对 TObject.Create 的调用（我认为这是错误的）。请注意，如果你直接调用：

with TParamConst.Create do

​ 编译器将（正确地）引发错误：

[DCC Error] E2035 Not enough actual parameters

注解： 即使直接调用 TParamConst.Create 会在编译时失败（如此处所述），使用类引用或任何其他形式的间接调用将成功；这可能解释了构造函数约束的影响。