我对泛型以及如何使用和不能使用泛型的理解有些困难。

我有一个像这样的通用类TControlMediator:

TControlMediator<C, T> = class
private
  FMediatedComponent: C;
public
  constructor Create(ComponentToMediate: C);

  function GetValue: T; virtual; abstract;
  procedure SetValue(Value: T); virtual; abstract;

  property MediatedControl: C read FMediatedComponent;
end;


然后,我为要中介的每种控件类型创建“ concret”子类:

TEditMediator = class(TControlMediator<TEdit, string>)
public
  function GetValue: string; override;
  procedure SetValue(Value: string); override;
end;


到目前为止,一切似乎都正常。但是,当我想要TControlMediator后代列表或将TControlMediator用作方法的参数时,会出现问题:

TViewMediator = class
private
  FControlMediators: TList<TControlMEdiator<C, T>>;
public
  procedure registerMediator(AControlMediator: TControlMediator<C, T>);
  procedure unregisterMediator(AControlMediator: TControlMediator<C, T>);
end;


编译器因致命错误而停止:

[DCC Error] mediator.pas(23): E2003 Undeclared identifier: 'C'
[DCC Error] mediator.pas(28): E2007 Constant or type identifier expected


有人对应该怎么做有任何线索吗?

最佳答案

Delphi的泛型类型没有协变或协变。您的泛型类型必须使用实际类型作为参数。换句话说,这是:

TViewMediator = class
private
  FControlMediators: TList<TControlMEdiator<C, T>>;
public
  procedure registerMediator(AControlMediator: TControlMediator<C, T>);
  procedure unregisterMediator(AControlMediator: TControlMediator<C, T>);
end;


...不起作用,因为C和T不是TViewMediator或实际类型的泛型类型参数。

TControlMediator<TEdit, string>是一种类型。 TList<TControlMEdiator<C, T>>,如果范围内没有类型CT则不是类型。您不能在泛型类型的实例中使用泛型类型占位符,除非这些占位符在范围内作为包含的泛型类型或方法的泛型参数。

07-25 23:45