Соберёт ли сборщик мусора объекты с циклической ссылкой после потери внешних ссылок?

Соберёт ли сборщик мусора объекты с циклической ссылкой после потери внешних ссылок?

• вопрос относится к работе сборщика мусора (Garbage Collector, GC)
• в современных GC обычно применяются алгоритмы трассировки (mark-and-sweep)
• они помечают объекты, достижимые от корневых ссылок (root references)
• циклически связанные объекты без внешних ссылок недостижимы от корней
• поэтому GC освободит память, занятую таким циклом
• исключение касается систем с одним лишь подсчётом ссылок (reference counting), где циклы без трассировки могут не собираться
• практический вывод — современные среды Java, .NET и V8 умеют очищать циклы без утечек

Итог: трассирующий сборщик мусора удалит цикл, если ни один объект в нём больше не доступен извне.

Развёрнутый ответ

Краткий ответ

Да. Большинство современных сборщиков мусора (GC) умеют находить и освобождать объекты, образующие циклические ссылки, если из корневых объектов (roots) к ним больше нет внешнего пути. Это возможно благодаря алгоритмам, которые анализируют достижимость объектов, а не ограничиваются простым подсчётом ссылок.

Основные особенности

• Подсчёт ссылок не справляется с циклами: при классическом reference counting объекты внутри цикла продолжают ссылаться друг на друга, поэтому их счётчики не становятся равными нулю и память не освобождается.
• Трассирующие алгоритмы: Mark-and-Sweep и Generational GC, используемые, например, в JVM, .NET и Python с gc-модулем, начинают обход от корней и помечают все достижимые объекты. Недостижимый цикл признаётся мусором и очищается.
• Реализации: современные сборщики Java, включая HotSpot начиная с Java 6 и последующих версий, а также Python с модулем gc применяют такие механизмы для обработки циклов. В старых версиях CPython без gc-модуля циклические ссылки не очищались.

Пример из практики

Циклы часто появляются в прикладных системах — например, во взаимно ссылающихся контейнерах или callback-ах с замыканиями. Поэтому надёжная работа GC важна для предотвращения leaks. В JavaScript V8, по состоянию на версии с 2015 г., используется инкрементальный Mark-and-Sweep, который эффективно собирает циклы при отсутствии внешних ссылок. Разрывать такие связи вручную не требуется, если ссылки действительно утрачены.