Florian Moraru PROGRAMAREA CALCULATOARELOR în limbajul C

14. Programare genericã în C
Colectii de date generice
O colectie de date (numitã si structurã de date) grupeazã mai multe componente,
numite si elemente ale colectiei. Componentele unei colectii sunt fie valori individuale
(numere, siruri de caractere, sau alte tipuri de date), fie perechi cheie-valoare, fie alte
colectii sau referinte (pointeri) la date sau la colectii.
O multime poate contine valori numerice de diferite tipuri si lungimi sau siruri de
caractere sau alte tipuri de date agregat (structuri), sau pointeri (adrese). Ideal ar fi ca
operatiile cu un anumit tip de colectie sã poatã fi scrise ca functii generale, adaptabile
pentru fiecare tip de date ce va face parte din colectie. Acest obiectiv este de dorit mai
ales pentru operatii care necesitã algoritmi mai complicati (operatii cu arbori binari
echilibrati sau cu tabele de dispersie, de ex.), pentru a evita rescrierea functiilor pentru
fiecare nou tip de date folosit.
Realizarea unei colectii generice în C se poate face în douã moduri, dar nici unul
complet satisfãcãtor:
- Prin utilizarea de tipuri generice (neprecizate) pentru elementele colectiei în
subprogramele ce realizeazã operatii cu colectia. La utilizarea acestor subprograme
adaptarea lor la un tip precis, cerut de o aplicatie, se face partial de cãtre compilator
(prin macro-substitutie) si partial de cãtre programator (care trebuie sã dispunã de
forma sursã pentru aceste subprograme).
- Prin utilizarea unor colectii de pointeri la un tip neprecizat (void * în C) si a unor
argumente de acest tip în subprograme, urmând ca înlocuirea cu un alt tip de pointer
(la date specifice aplicatiei) sã se facã la executie. Utilizarea unor astfel de
subprograme este mai dificilã, dar utilizatorul nu trebuie sã intervinã în textul sursã al
subprogramelor.
Utilizarea de tipuri neprecizate
Primul exemplu aratã cum se defineste o multime vector cu componente de un tip
neprecizat în subprograme, dar precizat în programul care foloseste multimea :
// multimi de elemente de tipul T
typedef int T; // tip componente multime
typedef struct {
T m[M]; // multime de intregi
int n; // dimensiune multime
} Set;
// operatii cu o multime
int findS ( Set a, T x) { // cauta pe x in multimea a
int j=0;
while ( j < a.n && x != a.m[j] )
++j;