模板（或其他技术）是否支持以下构造？

Question

这是我的 其他问题的后续内容。

当我第一次听说泛型时，是在 Delphi 2009 发布之前（他们首先在其中引入它）。我知道 .Net 之前就支持它，但我还没有深入研究这个领域。

阅读有关泛型的内容后，我了解到它允许类具有变量参数，并且您传递给它的任何值都将被该类的所有代码替换。

描述泛型的方式（或者至少是我所理解的泛型允许的方式）是，给出以下声明：

procedure TMyClass<T>.Init;
begin
  FField := T.Create(nil);
end;

我认为它会起作用。我假设编译失败的地方如下：

begin
  TMyClass<TComponent>.Create; //Works correctly
  TMyClass<TObject>.Create;  //Doesn't work, as even though it HAS a constructor, it has none that receive a single pointer parameter
  TMyClass<string>.Create; //Doesn't work, not an object. 
end;

现在，我很清楚我错了。所以，我现在想知道是否有一种技术/语言功能可以支持这种构造。也许是代码模板？其他编程语言中的泛型？或者也许是别的什么？

Answer 1

现在，我清楚地知道我错了。所以呢
我现在想知道，有没有一个
技术/语言功能
支持这样的构造。代码
也许是模板？其他中的泛型
编程语言？或者也许
还有别的吗？

C# 中的泛型具有您想要的功能。 C++ 中的模板甚至更强大 - 通过模板生成的代码与手工编写的代码相同，除了只能内联编译的部分，这很糟糕。

Answer 2

@Gamecat，您不能将 TObject 作为约束，但可以将 class 作为约束（这很好地弥补了 TObject 约束的缺乏） 。

请注意，无论您使用 TObject 还是 class，如果没有技巧，您都无法使用参数调用 Create。

示例 1：class 约束：

unit Unit1;

interface

uses
  Classes;

type
  TMyClass<T: class, constructor> = class
  strict private
    FField: T;
  public
    procedure Init;
  end;

implementation

procedure TMyClass<T>.Init;
begin
  FField := T.Create();
end;

end.

示例 2：TComponent 作为约束，并且在 Create 中

unit Unit2;

interface

uses
  Classes;

type
  TMyClass<T: TComponent, constructor> = class
  strict private
    FField: T;
  public
    procedure Init;
  end;

implementation

procedure TMyClass<T>.Init;
var
  ComponentClass: TComponentClass;
begin
  ComponentClass := T;
  FField := ComponentClass.Create(nil);
end;

end.

除了 class 之外的 参数code>约束，也可以有记录约束。
这样，您需要使用 Default 来初始化字段：

unit Unit3;

interface

uses
  Classes;

type
  TMyClass<T: record> = class
  strict private
    FField: T;
  public
    procedure Init;
  end;

implementation

procedure TMyClass<T>.Init;
begin
  FField := Default(T);
end;

end.

希望这能让您对泛型和约束有所了解。

——杰罗恩

Answer 3

您可以对泛型类型施加约束。如果您想使用该类型的某些方面，则需要它。比如一个方法。

如果要调用构造函数，则需要在类约束旁边给出构造函数约束：

type
  TMyClass<T: TComponent, constructor> = class
    // ..
  end;

procedure TMyClass<T>.Init;
begin
  FField := T.Create(nil);
end;

不幸的是，TObject 不是有效的约束。 （根据德尔福 XE）。

现在，我清楚地知道我错了。所以，我现在想知道，是否有一种技术/语言特性可以支持这种构造。也许是代码模板？其他编程语言中的泛型？或者也许是别的什么？
这可能是有风险的，甚至是毫无意义的。如果您在泛型上调用方法 X，并使用不支持方法 X 的类实例化它，那么正确的行为是什么...

Answer 4

@Ken：为了让像您所请求的代码以真正的通用方式工作，您需要有一个统一的类型系统来合并引用类型（类）和值类型（字符串、整数等）。

从历史上看，本机 Delphi 没有这样的类型系统（.NET 有，并且 Delphi Prism 中的泛型支持它，就像 C# 和 VB.NET 一样）。

解决这个问题很困难； Allen Bauer 尝试过实现 Nullable 类型，他必须进行一些认真的调整，以涵盖引用类型和值类型的方式仅实现 Equals (=) 和 NotEquals (<>) 运算符行为。

因此，支持这些将是困难的，但可能是可行的：

begin
  TMyClass<TComponent>.Create; //Works correctly
  TMyClass<TObject>.Create;  //Doesn't work, as even though it HAS a constructor, it has none that receive a single pointer parameter
  TMyClass<string>.Create; //Doesn't work, not an object.
end;

--jeroen