DELPHI：泛型和多态性

Question

已经有人以几种不同的方式问过这个问题 - 但我还没有找到答案。

有人可以帮我澄清一些事情吗？ 使用：Delphi XE2

我有一个相当大的 BaseObject，我几乎用它来做所有事情。 除此之外，我还有一个通用列表 - BaseList。

声明如下：

TBaseObject = class
... a lot of properties and methods ...
end;

TBaseList<T: TBaseObject> = class(TObjectList<T>)
... some properties and methods ... 
end;

我最近尝试将 TBaseList 声明从使用 Objects[] 属性的非常旧的 TStringList 更改为这个从未更通用的泛型列表 TObjectList。

但我遇到了一些问题。 BaseUnit 是一个文件……每次我下降 BaseObject 时，我也会制作一个专门的列表来跟踪它。

所以我会去做类似的事情：

TCustomer = class(TBaseObject)
... customer related stuff ...
end;

TCustomerList<T: TCustomer> = class(TBaseList<T>)
... customer list specific stuff ...
end;

但现在我想要一个对象包含一个列表 - 可以容纳任何对象。 我想我可以这样做，

TControlObject = class(TBaseobject)
  FGenList: TBaseList<TBaseObject>; 
end;

因为 BaseList 和 BaseObject 是我的层次结构的顶部，我认为这样的列表将能够保存我能想到的任何列表。

但我有一种感觉，我在这里失败了...... TBaseList 在某种程度上无法与 TCustomerList 相比较... 即使 TCustomerList 和 TCustomer 是我的基地的后裔。

我希望能够在基列表中使用泛型来实例化新对象。 IE。在填充方法中使用T.Create。

这是完整层次结构的示例：

Base Unit;
TBaseObject = class
end;
TBaseList<T:TBaseObject> = class(TObjectList<T>)
end;

CustomCustomer Unit;
TCustomCustomer = class(TBaseObject) 
end;
TCustomCustomerList<T:TCustomCustomer> = class(TBaseList<T>)
end;

Customer Unit;
TCustomer = class(TCustomCustomer)
end;
TCustomerList<T:TCustomer> = class(TCustomCustomerList<T>)
end;

CustomPerson Unit;
TCustomPerson = class(TBaseObject) 
end;
TCustomPersonList<T:TCustomPerson> = class(TBaseList<T>)
end;

Person Unit;
TPerson = class(TCustomPerson)
end;
TPersonList<T:TPerson> = class(TCustomPersonList<T>)
end;

鉴于上面的层次结构 - 为什么我不能：

var    
  aList : TBaseList<TBaseObject>;  // used as a list parameter for methods
  aPersonList : TPersonList<TPerson>;
  aCustomerList : TCustomerList<TCustomer>;
begin
  aPersonList := TPersonList<TPerson>.Create;
  aCustomerList := TCustomerList<TCustomer>.Create;

  aList := aCustomerList;  <-- this FAILS !!  types not equal ..

end;

调用处理所有列表的基类的过程以同样的方式失败......

Procedure LogStuff(SomeList : TBaseList<TBaseObject>)
begin
  writeln(Format( 'No. Elements in list : %d',[SomeList.Count]));
end;

有人可以打我并告诉我我在这里做错了什么吗？

Answer 1

Delphi 泛型不支持协变和逆变，因此您尝试执行的操作在该语言的当前语法中是不可能的。我建议您阅读以下博客文章，其中更详细地介绍了该问题。

• Craig Stuntz：比较 C#、C++ 和 Delphi (Win32) 泛型
• Mason Wheeler：泛型和协方差问题

从根本上讲，您正在尝试做的是：

type
  TBase = class;
  TDerived = class(TBase);
  TBaseList = TList<TBase>;
  TDerivedList = TList<TDerived>;
var
  BaseList: TBaseList;
  DerivedList: TDerivedList;
...
BaseList := TDerivedList;//does not compile

设计者并没有出于恶意而阻止您这样做。这是有充分理由的。考虑以下标准示例：

type
  TAnimal = class;
  TCat = class(TAnimal);
  TPenguin = class(TAnimal);

var
  AnimalList: TList<TAnimal>;
  CatList: TList<TCat>;
  Penguin: TPenguin;
...
AnimalList := CatList;//does not compile because...
AnimalList.Add(Penguin);//...of the danger of this

虽然将 TPenguin 添加到 TList 是合理的，但 AnimalList 引用的实际列表是TList 并且企鹅不是猫。

而且，如果您想在示例层次结构的上下文中考虑它，这里有一个证明语言设计合理的代码说明。

aList := aCustomerList;//does not compile
aList.Add(aCustomPerson);
//this would add a TCustomPerson instance to a list containing 
//TCustomer instances, but a TCustomPerson is not a TCustomer