Boxing je pretvaranje value tipa (poput int) u reference tip (object) — umotavanje vrijednosti u objekt na heap-u. Unboxing je obrnuti proces (vađenje vrijednosti nazad). Oba procesa imaju trošak performansi (heap alokacija, kopiranje), a razumijevanje njih pomaže vam izbjegavanje nepotrebnih režijskih troškova.
int number = 42; // a value type (on the stack)
object boxed = number; // BOXING — wraps 42 in an object ON THE HEAP (allocation + copy)
int unboxed = (int)boxed; // UNBOXING — extracts the value back (copy, requires a cast)
Boxing alocira novi objekt na heap-u i kopira vrijednost u njega; unboxing je kopira natrag. Svaka boxing operacija je heap alokacija — jeftina jednom, ali skupa u kritičnim dijelovima koda ili petljama.
// ❌ using a value type where an `object` is expected → implicit boxing
object obj = 42; // boxing
ArrayList list = new(); list.Add(42); // boxes (non-generic — stores object)
string s = string.Format("{0}", 42); // boxing for the object[] params
// these can box repeatedly in loops → significant GC pressure
Boxing se često javlja implicitno — kadgod se value tip koristi gdje se očekuje object (ili sučelje koje nije generičko). U petljama ili kritičnim dijelovima koda, ponavljani boxing kreira mnogo kratkoživućih heap objekata, što šteti performansama.
// ❌ non-generic collection — boxes every value type added
ArrayList list = new();
list.Add(42); // boxes
// ✅ generic collection — NO boxing, type-safe
List<int> list = new();
list.Add(42); // no boxing — stored as int directly
Glavno rješenje je korištenje generika (List<int> umjesto ArrayList) — generici pohrane value tipove direktno bez boxing-a. Ovo je jedan od ključnih performantnih prednosti generika u odnosu na stare ne-generičke kolekcije.
Razumijevanje boxing-a i unboxing-a je važno za pisanje performantnog C# koda i za cijenjenje zašto generici imaju važnu ulogu.
Boxing — pretvaranje value tipa u reference tip (object) — uključuje heap alokaciju i kopiranje, a unboxing kopira vrijednost natrag, pa oba procesa imaju trošak performansi.
Mada je jedna boxing operacija jeftina, problem je što se boxing često javlja implicitno (kadgod se value tip koristi gdje se očekuje object) i može se javiti ponovljeno u petljama ili kritičnim dijelovima koda, kreirajući mnogo kratkoživućih heap objekata koja povećavaju GC tlak i narušavaju performanse — suptilan, lako propustiv problem performansi.
Ključ praktične primjene je da generici izbjegavaju boxing: korištenje List<int> umjesto starog ne-generičkog ArrayList pohrani value tipove direktno bez boxing-a, što je jedna od glavnih performantnih prednosti generika u odnosu na naslijeđene ne-generičke kolekcije (i ključan razlog za korištenje generičkih kolekcija).
Razumijevanje što su boxing/unboxing, kada se javljaju (često nevidljivo), njihov trošak performansi (alokacija, GC tlak, posebno u petljama) i kako generici to sprječavaju je važno znanje za pisanje efikasnog C# koda i za razumijevanje zašto se generičke kolekcije preferiraju.
Budući da je boxing česta, suptilna izvora performantnog overhead-a, i budući da ga izbjegavanje (putem generika) predstavlja temeljnu praksu performansi, razumijevanje boxing-a/unboxing-a je dragocjeno, praktično relevantno znanje koja razlikuje programere svjesne performansi u C# jeziku i česta je tema intervjua koja odražava razumijevanje value/reference type modela i prednosti generika.