模板(或其他技术)是否支持以下构造?

现在,我知道我错了。那么,什么 技术/语言特性 支持这样的结构。代码 也许是模板?其他中的泛型 编程语言?或者也许 还有别的吗?

C中的泛型有你想要的能力。C++中的模板更强大——通过模板生成的代码与手工编写的代码完全相同,除了它们只能编译成内联的部分,这是很吸引人的。

@游戏猫,你不能 TObject 作为一个约束,但是你可以 class 托宾 约束)。

请注意,无论您使用 托宾 或 班 ,您不能调用 Create 没有技巧的参数。

例1: 班 约束条件:

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 创建

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.

班 约束,也可以有记录约束。 有了这个,你需要 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.

希望对泛型和约束有一些启发。

--杰罗恩

可以对泛型类型设置约束。如果你想使用这种类型的某些方面,你需要这个。例如方法。

如果要调用构造函数,则需要在类约束旁边提供constructor约束:

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

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

不幸的是TObject不是一个有效的约束。(据Delphi XE报道)。

这可能有风险,甚至毫无意义。如果在泛型上调用方法X,并用不支持方法X的类实例化它,那么正确的行为是什么。。。

历史上,原生Delphi没有这样的类型系统(NET有,Delphi Prism中的泛型支持它,就像C#和VB.NET一样)。

解决这个问题是困难的; Allen Bauer gave it a shot implementing a Nullable type ,并且他必须进行一些严重的扭曲,以便仅实现Equals(=)和NotEquals(<gt;)运算符行为,从而同时涵盖引用类型和值类型。

因此,支持这些计划将很困难,但可能是可行的:

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;