Vai ir divi objekti ar cikliskām atsaucēm viens uz otru? Vai tas izraisīs atmiņas noplūdi? Kā darbojas JavaScript atkritumu savācējs un kāds ir galvenais nosacījums atmiņas atbrīvošanai?

В JavaScript наличие двух объектов с циклическими ссылками друг на друга не обязательно вызывает утечку памяти. Современные сборщики мусора (GC) в JS используют алгоритмы, основанные на подсчёте достижимости объектов, а не просто на подсчёте ссылок.

Как работает сборщик мусора в JavaScript

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

Главное условие для очистки памяти

Объект будет удалён сборщиком мусора, если на него нет ни одной достижимой ссылки из корней. Циклические ссылки между объектами не мешают сборщику, если эти объекты не достижимы извне.

Пример:

function createCycle() {
  let objA = {};
  let objB = {};
  objA.ref = objB;
  objB.ref = objA;
  return 'done';
}
createCycle();
// После выполнения функции objA и objB недостижимы из корней, сборщик мусора очистит их, несмотря на циклическую ссылку.

Таким образом, циклы не вызывают утечек памяти сами по себе, если объекты не удерживаются в достижимом состоянии.