Zijn er twee objecten met cyclische verwijzingen naar elkaar? Zal dit leiden tot een geheugenlek? Hoe werkt de garbage collector in JavaScript en wat is de belangrijkste voorwaarde voor het vrijmaken van geheugen?

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

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

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

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

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

Пример:

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

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