delphi – 泛型,多态,接口：解决方案是什么？

而且我希望这个问题可能演变成一个更大的“信息wiki thingy”.

我学到了什么 – 到目前为止：

>使用泛型时 – 理解概念(covariance and contravariance).
> Do NOT “mis-use”泛型的概念与继承相结合.我做了,它可以让你直接陷入协方差问题！确保在继承中的正确位置“中断”泛型 – 如果要将两者结合起来.

(请纠正我 – 如果你认为我错了,错过或误解了什么).

我的问题是：

但到现在为止,我花了无数个小时,想弄清楚,如何解决我在桌面上的这个“大难题”.而且我已经从你们这些SO用户那里得到了一些很好的答案 – 但是现在是时候让更大规模的工作了.

我用这个冒险进入泛型：
Generics and Polymorphism working together

现在我有点困在这一个：
Situations where Generics won’t work

为什么我最终得到协方差问题 – 是因为我的层次结构中的类过程.

所以我想知道Interfaces是否是我在这个“传奇”中的下一个大胆举动.
如何“跨越”协方差问题.
有一件事是发现你确实遇到了这个问题 – 另一件事是“如何解决它”.

因此,如果你们中的任何一个好人“在那里”对此有任何意见 – 我都是耳朵.
基本上：
告诉我去接口(我从来没有从头开始做过).
或者……按照你建议的方向给我一块骨头.

我当前的源池如第二个链接所述 – 从顶部开始.

这是我早期post的一个小片段,显示了我的协方差问题.
David亲切地解释了 – 为什么我遇到灌木丛..但现在我需要信息 – 如何绕过它.

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;

问候