Что хотят услышать интервьюеры:

Автоматическая сборка мусора в управляемых языках освобождает память, которая больше недостижима из программы. Обычно это делается через отслеживание достижимости объектов от корневых ссылок, а не через ручной free/delete. Важно понимать, что сборщик не “ищет мусор”, а находит живые объекты и освобождает всё остальное.

Определение:

Сборка мусора — это механизм управления памятью, при котором рантайм сам определяет, какие объекты больше не используются, и освобождает занимаемую ими память.
В Java это делает JVM: она отслеживает ссылки из корней программы и считает объект живым, пока до него можно добраться по цепочке ссылок. Если объект недостижим, он становится кандидатом на удаление.

Обычно процесс включает несколько этапов:

поиск корневых объектов;
обход графа достижимости;
пометка живых объектов;
освобождение памяти, занятой недостижимыми объектами;
иногда уплотнение памяти, чтобы уменьшить фрагментацию.

Пример использования:

public class Demo {
    public static void main(String[] args) {
        StringBuilder builder = new StringBuilder("hello");
        builder.append(" world");

        builder = null; // объект StringBuilder больше недостижим

        // В этот момент объект может быть собран GC, когда JVM решит это сделать
        System.out.println("Программа продолжает работать");
    }
}

Здесь объект StringBuilder становится недостижимым после присваивания null. Память под него не освобождается сразу в этой строке, но JVM получает право сделать это позже.

Пояснение кода:

Код показывает базовый принцип: пока на объект есть достижимая ссылка, он считается живым.
Шаги:

Создаётся объект StringBuilder.
На него ссылается переменная builder.
После builder = null ссылка на объект теряется.
Если больше нет других ссылок, объект становится недостижимым.
Сборщик мусора может освободить память в подходящий для JVM момент.

Важно, что вызов System.gc() в реальном приложении не гарантирует немедленную сборку мусора, поэтому управлять этим процессом вручную обычно нельзя и не нужно.

Ключевые моменты:

В управляемых языках память освобождает не разработчик, а рантайм.
Основа GC в Java — анализ достижимости объектов от корневых ссылок.
Недостижимый объект не удаляется мгновенно, а становится кандидатом на сборку.
GC может одновременно освобождать память и уплотнять кучу.
Реализация конкретного сборщика зависит от JVM, но общий принцип одинаков.
Сборка мусора упрощает разработку, но не отменяет необходимость следить за лишними ссылками и утечками памяти.

Можете объяснить, каким образом реализована автоматическая сборка мусора в управляемых языках программирования?