🚀 go-pugleaf

W dniu 2010-04-29 23:38, webmajsterek@poczta.onet.pl pisze:
> we FPC 2.3.1 wprowadzona kilka nowych słow kluczowych
>
> np: Generic ( http://wiki.freepascal.org/Generics ) i  specialize .
>
>
> moze ktos to w miare senowny sposob wytłumaczyć jak to cóś  działa ???
> albo jakiś przykład z opisem po polsku.
>
>

  type
  GList = generic class of T
  public
    procedure Add(const stuff: T);
  end;

Tworzysz definicję obiektu GList dla pewnego abstrakcyjnego typu danych 
(w powyższym przykładzie T)
T można używać jak jakiś super uniwersalny obiekt, na którym 
dopuszczalna jest każda operacja:
T:=T+1;
T.add;
x:=t.Create;
abs(T)
itd.


na tym etapie kompilatora  obchodzi tylko (częściowa) poprawność składniowa.

Następnie użycie takiego generycznego obiektu (specjalizacja):
GList<string>
kompilator generuje kod programu na podstawie uprzedniej definicji 
podstawiając zamiast T żądany typ (czyli string) a następnie dokonuje 
normalnej już normalnej kompilacji.
Innymi słowy jest to forma preprocesora kodu, który bierze tekst 
programu, odpowiednie go modyfikuje (dokonuje podstawień) i tak 
utworzony kod przekazuje do właściwej kompilacji.


w dużym uproszczeniu można to samo osiągnąć korzystając z makrodefinicji 
$Include i $Define


Po co to stosujemy:
1. Gdy takie same algorytmy stosujemy dla różnych typów danych (inna 
możliwość to dziedziczenie i interface)
2.Gdy chcemy uniknąć stosowania funkcji wirtualnych (są wolniejsze od 
zwykłych)
3. Tzw silne typowanie, choć pascal jest naturalnie silnie typowany
4.Zwiększenie czytelności programu: rozdzielenie uniwersalnej części 
algorytmu od wariantów wykorzystujących pewne indywidualne własności 
niektórych typów danych (template vs specialize)


Darek





-- 
   Darek