Ako sa vykonáva automatické zberanie odpadu v riadených programovacích jazykoch?

Automatické zber odpadu (Garbage Collection, GC) v riadených jazykoch, ako je C#, je realizované prostredníctvom špeciálneho mechanizmu, ktorý sleduje objekty v pamäti a uvoľňuje tie, na ktoré už nie sú odkazy.

Hlavné princípy GC:

• Sledovanie odkazov: GC určuje, ktoré objekty sú dostupné z koreňových odkazov (napríklad, lokálne premenné, statické polia).
• Detekcia nedostupných objektov: Objekty bez odkazov sa považujú za odpad.
• Uvoľnenie pamäti: GC uvoľňuje pamäť obsadenú nedostupnými objektmi.
• Generácie: Pre optimalizáciu zberu odpadu sa delí na generácie (Gen 0, Gen 1, Gen 2), čo umožňuje častejšie zberať mladé objekty a menej často staré.

Príklad v C#:

class Program
{
    static void Main()
    {
        var obj = new object();
        // použitie objektu
        obj = null; // objekt sa stáva nedostupným
        GC.Collect(); // nútené spustenie zberača odpadu (zriedka sa používa v reálnych aplikáciách)
    }
}

Týmto spôsobom sa programátor zbavuje nutnosti manuálne spravovať pamäť, čo znižuje chyby spojené s únikom pamäti.