Каким образом механизм сборки мусора в системе распознает объекты, которые следует удалять?

Механизм сборки мусора (GC) в системе, например в Flutter (Dart VM), определяет объекты для удаления, исходя из достижимости объектов.

Основной принцип — «сборка мусора на основе достижимости» (reachability):

• Сборщик мусора начинает с корневых объектов (roots), таких как глобальные переменные, стеки вызовов, регистры.
• Он отмечает все объекты, до которых можно добраться через ссылки из корней.
• Все объекты, которые не достижимы из корней, считаются мусором и подлежат удалению.

Таким образом, если объект не используется программой и на него нет ссылок, сборщик мусора его удалит.

В Dart VM используется, как правило, алгоритм с пометкой и очисткой (mark-and-sweep), иногда с оптимизациями для уменьшения пауз.

Это позволяет автоматически управлять памятью без явного освобождения объектов программистом.