我正在尝试编写一个泛型类，其中包含一个泛型 TObjectList，它应该只包含 TItem 的元素。
uses
Generics.Collections;
type
TItem = class
end;
TGenericClass<T: TItem> = class
public
SimpleList: TList<T>; // This compiles
ObjectList: TObjectList<T>; // This doesn't compile: Compiler complaints that "T is not a class type"
end;
这是错误的语法吗？顺便说一句：TGenericClass 编译，但列表中的项目不再是 TItem，这是我不想要的。
【问题讨论】：
标签： delphi generics delphi-2009
这是带有 D2009 编译器的known bug。它很可能很快就会得到修复，无论是在 2009 年的更新或修补程序中，还是在发布后的 Delphi 2010 (Weaver) 中。不幸的是，在那之前，您需要某种解决方法。 :(
【讨论】：
泛型类型可以有几个约束：
如果你创建一个使用其他泛型的泛型，你需要复制约束，否则它将不起作用。在您的情况下， TObjectList 具有类约束。这意味着，您的 T 也需要该约束。
很遗憾，这不能与命名类约束结合使用。
所以我建议你使用一个接口，这些可以组合起来：
type
IItem = interface end;
TItem = class (TInterfacedObject, IItem) end;
TGenericClass<T: class, IItem> = class
private
FSimpleList: TList<T>;
FObjectList: TObjectList<T>;
end;
此外，您应该将您的字段设为私有，否则任何人都可以更改它们。
【讨论】：
对于类约束的描述，我喜欢 GameCat 的回答（给了 +1）。
我对您的代码进行了细微的修改。请注意，由于您指定 T 必须是 TItem 的后代，因此您实际上可以将 ObjectList 声明为 TObjectList<TItem> - 此处无需使用 T。
或者，您可以创建各种代理。首先，请注意 GameCat 关于字段为私有的评论。
type
TGenericClass<T: TItem> = class
private
type
D = class(TItem); // Proxy to get your T into and object list
private
SimpleList: TList<T>;
ObjectList: TObjectList<D>; // Compiles now, but there is that type issue
public
procedure Add(Item: T); // No direct access to ObjectList
end;
Add 是如何访问对象列表的示例。事实证明，您可以毫无问题地将 Item 传递给 ObjectList.Add：
procedure TGenericClass<T>.Add(Item: T);
begin
ObjectList.Add(Item);
end;
我认为这可能是一个错误，所以为了保护自己免受修复：
procedure TGenericClass<T>.Add(Item: T);
var
Obj: TObject;
begin
Obj := Item;
ObjectList.Add(D(Obj));
end;
但鉴于您的情况，我认为 TObjectList 应该没问题。
【讨论】：