Dynamické proměnné

Jakoby další druh proměnných vedle globálních a lokálních:
- globální (statické) proměnné v datovém segmentu,
- lokální proměnné na zásobníku (stack),
- dynamické proměnné na haldě (heap).
Datová analogie rekursivního volání funkcí.
Datové struktury, které odkazují na jiné datové struktury (v zásadě stejného typu).
Zápis pomocí závorek nebo zakreslení zapouzdřenými obdélníčky (obláčky, ...).
Je také třeba rekursi (odkazování) nějak ukončit/podmínit — variantnost.
proměnná velikost
Používají se smerníky (česky ukazatele)

Příklad

Chci dostat přiděleno místo v paměti (alokovat ho) a uložit si její adresu do paměti:

var p: ^typ;
{...}
New(p);

Chci uvolnit (uvolnit pro další použití, dealokovat) přidělenou paměť:

Dispose(p);

Pozor: Ukazatel teď ukazuje “kamsi”, musím do něj uložit nulový Ukazatel:

p := NIL;

Mark(p) mi do p uloží vrchol haldy. Release(p) určí vrchol zásobníku na adresu p. Nevhodné kombinovat s Dispose() (je asi jasné proč).

GetMem(ukazatel, pocetBajtu);  { alokace }
FreeMem(ukazatel, pocetBajtu); { dealokace }

Typicky je pocetBajtu vyraz ve tvaru pocet * SizeOf(neco), abych alokoval pole o poctu pocet prvku typu stejneho jako neco.