Generic'и без Generic'ов....

Когда-то Акжан Абдулин это уже писал... Делюсь... Я лет 8-мь это уже 
использую...

шаблоны в Delphi 7:

TList.intf:
TList = class(Parent)
Add(a: ItemType);
Insert(i: Integer; a: ItemType);
Sort();
end;

..

TList.impl
TList.Sort()
..
CompareItems(a, b) : Integer;

..
Parent = TObject;
ItemType = integer;

{$include TList.intf}

TIntList = class(TList)
..

CompareItems(a, b : Integer) : Integer;
begin
Result := a - b;
end;

{$Include TList.impl} 

-------------------------------------------------------------------

Пример:

------------------------------------------------------------------------------------------------

ИТОГО:

stack.imp.pas:

{$IfNDef Stack_imp}
 
{$Define Stack_imp}
 ItemsHolder = array of _ItemType_;
 
 _Stack_ = {mixin} class(TObject)
 private
 // private fields
   f_Items : ItemsHolder;
 public
 // public methods
   procedure Push(const anItem: _ItemType_);
   function Pop: _ItemType_;
 end;//_Stack_
 
{$Else Stack_imp}
 
// start class _Stack_
 
procedure _Stack_.Push(const anItem: _ItemType_);
var
 l_L : Integer;
begin
 l_L :=  Length(f_Items);
 SetLength(f_Items, l_L + 1);
 f_Items[l_L] := anItem;
end;//_Stack_.Push
 
function _Stack_.Pop: _ItemType_;
var
 l_L : Integer;
begin
 l_L :=  Length(f_Items) - 1;
 Result := f_Items[l_L];
 SetLength(f_Items, l_L);
end;//_Stack_.Pop
 
{$EndIf Stack_imp}

----------------------------------------------------------------------------------------------

IntStack.pas:

unit IntStack;
 
interface
 
type
 _ItemType_ = Integer;
 {$Include Stack.imp.pas}
 TIntStack = class(_Stack_)
 end;//TIntStack
 
implementation
 
{$Include Stack.imp.pas}
 
end.

----------------------------------------------------------------------------------------------

StringStack.pas:

unit StringStack;
 
interface
 
type
 _ItemType_ = AnsiString;
 {$Include Stack.imp.pas}
 TStringStack = class(_Stack_)
 end;//TStringStack
 
implementation
 
{$Include Stack.imp.pas}
 
end.

!!!! Понятно, что ДИНАМИЧЕСКИЙ МАССИВ тут используется просто для примера. Понятно, что было можно ввести PItemType = ^_ItemType_ и оперировать указателями и GetMem. Но это усложнило бы пример.
И понятно, что тут нету проверки граничных условий.

Попробуйте. И может быть - вам понравится.

Ну а про настоящие generic'и читаем тут - http://keeper89.blogspot.ru/2011/07/delphi.html

А одна из моих реализаций данной идеи описана тут - http://18delphi.blogspot.com/2013/07/2_18.html