В CPython основной механизм — подсчёт ссылок: у каждого объекта счётчик, и когда он падает до нуля, объект освобождается сразу. Циклические ссылки (a ссылается на b, b на a) счётчик не обнулят — их находит циклический сборщик модуля gc, работающий по поколениям.
А ещё PyPy и другие реализации используют трассирующие сборщики без подсчёта ссылок
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Подсчёт ссылок. Присваивание, добавление в список, передача в функцию увеличивают счётчик; выход из области видимости, del, удаление из контейнера — уменьшают. Ноль — память возвращается немедленно, и вызывается __del__. Поэтому в CPython файл, открытый без with, обычно закрывается сразу после потери последней ссылки — но полагаться на это нельзя.
Проблема циклов:
sottoa = []; b = [a]; a.append(b)
del a, b # счётчики по 1 — объекты недостижимы, но живыЦиклический сборщик просматривает контейнеры (списки, словари, объекты классов), вычитает ссылки внутри группы и находит те, на которые никто извне не ссылается. Работает по поколениям: новые объекты — в поколении 0; переживший проверку переходит в следующее. Сборка запускается по порогам числа выделений (gc.get_threshold()).
Практика:
gc.collect() — принудительно; gc.disable() иногда используют в высоконагруженных сервисах (Instagram отключал и замораживал — gc.freeze() — чтобы copy-on-write после fork не копировал страницы);tracemalloc и objgraph;weakref.sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.