Расскажи про сборку мусора (Garbage Collector): что это такое, для чего придумано, какие концепты есть, как проходит?

Сборка мусора (Garbage Collector, GC) — это механизм автоматического управления памятью, который освобождает неиспользуемые объекты, чтобы предотвратить утечки памяти и снизить нагрузку на разработчика.

Для чего придумано: Ручное управление памятью сложно и подвержено ошибкам (утечки, двойное освобождение). GC автоматизирует этот процесс.

Основные концепты:

• Корни (roots): объекты, доступные напрямую (например, локальные переменные, статические ссылки).
• Достижимые объекты: объекты, до которых можно добраться от корней.
• Недостижимые объекты: объекты, которые не достижимы и могут быть удалены.

Как проходит сборка мусора:

1. Маркировка: GC проходит по всем корням и помечает все достижимые объекты.
2. Очистка: все объекты, не помеченные как достижимые, считаются мусором и освобождаются.

В C# используется поколенческий GC, который делит объекты на поколения (Gen 0, Gen 1, Gen 2) в зависимости от времени жизни, что оптимизирует производительность.

Пример: при создании множества временных объектов они быстро собираются в Gen 0, а долгоживущие объекты продвигаются в старшие поколения, где сборка происходит реже.

Таким образом, GC помогает эффективно управлять памятью без вмешательства программиста.