Proč se ve programu používá zásobník?

Zásobník se používá k řízení paměti a toku programu.

Hlavní funkce:

• Uložení místních proměnných: Proměnné deklarované uvnitř funkcí nebo bloků kódu jsou alokovány na zásobníku a automaticky uvolněny po skončení jejich rozsahu.
• Řízení volání funkcí: Při volání funkce jsou na zásobník umístěny adresa návratu, argumenty a místní proměnné. Při návratu jsou tyto údaje obnoveny.
• Udržování kontextu provádění: Zásobník uchovává informace o aktuálním stavu programu, což umožňuje správně zpracovávat vnořené volání a rekurzi.
• Mechanismus undo/redo: V některých případech lze zásobník použít k implementaci funkcí zrušení/opakování akcí, uchováváním historie stavů.

Příklad rámce zásobníku funkce:

// Takto vypadá zásobník při volání funkce `myFunction(a: Int)`
// Adresa návratu (kam se vrátit po vykonání myFunction)
// Hodnota argumentu 'a'
// Místní proměnné myFunction

Vlastnosti zásobníku:

• LIFO (Last-In, First-Out): Poslední vložený prvek je odebrán jako první.
• Fixní velikost: Obvykle má zásobník omezenou velikost, kterou určuje systém. Přetečení zásobníku (Stack Overflow) nastává při příliš hlubokých nebo nekonečných rekurzivních voláních bez základního případu.
• Rychlé přidělení/uvolnění paměti: Práce se zásobníkem je velmi rychlá, protože prvky jsou přidávány a odstraňovány z jednoho konce (vrcholu).

V iOS vývoji je zásobník aktivně používán k řízení paměti při provádění metod a funkcí ve Swift a Objective-C. Místní proměnné a parametry funkcí jsou umístěny na zásobník. To se liší od paměti na haldě (heap), která je používána pro objekty tříd a další dynamicky alokovaná data.