Ինչպես է կատարվում ավտոմատ աղբահավաքը կառավարելի ծրագրավորման լեզուներում?

Ավտոմատ աղբի հավաքագրում (Garbage Collection, GC) կառավարելի լեզուներում, ինչպիսիք են C#, իրականացվում է հատուկ մեխանիզմով, որը հետևում է հիշողության մեջ օբյեկտներին և ազատում է այները, որոնց համար այլ հղումներ չկան:

GC-ի հիմնական սկզբունքները՝

• Հղումերի հետևում: GC որոշում է, թե որ օբյեկտները հասանելի են ռուտային հղումներից (օրինակ՝ տեղական փոփոխականներ, ստատիկ դաշտեր):
• Անհասանելի օբյեկտների հայտնաբերում: Հղում չունեցող օբյեկտները համարվում են աղբ:
• Հիշողության ազատում: GC ազատում է այն հիշողությունը, որը զբաղեցրած է անհասանելի օբյեկտներով:
• Ներածություններ: Աղբի հավաքագրումը օպտիմալացնելու համար այն բաժանվում է նմուշների (Gen 0, Gen 1, Gen 2), ինչը թույլ է տալիս ավելի հաճախ հավաքել երիտասարդ օբյեկտները և ավելի հազվադեպ՝ երկարատև:

Օրինակ՝ C#-ում՝

class Program
{
    static void Main()
    {
        var obj = new object();
        // Օբյեկտի օգտագործում
        obj = null; // օբյեկտը դառնում է անհասանելի
        GC.Collect(); // պարտադիր աղբի հավաքիչի կանչ (քչից է օգտագործվում իրական ծրագրերում)
    }
}

Այսպիսով՝ ծրագրավորողը ազատվում է հիշողության ձեռքով կառավարումից, ինչը նվազեցնում է հիշողության լքման սխալները։