В какой момент происходит выделение области памяти внутри кучи

В какой момент происходит выделение области памяти внутри кучи

Основные концепции

Куча (Heap) — это область памяти, используемая для хранения объектов и динамических данных в JavaScript. В отличие от стека (stack), куча имеет неопределённый размер и управляется сборщиком мусора.

Момент выделения памяти на куче

1. При создании объектов

Память выделяется сразу при создании объекта литерального синтаксиса или через конструктор:

// Выделение памяти на куче происходит ВО ВРЕМЯ выполнения этой строки
const user = { name: "John", age: 30 };
const arr = [1, 2, 3, 4, 5];
const date = new Date();

Когда интерпретатор JavaScript встречает объект или массив, он:

1. Вычисляет требуемый размер памяти
2. Выделяет эту память на куче
3. Инициализирует значения
4. Возвращает ссылку на адрес памяти

2. При создании функций (для замыканий)

function createCounter() {
  let count = 0;  // Эта переменная будет на куче
  
  return function() {
    count++;  // Замыкание сохраняет ссылку на область памяти
    return count;
  };
}

const counter = createCounter();  // Память для count выделена на куче

Функция захватывает переменные в замыкание — эти переменные остаются на куче, пока существует функция.

3. При строковых операциях

// В JavaScript строки в основном immutable,
// но новая строка всё равно создаёт новую область на куче
let str1 = "Hello";  // Выделение памяти
let str2 = str1 + " World";  // Новое выделение для новой строки

// В то же время символы хранятся в string pool (оптимизация движка)
const a = "test";
const b = "test";  // Может указывать на ту же память (optimization)

4. При вызове new

class User {
  constructor(name) {
    this.name = name;
  }
}

const user1 = new User("Alice");  // new выделяет память на куче
const user2 = new User("Bob");    // Каждый объект — отдельная область памяти

5. При регулярных выражениях и других встроенных объектах

const regex = /test/g;       // Объект регулярного выражения
const error = new Error();   // Объект ошибки
const map = new Map();       // Коллекция
const set = new Set();       // Множество

Все эти встроенные объекты занимают место на куче.

Примечание про стек vs куча

// На СТЕКЕ хранятся:
let num = 42;           // Примитив
let bool = true;        // Примитив
let undef = undefined;  // Примитив

// На КУЧЕ хранятся:
const obj = { x: 1 };   // Объект
const arr = [1, 2];     // Массив
const fn = () => {};    // Функция (объект)

// На СТЕКЕ хранится ссылка на объект, на КУЧЕ — сам объект
let ref = obj;  // ref — переменная на стеке, но указывает на объект на куче

Оптимизации движка (V8, SpiderMonkey)

Современные JavaScript движки делают умные оптимизации:

// Small objects optimization — маленькие объекты могут
// оптимизироваться в стеке при определённых условиях
function createPoint() {
  return { x: 0, y: 0 };
}

// Tagged values и other techniques минимизируют размер на куче
const small = 123;  // Может быть закодировано как tagged value

Сборка мусора

Когда память больше не нужна (на неё нет ссылок), сборщик мусора (garbage collector) освобождает её:

let obj = { data: new Array(1000000) };
obj = null;  // Ссылка удалена, объект будет удалён сборщиком мусора

Утечки памяти

// Пример утечки: незабытая ссылка
const cache = {};

function addToCache(key, data) {
  cache[key] = data;  // Память на куче, но ссылка сохранена
  // Со временем cache растёт, память не освобождается
}

// Правильно: использовать Map с WeakMap для автоматической очистки
const weakCache = new WeakMap();

Практические выводы

1. Память на куче выделяется в момент создания объекта, массива или функции
2. Скалярные примитивы обычно на стеке, но их обёртки (new Number) на куче
3. Замыкания держат данные на куче, пока существует функция
4. Следи за утечками памяти — они замедляют приложение
5. Используй DevTools (Chrome/Firefox) для профилирования памяти