Jaka jest koncepcja zbierania śmieci w C#?

Zbieracz śmieci (GC) automatycznie zarządza pamięcią, zwalniając ją z obiektów, które nie są już używane przez program. Działa w trybie automatycznym, eliminując konieczność ręcznego zarządzania przydziałem i zwalnianiem pamięci, co zmniejsza ryzyko wycieków pamięci i błędów związanych z wskaźnikami.

Proces zbierania śmieci obejmuje następujące etapy:

1. Oznaczanie (Marking): GC określa, które obiekty są nadal używane. Zaczyna od zbioru obiektów korzeniowych (np. zmiennych globalnych lub obiektów na stosach aktualnych wątków) i oznacza wszystkie dostępne z nich obiekty.
2. Kompaktowanie (Compacting): GC przesuwa ocalałe obiekty w pamięci, aby zwolnić ciągłe bloki dla bardziej efektywnego rozdziału nowej pamięci. Ten etap aktualizuje również wskaźniki do przesuniętych obiektów.
3. Czyszczenie (Sweeping): GC zwalnia pamięć zajmowaną przez obiekty, które nie zostały oznaczone jako używane.

GC w .NET jest generacyjny. Pamięć jest podzielona na pokolenia:

• Pokolenie 0 (Gen 0): Zawiera krótkotrwałe obiekty. Zbiór tego pokolenia zachodzi najczęściej.
• Pokolenie 1 (Gen 1): Jest buforem dla obiektów, które przetrwały zbiór Gen 0. Zbiera się rzadziej niż Gen 0.
• Pokolenie 2 (Gen 2): Zawiera długotrwałe obiekty. Zbiera się najrzadziej i wymaga większej wydajności.

Obiekty przemieszczają się między pokoleniami w miarę "przetrwania" podczas zbiórek śmieci.

Na przykład tworzenie i używanie obiektu:

// Tworzenie obiektu
MyObject obj = new MyObject();
// Użycie obiektu
obj.DoSomething();
// Obiekt nie jest już używany, GC może go zebrać
obj = null;

Wymuszone wywołanie zbiórki śmieci można wykonać za pomocą GC.Collect(), ale zazwyczaj nie jest to zalecane, ponieważ GC automatycznie optymalizuje czas zbiórek.

// Wymuszone wykonanie zbiórki śmieci (niezalecane w większości przypadków)
GC.Collect();
GC.WaitForPendingFinalizers(); // Oczekiwanie na finalizatory