Как се извършва автоматичното събиране на отпадъци в управляваните езици за програмиране?

Автоматично събиране на боклука (Garbage Collection, GC) в управляемите езици като C# се реализира чрез специален механизъм, който следи обектите в паметта и освобождава тези, към които вече няма препратки.

Основни принципи на GC:

• Следене на препратки: GC определя кои обекти са достижими от кореновите препратки (например, локални променливи, статични полета).
• Идентифициране на недостъпните обекти: Обектите без препратки се считат за отпадъци.
• Освобождаване на памет: GC освобождава паметта, заета от недостъпните обекти.
• Поколения: За оптимизация на събирането на отпадъци, то се дели на поколения (Gen 0, Gen 1, Gen 2), което позволява по-често събиране на младите обекти и по-рядко на дълготрайните.

Пример в C#:

class Program
{
    static void Main()
    {
        var obj = new object();
        // използване на obj
        obj = null; // обектът става недостъпен
        GC.Collect(); // принудително стартиране на събирача на отпадъци (рядко се използва в реални приложения)
    }
}

По този начин, програмистът се освобождава от необходимостта да управлява паметта ръчно, което намалява грешките, свързани с течове на памет.