Delphi 中的“嵌套”类型约束

Question

假设我有一堂课

TController<T_Ui: TGui; T_Man: TManager> = class
end;

如果我尝试将此类用作这样的通用过程的约束：

procedure MyProc<T: TController<T_Ui, T_Man>>(ACont: T);

我收到一个错误undefined identifier T_Ui。

有没有比定义过程更短的方法

procedure MyProc<T_Ui: TGui; TMan: TManager; T: TController<T_Ui, T_Man>>(ACont: T);

如果我想要的只是对 TController 类型的约束 T？

已编辑：

如果我可以定义：

procedure MyProc<T: TController<*, *>>(ACont: T);

编译器应该清楚一切。

我的问题是，而不是写

MyProc<TMyController>(Cont);

我要写

MyProc<TMyUi, TMyManager, TMyController>(Cont);

Answer 1

procedure MyProc<T: TController<T_Ui, T_Man>>(ACont: T);

让我们考虑一下这意味着什么。这是一个具有一个泛型参数T 的泛型方法，这是一个必须从TController<T_Ui, T_Man> 派生的类。由于T_Ui 和T_Man 不是泛型参数，编译器必须将它们解释为具体类型。您没有定义该名称的类型，因此编译器错误。

当然，您不希望编译器将T_Ui 和T_Man 视为具体类型。您的意思是它们是通用参数。在这种情况下，您必须这样声明它们。

procedure MyProc<T_Ui: TGui; TMan: TManager; T: TController<T_Ui, T_Man>>(ACont: T);

或者像这样。

procedure MyProc<T_Ui: TGui; TMan: TManager>(ACont: TController<T_Ui, T_Man>);

通过删除冗余参数T 更简单。

本质上，您希望进行隐式参数化，但这并不存在。泛型参数必须显式声明。

现在，有时使用的一种技术是将非泛型类声明为泛型类的基类型。

type
  TController = class
    ....
  end;

  TController<T_Ui: TGui; T_Man: TManager> = class(TController)
    ....
  end;

然后你可以这样写你的泛型方法：

procedure MyProc<T: TController>(ACont: T);

现在，这种方法要求您可以在 TController 中声明足够的功能。如果MyProc 需要调用只能在从TController 派生的泛型类中声明的方法，那么这种方法对你没有用处。