Vysvetlite rozdiely medzi správou pamäte na zásobníku a na halde v kontexte programovania.

V programovaní sa pamäť zvyčajne spravuje dvoma hlavnými spôsobmi: zásobníkom a haldou.

Zásobník — je oblasť pamäti, kde sa ukladajú lokálne premenné a parametre funkcií. Funguje podľa princípu LIFO (posledný dovnútra, prvý von). Pamäť na zásobníku sa automaticky prideľuje a uvoľňuje pri vstupe a výstupe z funkcií, čo je veľmi rýchle a efektívne. Avšak veľkosť zásobníka je obmedzená a nemôže obsahovať veľké objekty alebo dáta s dynamickou dĺžkou života.

Haldy (Heap) — je oblasť pamäti pre dynamické prideľovanie, kde sa objekty vytvárajú a žijú tak dlho, ako na ne existujú odkazy (v Go garbage collector automaticky uvoľňuje nepoužívanú pamäť). Pamäť na halde sa prideľuje a uvoľňuje manuálne alebo automaticky, čo je pomalšie ako na zásobníku, ale umožňuje vytváranie objektov s ľubovoľnou dĺžkou života a väčším rozmerom.

Príklad v Go:

func príklad() {
    x := 10           // premenná x je uložená na zásobníku
    p := new(int)     // alokácia pamäti na halde
    *p = 20
}

Tu x je lokálna premenná na zásobníku, a p ukazuje na pamäť na halde.

Zhrnutie:

• Zásobník: rýchla alokácia/uvoľnenie, obmedzená veľkosť, lokálne dáta.
• Haldy: dynamická alokácia, väčšia veľkosť, správa životnosti objektov.