Delphi XE：我可以从类类型约束的泛型类型中调用带有参数的虚拟构造函数而不接受黑客攻击吗？

Delphi XE: Can I call virtual constructors with parameters from a classtype-constrained generic type without resigning to hacks?

我正在尝试为复合控件构建一个通用祖先。最初的想法是这样的：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

type
TCompositeControl<TControl1: TControl; TControl2: TControl> = class(TWinControl)
private
FControl1,
FControl2: TControl;
public
constructor Create(AOwner: TComponent); override;
end;

TLabelAndEdit = TCompositeControl<TLabel, TEdit>; // simple example for illustration only

constructor TCompositeControl<TControl1,TControl2>.Create(AOwner: TComponent);
begin
inherited Create(AOwner);
FControl1 := TControl1.Create(Self);
FControl2 := TControl2.Create(Self);
end;

您可能已经知道，这将触发编译器错误 E2568: Can\\'t create new instance without CONSTRUCTOR constraint in type parameter declaration。然而，添加 constructor 约束并没有帮助，因为它意味着一个无参数的构造函数。

将模板转换为 TControl 使代码可编译：

1
2
3

...
FControl1 := TControl(TControl1).Create(Self);
...

...但它会在运行时导致访问冲突。

一个可能可行的技巧是通过 RTTI 调用构造函数，但我认为这是一个相当肮脏的解决方案。

另一个基本有效的技巧是使用类类型变量作为中间体：

1
2
3
4
5
6
7
8
9
10
11
12
13
14

type
TControlClass = class of TControl;

constructor TCompositeControl<TControl1,TControl2>.Create(AOwner: TComponent);
var
lCtrlClass1,
lCtrlClass2: TControlClass;
begin
inherited Create(AOwner);
lCtrlClass1 := TControl1;
FControl1 := lCtrlClass1.Create(Self);
lCtrlClass2 := TControl2;
FControl2 := lCtrlClass2.Create(Self);
end;

有更清洁的解决方案吗？另外，有人可以向我解释一下为什么 classtype-constraint 不足以直接在类型参数上调用虚拟构造函数吗？

你的类型转换不好：TControl(TControl1).Create(Self)。这告诉编译器 TControl1 是 TControl 的一个实例，但我们知道它不是一个实例。这是一个类参考。将其类型转换为类引用类型：

1	FControl1 := TControlClass(TControl1).Create(Self);