Каква е концепцията за събиране на боклук в C#?

Събирачът на боклук (GC) автоматично управлява паметта, освобождавайки я от обекти, които вече не се използват от програмата. Той работи в автоматичен режим, елиминирайки необходимостта от ръчно управление на разпределението и освобождаването на паметта, което намалява риска от течове на памет и грешки, свързани с указатели.

Процесът на събиране на боклука включва следните етапи:

Маркиране (Marking): GC определя кои обекти все още се използват. Започва с набор от коренови обекти (например глобални променливи или обекти в стековете на текущите нишки) и маркира всички достъпни от тях обекти.
Компактиране (Compacting): GC преместват оцелелите обекти в паметта, за да освободят последователни блокове за по-ефективно разпределение на новата памет. Този етап също актуализира указателите към преместваните обекти.
Почистване (Sweeping): GC освобождава паметта, заета от обекти, които не са били маркирани като използвани.

GC в .NET е генерационен. Паметта е разделена на поколения:

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

Обектите се преместват между поколенията според "оцеляването" им при събиране на боклука.

Например, създаване и използване на обект:

// Създаване на обект
MyObject obj = new MyObject();
// Използване на обекта
obj.DoSomething();
// Обектът вече не се използва, GC може да го събере
obj = null;

Принудителното извикване на събиране на боклука може да се направи с GC.Collect(), но обикновено не се препоръчва, тъй като GC автоматично оптимизира времето за събиране.

// Принудително изпълнение на събиране на боклука (не се препоръчва в повечето случаи)
GC.Collect();
GC.WaitForPendingFinalizers(); // Изчакване за финализаторите