Jak je zajišťována automatická správa paměti v řízených programovacích jazycích?

Automatické shromažďování odpadu (Garbage Collection, GC) v řízených jazycích, jako je C#, je realizováno prostřednictvím speciálního mechanismu, který sleduje objekty v paměti a uvolňuje ty, na které již nejsou odkazy.

Hlavní principy GC:

• Sledování odkazů: GC určuje, které objekty jsou dosažitelné z kořenových odkazů (například lokálních proměnných, statických polí).
• Detekce nedostupných objektů: Objekty bez odkazů jsou považovány za odpad.
• Uvolnění paměti: GC uvolňuje paměť obsazenou nedostupnými objekty.
• Generace: Pro optimalizaci sběru odpadu je rozdělen do generací (Gen 0, Gen 1, Gen 2), což umožňuje častější sběr mladých objektů a méně častý starších.

Příklad v C#:

class Program
{
    static void Main()
    {
        var obj = new object();
        // použití objektu
        obj = null; // objekt se stává nedostupným
        GC.Collect(); // vynucené spuštění sběrače odpadu (zřídka používané v reálných aplikacích)
    }
}

Tímto způsobem se programátor zbavuje nutnosti ručně spravovat paměť, což snižuje počet chyb spojených s úniky paměti.