Kde sa v pamäti ukladajú objekty?

Objekty v pamäti sa zvyčajne ukladajú na haldu (heap).

Hald je oblasť pamäti, kde sa objekty dynamicky prideľujú počas behu programu. Doba života objektov na halde je určená zberačom odpadu (ak je v jazyku prítomný) alebo explicitným uvoľnením pamäte.

Na rozdiel od haldy, na zásobníku (stack) sa ukladajú lokálne premenné primitívnych typov, odkazy na objekty a informácie o volaniach funkcií. Veľkosť zásobníka je pevná alebo obmedzená a údaje na zásobníku sa odstraňujú pri opustení rozsahu.

Rozdiel	Hald (Heap)	Zásobník (Stack)
Účel	Ukladanie objektov, polí	Ukladanie primitívnych, odkazov
Pridelenie	Dynamické	Automatické
Správa	Zberač odpadu / explicitne	Automatické
Rýchlosť	Pomalšie	Rýchlejšie
Veľkosť	Flexibilné, môže byť veľké	Pevné / Obmedzené

Príklad v Jave:

// Na zásobníku sa ukladá referencia 'myObject'
MyClass myObject = new MyClass(); // Objekt MyClass je na halde

int count = 10; // Premenná 'count' (primitív) je na zásobníku

Príklad v Pythone:

# Premenná 'my_list' na zásobníku, zoznam na halde
my_list = [1, 2, 3]

# Premenná 'name' na zásobníku (referencia), reťazec na halde
name = "Alice"

age = 30 # Celé číslo môže byť na zásobníku (malé hodnoty) alebo na halde (závisí od implementácie Pythona)

Konkrétne umiestnenie závisí od programovacieho jazyka, runtime prostredia a architektúry (napríklad, pri použití escape analýzy môže byť objekt alokovaný na zásobníku aj pre referenčné typy, RUST).